AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES

DOI10.1142/S0218196704001906zbMath1076.03026OpenAlexW2002757726MaRDI QIDQ4658712

Pedro V. Silva

Publication date: 18 March 2005

Published in: International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0218196704001906

zbMATH Keywords

first-order logicformal languagescombinatorics on wordsrecognizable languages

Mathematics Subject Classification ID

Combinatorics on words (68R15) Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)

Related Items (1)

A topological approach to transductions

Cites Work

• Unnamed Item
• A note on pure and \(p\)-pure languages
• \texttt{PSPACE}-complete problems for subgroups of free groups and inverse finite automata
• Sets recognized by n-tape automata

This page was built for publication: AN APPLICATION OF FIRST-ORDER LOGIC TO THE STUDY OF RECOGNIZABLE LANGUAGES