|
This article is cited in 1 scientific paper (total in 1 paper)
On the membership problem for finite automata over symmetric groups
A. A. Khashaev Lomonosov Moscow State University
Abstract:
We consider automata in which transitions are labelled with arbitrary permutations. The language of such an automaton consists of compositions of permutations for all possible admissible computation paths. The membership problem for finite automata over symmetric groups is the following decision problem: does a given permutation belong to the language of a given automaton? We show that this problem is NP-complete. We also propose an efficient algorithm for the case of strongly connected automata.
Keywords:
finite automata, groups, permutations, computational complexity.
Received: 19.01.2021
Citation:
A. A. Khashaev, “On the membership problem for finite automata over symmetric groups”, Diskr. Mat., 33:1 (2021), 82–90; Discrete Math. Appl., 32:6 (2022), 383–389
Linking options:
https://www.mathnet.ru/eng/dm1633https://doi.org/10.4213/dm1633 https://www.mathnet.ru/eng/dm/v33/i1/p82
|
|