Abstract
This paper is dedicated to studying model-theoretic and complexity properties of the theory of regular languages with the Kleene star operation. We construct a ‘‘natural’’ infinite set of axioms for this theory, and we prove that it is not finitely axiomatizable. We establish that this theory is countably categorical, but it is not categorical in any uncountable cardinality. Also, we find the exact amount of non-isomorphic models of given cardinality. Finally, we prove that the theory of regular languages with the Kleene star is PSPACE-complete.
Similar content being viewed by others
REFERENCES
A. V. Aho and J. D. Ullman, The Theory of Parsing, Translation and Compiling, Vol. 1: Parsing (Prentice-Hall, Englewood Cliffs, NJ, 1972).
S. Dudakov and B. Karlov, ‘‘On decidability of regular languages theories,’’ in Computer Science—Theory and Applications, Ed. by R. van Bevern and G. Kucherov, Lect. Notes Comput. Sci. 11532, 119–130 (2019).
A. Grzegorczyk, ‘‘Undecidability without Arithmetization,’’ Studia Logica 79, 163–230 (2005).
A. Grzegorczyk and K. Zdanowski, ‘‘Undecidability and Concatenation,’’ in Andrzej Mostowski and Foundational Studies, Ed. by A. Ehrenfeucht, V. W. Marek, and M. Srebrny (IOS Press, Amsterdam, 2008), pp. 72–91.
W. Hodges, Model Theory (Cambridge Univ. Press, Cambridge, 1993).
D. Marker, Model Theory: An Introduction (Springer, New York, 2002).
C. H. Papadimitriou, Computational Complexity (Addison-Wesley, Reading, MA, 1994).
J. R. Shoenfield, Mathematical Logic (Addison-Wesley, Reading, MA, 1967).
Author information
Authors and Affiliations
Corresponding author
Additional information
(Submitted by M. M. Arslanov)
Rights and permissions
About this article
Cite this article
Karlov, B. On Theory of Regular Languages with the Kleene Star Operation. Lobachevskii J Math 41, 1660–1665 (2020). https://doi.org/10.1134/S1995080220090164
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080220090164