scientific article; zbMATH DE number 3831300

zbMATH Open0524.68034MaRDI QIDQ3036710FDOQ3036710

Authors Thomas Ottmann, J. Albert

Publication date 1983

zbMATH Keywords

finite-state automataformal languagespushdown automataregular languagesregular expressionsTuring machinesrecursive functionsregister machinesChomsky grammars

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Recursive functions and relations, subrecursive hierarchies (03D20)

Cited in

(3)

• Regular expressions into finite automata
• An introduction to the regular theory of fairness
• The validation of SGML content models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3036710)