Description and implementation of languages defining finite relations
β Scribed by V. Yu. Mikhailov; P. V. Pshenichnyi; R. R. Tagirov
- Publisher
- Springer US
- Year
- 1989
- Tongue
- English
- Weight
- 390 KB
- Volume
- 45
- Category
- Article
- ISSN
- 1573-8795
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Alternating ΓΏnite automata (AFA) provide a natural and succinct way to denote regular languages. We introduce a bit-wise representation of reversed AFA (r-AFA) transition functions and describe an e cient implementation method for r-AFA and their operations using this representation. Experiments hav
An algorithm for the construction of a defining set of relations w.r.t. a given set of generators of a finite group G is presented. Compared with previously known methods it yields fewer relations and is better suited for iterated application to large groups. These improvements are achieved by consi