Construction of an automaton from a formula of the monadic first-order theory of natural numbers

DOI10.1023/A:1012781705048zbMath1034.68055OpenAlexW1549207673MaRDI QIDQ1407164

Anatoli N. Chebotarev

Publication date: 9 September 2003

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012781705048

zbMATH Keywords

configurationsalgebra of configurationsalgorithm of construction of an automatonconstruction of an automaton from a formulacorrectness of constructionlogical language

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Construction of an automaton from a formula of the monadic first-order theory of natural numbers