Доказательство Необходимость Иллюстрация Достаточность Почему полученный автомат необязательно является ДКА? Связанные теоремы/определения Язык Праволинейная грамматика
