The equational theory of regular words

25Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

Abstract

Courcelle introduced the study of regular words, i.e., words isomorphic to frontiers of regular trees. Heilbrunner showed that a nonempty word is regular iff it can be generated from the singletons by the operations of concatenation, omega power, omega-op power, and the infinite family of shuffle operations. We prove that the algebra of nonempty regular words on the set A, equipped with these operations, is freely generated by A in a variety which is axiomatizable by an infinite collection of some natural equations. We also show that this variety has no finite equational basis and that its equational theory is decidable in polynomial time. © 2005 Elsevier Inc. All rights reserved.

Cite

CITATION STYLE

APA

Bloom, S. L., & Ésik, Z. (2005). The equational theory of regular words. Information and Computation, 197(1–2), 55–89. https://doi.org/10.1016/j.ic.2005.01.004

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free