Finite-State Unification Automata and Relational Languages
β Scribed by Y. Shemesh; N. Francez
- Book ID
- 112252105
- Publisher
- Elsevier Science
- Year
- 1994
- Tongue
- English
- Weight
- 842 KB
- Volume
- 114
- Category
- Article
- ISSN
- 0890-5401
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
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
Weighted ΓΏnite automata (WFA), including the linear WFA due to Culik and Kari and the acyclic WFA due to Hafner, have been under investigation over the years for their applications to image compression. We shall in this work ΓΏrst examine in great details the underlying WFA structure and propose the