В отличие от обычного, расширенный МП-автомат
(*ответ*) может изымать цепочку символов за один такт
поддерживает несколько языков
имеет расширенное множество символов
поддерживает несколько грамматик
Вместо «k» в названии класса грамматики «LL(k)» стоит некоторое число, которое показывает количество
(*ответ*) рассматриваемых символов для однозначного выбора альтернативы
символов алфавита соответствующего языка
правил грамматики
нетерминальных символов
Вопрос об алгоритмической неразрешимости проблем однозначности и эквивалентности грамматик сводится к
(*ответ*) проблеме соответствий Поста
задаче построения дерева вывода
принципу оптимальности Парето
проблеме поиска экстремума
Всякая грамматика операторного предшествования задает язык
(*ответ*) детерминированный КС
недетерминированный КС
регулярный
любой
Выделяют следующие виды грамматик предшествования
(*ответ*) простого
(*ответ*) расширенного
(*ответ*) слабого
составного
Грамматика простого предшествования является однозначной
(*ответ*) всякая
детерминированная
недетерминированная
регулярная
Грамматики, у которых все правые части правил для всех нетерминальных символов начинаются с k различных терминальных символов, носят название «_»
(*ответ*) сильно LL(k)-грамматики
LL(k)-нетерминальные
LL(k)-терминальные
правосторонние LL(k)-грамматики
Два МП-автомата называются эквивалентными, если они определяют
(*ответ*) один язык
одну грамматику
одно множество символов
одно множество правил
Длина цепочки символов обозначается
(*ответ*) |α|
(α)
[α]
{α}
Для LR(k)-грамматики порядок чтения входной цепочки символов
(*ответ*) слева направо
справа налево
сверху вниз
снизу вверх
Для классификации самого языка среди всех его грамматик всегда выбирается грамматика с классификационным типом
(*ответ*) максимально возможным
минимально возможным
любым возможным
наиболее удобным для описания
Для контекстно-зависимых языков распознавателями являют (ет)ся
(*ответ*) двусторонние недетерминированные автоматы
машина Тьюринга
односторонние недетерминированные автоматы
конечные автоматы
Для контекстно-свободных языков распознавателями являют (ет)ся
(*ответ*) односторонние недетерминированные автоматы
двусторонние недетерминированные автоматы
машина Тьюринга
конечные автоматы