We suggest an algorithm which checks the following property of a given finite permutational automaton: for any periodic input sequence and any initial state the period of the corresponding output sequence is divided by the period of the input sequence. Estimates of the complexity of such algorithms are given.
Print ISSN: 0924-9266
Volume: 15, 11/2005
Seiten: 599 - 610