TY - JOUR AU - B. Dömölki TI - Algorithms for the recognition of properties of sequences of symbols JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 1965 SP - 77 EP - 97 VL - 5 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_1965_5_1_a6/ LA - ru ID - ZVMMF_1965_5_1_a6 ER -