TY - JOUR AU - D. N. Babin TI - On the classification of bases in $P_k$ according to the decidability of the completeness problem for automata JO - Fundamentalʹnaâ i prikladnaâ matematika PY - 2009 SP - 33 EP - 47 VL - 15 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/FPM_2009_15_3_a4/ LA - ru ID - FPM_2009_15_3_a4 ER -