TY - JOUR AU - Ил.Р. Насыров TI - Теорема редукции для автоматов над деревьями и контекстно-свободных грамматик JO - Veroâtnostnye metody i kibernetika PY - 1982 SP - 60 EP - 70 VL - 18 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/VMK_1982__18_69212/ LA - ru ID - VMK_1982__18_69212 ER -