Индукцией по сумме избытков всех переходов доказывается
Метод индукции для приведения грамматики в нормальную форму Грейбах
Приведение шагов индукции для определения грамматики в нормальную форму Грейбах
Полный детерминированный конечный автомат не должен содержать переходов с метками длины
Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к
Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются
Чтобы определить, является ли язык бесконечным
Определить однозначность грамматики по произвольной контекстно-свободной грамматике
Свойства замкнутости класса всех автоматных языков
Алгоритм, позволяющий определить, является ли пустым множеством пересечение языков грамматик
