✦ LIBER ✦

The equational theory of regular words

✍ Scribed by Stephen L. Bloom; Zoltán Ésik

Book ID: 113641567
Publisher: Elsevier Science
Year: 2005
Tongue: English
Weight: 331 KB
Volume: 197
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.01.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatizing the equational theory of re

Axiomatizing the equational theory of regular tree languages

✍ Z. Ésik 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 333 KB

The equational theory of parameterized s

The equational theory of parameterized specifications

✍ Peter Padawitz 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 900 KB

The equational theory of Kleene lattices

✍ Hajnal Andréka; Szabolcs Mikulás; István Németi 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Nondeterministic regular expressions as

Nondeterministic regular expressions as solutions of equational systems

✍ Rocco De Nicola; Anna Labella 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 211 KB

We deÿne the class of the linear systems whose solution is expressible as a tuple of nondeterministic regular expressions when they are interpreted as trees of actions rather than as sets of sequences. We precisely characterize those systems that have a regular expression as "canonical" solution, an

Fast matching in combinations of regular

Fast matching in combinations of regular equational theories

✍ S. Eker 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 964 KB

Equational theory of idempotent algebras

✍ R. Padmanabhan 📂 Article 📅 1972 🏛 Springer 🌐 English ⚖ 206 KB