✦ LIBER ✦

Characterization of state-independent automata

✍ Scribed by Jerzy W. Grzymala-Busse; Zamir Bavel

Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 578 KB
Volume: 43
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(86)90162-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Characterization of Glushkov automata

✍ Pascal Caron; Djelloul Ziadi 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 218 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

Modification tolerance of fuzzy-state au

Modification tolerance of fuzzy-state automata

✍ M. Cin 📂 Article 📅 1975 🏛 Springer 🌐 English ⚖ 624 KB

State of Independence

✍ Brown, Sherry L. 📂 Fiction 📅 2019 🌐 English ⚖ 98 KB 👁 2 views

State of Independence

✍ Brown, Sherry L 📂 Fiction 📅 2019 🌐 English ⚖ 98 KB 👁 2 views

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.