[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: tomas
Subject: Re: `max-specpdl-size' and `max-lisp-eval-depth'
Date: Tue, 28 Sep 2021 16:19:22 +0200
User-agent: Mutt/1.5.21 (2010-09-15)

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

Strange stuff all over :)

 - t

Attachment: signature.asc
Description: Digital signature

reply via email to

[Prev in Thread] Current Thread [Next in Thread]