TY - JOUR AU - L. B. Tyapaev TI - Solving some problems of automata behaviour analysis JO - Izvestiya of Saratov University. Mathematics. Mechanics. Informatics PY - 2006 SP - 121 EP - 133 VL - 6 IS - 1-2 UR - http://geodesic.mathdoc.fr/item/ISU_2006_6_1-2_a13/ LA - ru ID - ISU_2006_6_1-2_a13 ER -