%0 Journal Article %A M. V. Karandashov %T The algorithm for checking transitivity of mappings associated with the finite state machines from the groups~$AS_p$ %J Izvestiya of Saratov University. Mathematics. Mechanics. Informatics %D 2017 %P 85-95 %V 17 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/ISU_2017_17_1_a7/ %G ru %F ISU_2017_17_1_a7