scientific article; zbMATH DE number 6309316
complexity classesNP-completenessautomatadecidabilityformal languagesspace complexitytime complexitygrammarsTuring machinesrecursion theoremrecursive functionsrational languagesrecursively enumerable languageshierarchy theoremalternating machinesalgebraic languages
Formal languages and automata (68Q45) Analysis of algorithms and problem complexity (68Q25) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Automata and formal grammars in connection with logical questions (03D05) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Algebraic theory of languages and automata (68Q70) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20)
- scientific article; zbMATH DE number 871245
- scientific article; zbMATH DE number 6790165
- Formal Languages, Formally and Coinductively
- scientific article; zbMATH DE number 2156418
- Formal languages and computation. Models and their applications
- scientific article; zbMATH DE number 4085027
- Formal languages and applications.
- Languages, Decidability, and Complexity
- Modern aspects of complexity within formal languages
- Extension complexity of formal languages
- scientific article; zbMATH DE number 5593317 (Why is no real title available?)
- A survey of languages for formalizing mathematics
- Yet another characterization of the Pisot substitution conjecture
- Rauzy fractal of the smallest substitution associated with the smallest Pisot number
- Modern aspects of complexity within formal languages
- Computational and attribute models of formal languages
- scientific article; zbMATH DE number 6790165 (Why is no real title available?)
- Formal Languages, Formally and Coinductively
- Many aspects of formal languages
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 Q5166599)
