𝔖 Bobbio Scriptorium
✦   LIBER   ✦

An alternating hierarchy for finite automata

✍ Scribed by Viliam Geffert

Book ID
116907363
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
438 KB
Volume
445
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The finite graph problem for two-way alt
The finite graph problem for two-way alternating automata
✍ MikoΕ‚aj BojaΕ„czyk πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 206 KB

Two-way alternating automata on inΓΏnite trees were introduced by Vardi (Reasoning about the part with two way

Alternating finite automata and star-fre
Alternating finite automata and star-free languages
✍ Kai Salomaa; Sheng Yu πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 96 KB

For a given extended regular expression e we construct an equational representation of an alternating ΓΏnite automaton accepting the language denoted by e. For star-free extended regular expressions the construction yields a loop-free alternating ΓΏnite automaton. Also the inclusion in the opposite di