Логическое программирование

Укажите верное утверждение:

(Отметьте один правильный вариант ответа.)

Варианты ответа

грамматика G=<N,A,R,s> — это некоторое множество цепочек $L \subseteq {A^*}$ в алфавите

три пересекающихся множества нетерминальных N и терминальных A символов

грамматика G=<N,A,R,s> — это кортеж, включающий в себя выделенный начальный символ $s \in N$ (Верный ответ)

Похожие вопросы

Укажите верное правило унификации объектов программы Prolog:

Укажите родительское целевое утверждение в данном примере: C :- P, Q, !, R, S. F :- T. A :- B, C, D.

Целевое утверждение, которое приводит к вызову правила, содержащего отсечение, называется:

Укажите теорему Чёрча:

Укажите логические языки программирования:

Укажите бестиповой язык программирования:

Укажите теорему Гёделя о неполноте:

Укажите императивные языки программирования:

Укажите следствие теоремы о дедукции:

Укажите функциональные языки программирования: