TY - JOUR AU - F. M. Ablayev TI - Metrization criterion for regularity of languages representable in countable automata JO - Izvestiâ vysših učebnyh zavedenij. Matematika PY - 1982 SP - 67 EP - 69 IS - 9 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IVM_1982_9_a11/ LA - ru ID - IVM_1982_9_a11 ER -