✦ LIBER ✦

Characterization of Glushkov automata

✍ Scribed by Pascal Caron; Djelloul Ziadi

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 218 KB
Volume: 233
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00296-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterization of state-independent au

Characterization of state-independent automata

✍ Jerzy W. Grzymala-Busse; Zamir Bavel 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Characterizations of fuzzy finite automa

Characterizations of fuzzy finite automata

✍ Daowen Qiu 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 363 KB

In this paper, we establish some important concepts in fuzzy ÿnite automata (FFAs) with bifuzzy property, and clarify their essential relationships. First we present a number of basic deÿnitions and properties in FFAs. We then deÿne a bifuzzy family of subautomata, bifuzzy source and successor opera

Recreating Glushkov's idea

✍ A. A. Popov 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 171 KB

A characterization of Büchi tree automat

A characterization of Büchi tree automata

✍ Jerzy Skurczyński 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 68 KB

We show that a language of infinite binary trees is definable by a Σ 2 -formula of the monadic second order logic of two successors (with no additional symbols) iff it can be accepted by a Büchi automaton. The same result has been obtained by G. Lenzi, but our proof is simpler.

A problem of V. M. Glushkov

✍ B. A. Pogorelov 📂 Article 📅 1975 🏛 Springer US 🌐 English ⚖ 232 KB

Dynamical systems characterized by autom

Dynamical systems characterized by automata

✍ A. B. Engel 📂 Article 📅 1979 🏛 Springer Vienna 🌐 English ⚖ 255 KB