1. More on the Descriptional Complexity of Products of Finite Automata.
- Author
-
Holzer, Markus and Rauch, Christian
- Subjects
- *
FINITE state machines , *PERMUTATIONS - Abstract
We investigate the descriptional complexity of the νi- and αi-products with 0 ≤ i ≤ 2 of two automata, for reset, permutation, permutation-reset, and finite automata in general. This is a continuation of the recent studies on the state complexity of the well-known cascade product undertaken in [7, 8]. Here we show that in almost all cases, except for the direct product (ν0) and the cascade product (α0) for certain types of automata operands, the whole range of state complexities, namely the interval [1,nm], where n is the state complexity of the left operand and m that of the right one, is attainable. To this end we prove a simulation result on products of automata that allows us to reduce the products of automata in question to the ν0, α0, and a double sided α0-product. [ABSTRACT FROM AUTHOR]
- Published
- 2024
- Full Text
- View/download PDF