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

Что должен включать в себя кортеж, называемый грамматикой G=<N,A,R,s>?

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

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

множество R правил вида a → b, где $a,b \in {(N \cup A)^*}$ (Верный ответ)

некоторое множество цепочек $L \subseteq {B}$ в алфавите

некоторое множество цепочек $L \subseteq {A^*}$ в алфавите

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

Кортеж, включающий в себя множество R правил вида a → b, где $a,b \in {(N \cup A)^*}$ :

Кортеж, включающий в себя два непересекающихся множества нетерминальных N и терминальных A символов:

Грамматика G=<N,A,R,s> — это кортеж, включающий в себя:

Если для формул A и B, в любой интерпретации, для которой истинно A, оказывается истинным и B, то:

Если для любых вершин u,v лежащих на одном пути, |h(u)-h(v)| меньше либо равен стоимости пути от u до v, то:

Как называется кортеж, включающий в себя выделенный начальный символ $s \in N$ ?

Если для всех вершин графа x имеет место h₁(x) больше либо равен h₂(x), в этом случае:

Подстановка называется унификатором для формул или термов F и G, если:

Аналогом какого предиката является в данном фрагменте программного кода Prolog предикат x? x(P) :- P, !, fail. x(_).

Укажите условное обозначение утверждения, что формула B следует из формулы A: