scientific article; zbMATH DE number 1462097

zbMATH Open0943.68099MaRDI QIDQ4486016FDOQ4486016

Authors: Dan A. Simovici, Richard L. Tenney 

Publication date: 21 June 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 4124977
• Automata Theory with Modern Applications
• scientific article; zbMATH DE number 5970650
• A Second Course in Formal Languages and Automata Theory
• scientific article; zbMATH DE number 1330031

zbMATH Keywords

automataChomsky hierarchydecidabilityfinite automataformal languagespushdown automatagrammarslinear bounded automataregular expressionsTuring machinesclosure propertiespartial recursive functionregular and context-free languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited In (12)

• Title not available (Why is that?)
• Local higher-order fixpoint iteration
• Title not available (Why is that?)
• Recent advances in formal languages and applications.
• Decidability and Specker sequences in intuitionistic mathematics
• Title not available (Why is that?)
• Automata Theory with Modern Applications
• On the complexity of regular-grammars with integer attributes
• Title not available (Why is that?)
• Counting for satisfiability by inverting resolution
• Title not available (Why is that?)
• Tree shuffle

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 Q4486016)