Проверка непротиворечивости исходных описаний конечных автоматов
Информатика, программирование