scientific article; zbMATH DE number 6309316

zbMATH Open1292.68001MaRDI QIDQ5166599FDOQ5166599

Authors: Olivier Carton 

Publication date: 27 June 2014

Full work available at URL: http://www.calameo.com/read/00001585686ff5c1a1e02?authid=wuyqRHjAcA6W

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

Recommendations

• 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

zbMATH Keywords

complexity classesNP-completenessautomatadecidabilityformal languagesspace complexitytime complexitygrammarsTuring machinesrecursion theoremrecursive functionsrational languagesrecursively enumerable languageshierarchy theoremalternating machinesalgebraic languages

Mathematics Subject Classification ID

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)

Cited In (9)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• 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)