Дополнение языка является непустым тогда и только тогда, когда постовская система соответствия
Пересечение языков является непустым тогда и только тогда, когда постовская система соответствия
Дополнение языка является бесконечным тогда и только тогда, когда постовская система соответствия
Грамматика является неоднозначной тогда и только тогда, когда
Язык является регулярным тогда и только тогда, когда он является
Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются
Синтаксический моноид конечен в том случае, когда
Определение длины кроны дерева вывода, если известно только количество вершин в самом длинном пути
Структура данных, где в каждый момент доступен только тот элемент, который был добавлен позже остальных присутствующих на данный момент элементов, носит название