TY  - JOUR
AU  - M. V. Karandashov
TI  - The algorithm for checking transitivity of mappings associated with the finite state machines from the groups~$AS_p$
JO  - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics
PY  - 2017
SP  - 85
EP  - 95
VL  - 17
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/ISU_2017_17_1_a7/
LA  - ru
ID  - ISU_2017_17_1_a7
ER  -