Грамматиками предшествования

 

Если для двух соседних символов сентенциальной формы B _i и B _i+1 справедливо отношение предшествования B _i <· B _i+1, то в основу входит:

B _{i +1}

 

Если для двух соседних символов сентенциальной формы B _i и B _i+1 справедливо отношение предшествования B _i ·> B _i+1, то в основу входит:

B _i

 

Если для двух соседних символов сентенциальной формы Bi и B _i+1 справедливо отношение предшествования B _i ·= B _i+1, то в основу входит:

Оба символа

 

Правило вида A  B, где A,B  VN называется:

Цепным

 

Если язык, заданный регулярной грамматикой, содержит пустую цепочку, то может ли он быть задан автоматной грамматикой?

да

Являются ли регулярными множествами следующие множества:

Множество вещественных чисел;

Множество всех возможных строковых констант в языке Pascal;

Множество всех возможных вещественных констант языка С?

 

Какой язык порождается представленной ниже грамматикой:

G1({".",+,-,0,1},{<число>,<часть>,<цифра>,<осн.>},Р1,<число>)

Р1:

 <число> —> +<осн.> | -<осн.> | <осн.>

 <осн.> —> <часть>.<часть> | <часть>. | <часть>

 <часть> -> <цифра> | <часть><цифра>

 <цифра> -> 0 | 1

 

Вещественные двоичные числа

 

Какой язык порождается представленной ниже грамматикой:

G1({".",+,-,0 ,1 , 2, 3, 4, 5, 6, 7, 8, 9},{<число>,<часть>,<цифра>,<осн.>},Р1,<число>)

Р1:

<число> —> +<осн.> | -<осн.> | <осн.>

<осн.> —> <часть>.<часть> | <часть>. | <часть>

<часть> -> <цифра> | <часть><цифра>

<цифра> -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

 

Вещественные числа

 

Какой язык порождается представленной ниже грамматикой:

G1({".",0,1, 2, 3, 4, 5, 6, 7, 8, 9},{<число>,<часть>,<цифра>,<осн.>},Р1,<число>)

Р1:

<число> —><осн.>

<осн.> —> <часть>.<часть> | <часть>. | <часть>

<часть> -> <цифра> | <часть><цифра>

<цифра> -> 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9

 

Вещественные числа без знака

 

Какой язык порождается представленной ниже грамматикой:

G4({".",+,-,0,1},{<знак>,<число>,<часть>,<осн.>},Р4,<число>)

Р4:

<число> -> <знак>0 | <знак>1 | <часть>. | <число>0 | <число>1

<часть> —> <знак>0 | <знак>1 | <часть>0 | <часть>1

<знак> -> l| + | -

 

Вещественные двоичные числа

 

Какой язык порождается представленной ниже грамматикой:

G5({".",+,-,0,1},{<знак>,<число>,<часть>,<осн.>},Р5,<число>)

Р5:

<число> —> <часть>. | <осн.>0 | <осн.>1 | <часть>0 | <часть>1

<осн.> —> <часть>. | <осн.>0 | <осн.>1

<часть> -+ 0 | 1 | <знак>0 | <знак>1 | <часть>0 | <часть>1

<знак> -> + | -

 

Вещественные двоичные числа

 

Является ли представленная ниже грамматика автоматной:

G3({".",+,-,0,1},{<число>,<часть>,<осн.>},Р3,<число>)

РЗ:

<число> -> +<осн.> | -<осн.> | <осн.>

<осн.> -> 0 | 1 | 0.<часть> | 1.<часть> | 0<осн.> | 1<осн.>

<часть> -> 0 | 1 | 0<часть> | 1<часть>

Нет

 

 

Является ли представленная ниже грамматика автоматной:

G4({".",+,-,0,1},{<знак>,<число>,<часть>,<осн.>},Р4,<число>)

Р4:

<число> -> <знак>0 | <знак>1 | <часть>. | <число>0 | <число>1

<часть> —> <знак>0 | <знак>1 | <часть>0 | <часть>1

<знак> -> l| + | -

Нет

 

К чему может привести левая рекурсия при работе нисходящего распознавателя?

Зацикливанию

 

 

Для моделирования работы какого (восходящего или нисходящего) распозна­вателя представляет сложность левая рекурсия?

Нисходящего

 

Можно ли полностью устра­нить рекурсию из правил грамматики, записанных в расширенной форме Бэкуса—Наура?

да

 

Справедливы ли следующие утверждения?:

Любой язык программирования является контекстно-свободным языком;

Синтаксис любого языка программирования может быть описан с помо­щью контекстно-свободной грамматики;

 

Справедливо ли следующее утверждение:

любой язык программирования является контекстно-свободным языком?

да

 

Справедливо ли следующее утверждение:

синтаксис любого языка программирования может быть описан с помо­щью контекстно-свободной грамматики?

да

 

Справедливо ли следующее утверждение:

любой язык программирования является контекстно-зависимым языком?

Нет

 

Справедливо ли следующее утверждение:

семантика любого языка программирования может быть описана с помо­щью контекстно-свободной грамматики?

Нет

 

Какие из перечисленных ниже тождеств являются истинными для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

|ab| = |a| + |b| = |ba|

|aR | = |a|

 (a²b²)R = (bR) ² (aR) ² 

 

Является ли представленное ниже тождество истинным для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

|ab| = |a| + |b| = |ba|

Да

Является ли представленное ниже тождество истинным для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

ab = ba

Нет

 

Является ли представленное ниже тождество истинным для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

|aR | = |a|

Да

 

Является ли представленное ниже тождество истинным для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

(a²b²)R = (bRaR) ²

Нет

 

Является ли представленное ниже тождество истинным для двух про­извольных цепочек символов a и b (обращение цепочки a обозначается как aR):

(a²b²)R = (bR) ² (aR) ² 

да

 

К какому типу относится язык десятичных чисел с фик­сированной точкой?

Регулярному

 

Поездом называется произвольная последовательность локомотивов и ваго­нов, начинающаяся с локомотива. Ниже представлена грамматика для понятия <поезд> в расширенной форме Бэкуса—Наура, считая, что понятия <локомотив> и <вагон> являются терминальными символами:

 

<Поезд> → < локомотив >{<вагон>}

 

Какие из перечисленных составов порождаются данной грамматикой:

⇐ Предыдущая12345Следующая ⇒

Поделиться: