Re: `max-specpdl-size' and `max-lisp-eval-depth'

[tomas]

On Tue, Sep 28, 2021 at 04:08:24PM +0200, Emanuel Berg via Users list for the 
GNU Emacs text editor wrote:
> tomas wrote:
> 
> >> IIRC from Automata Theory there was this thing called a PDA
> >> or "pushdown automaton", maybe that was a stack as well?
> >
> > That was a stack. A PDA automaton is a finite automaton
> > enhanced by a stack, so it can grok nested structures.
> 
> OK!
> 
> But actually the way you put it it's infinite :)

Finite automata are only in part finite (the set of states is
finite, not necessarily the input/output).

The addition of a stack is, of course, yet another infinite
accessory (if the stack were finite, you could simulate it
by adding -- possibly lots and lots, but still finitely many
states).

Strange stuff all over :)

Cheers
 - t

signature.asc
Description: Digital signature