scientific article; zbMATH DE number 1104369

MaRDI QIDQ4370243zbMATH OpenFDO

Authors

Publication date 2 April 1998

zbMATH Keywords

context-free grammarsdefinability in a restricted logical languagedescriptive complexitylocal setsrecognizable setstrees

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Descriptive complexity and finite models (68Q19) Formal languages and automata (68Q45)

Recommendations

• Local definitizability of \(T^{[\ast]}T\) and \(TT^{[\ast]}\)
• scientific article; zbMATH DE number 1136093
• scientific article; zbMATH DE number 3967078
• A characterization of local regular languages
• From regular to strictly locally testable languages
• From regular to strictly locally testable languages
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• scientific article; zbMATH DE number 4001459
• Local reflection, definable elements and 1-provability
• Recognizability equals definability for partial k-paths

Cited in

(4)

• scientific article; zbMATH DE number 2040915 (Why is no real title available?)
• Some classes of sets of structures definable without quantifiers
• Relativized adjacency
• The expressivity of autosegmental grammars

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