Jede mit Stackautomaten berechenbare Funktion ist elementar
From MaRDI portal
Publication:5668457
DOI10.1007/BF02019772zbMath0255.02041MaRDI QIDQ5668457
Publication date: 1972
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137862
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Recursive functions and relations, subrecursive hierarchies (03D20) Hierarchies of computability and definability (03D55)
Related Items (max. 100)
Cites Work
This page was built for publication: Jede mit Stackautomaten berechenbare Funktion ist elementar