2011-gre-cs-practice-book.pdf/Q05 — различия между версиями

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показано 48 промежуточных версий 2 участников)
Строка 1: Строка 1:
{{reserve-task|[[Участник:Urmat A|Urmat A]] 13:39, 19 декабря 2024 (UTC)}}
 
 
== Вопрос: Q05-08c765 ==
 
== Вопрос: Q05-08c765 ==
 +
<graph>
 +
digraph G{
 +
  rankdir=LR;
 +
  edge [color=blue];
 +
  S -> T [label="x"]
 +
  T -> T [label="x"]
 +
  T -> U [label="x"]
 +
  T -> U [label="y"]
 +
  U -> U [label="y"]
 +
  U -> V [label="x"]
 +
  V [shape=doublecircle]
 +
}
 +
</graph>
 +
  
 
Какая из следующих грамматик над алфавитом x, y генерирует язык, распознаваемый автоматом выше?
 
Какая из следующих грамматик над алфавитом x, y генерирует язык, распознаваемый автоматом выше?
  
=== Ответы ===
+
=== Ответ ===
</m> S→xT <m>
+
  S → xT
 +
  T → xT | xU | yU
 +
  U → yU | xV
  
 +
=== Правильный ответ ===
 +
  S → xT
 +
  T → xT | xU | yU
 +
  U → yU | x
 +
 +
=== Ответ ===
 +
  S → xT | T
 +
  T → xT | xU | yU  | T | U
 +
  U → yU | xV | V | x
 +
 +
=== Ответ ===
 +
  S → xV
 +
  T → xT | yU
 +
  U → yU | xV
 +
 +
=== Ответ ===
 +
  S → xT
 +
  T → xT | T
 +
  U → yU | V
 +
  V → xV | x
  
 
=== Объяснение ===
 
=== Объяснение ===
<i>Сначала заполните номер страницы с этим вопросом
+
 
 
{{cstest-source|2011-gre-cs-practice-book.pdf|16|5}}
 
{{cstest-source|2011-gre-cs-practice-book.pdf|16|5}}
  
Если все сделаете правильно, по ссылке выше будет открываться правильная страница в правильном PDFе.
+
Очевидно:
 +
 
 +
Варианты [[File:CC.png]] и [[File:ddd.png]] сразу отметаем, есть только <m>S→xT</m>
 +
 
 +
Вариант [[File:AA.png]] не подходит, т.к нет <m>U→xV</m>
 +
 
 +
Вариант [[File:EE.png]] не подходит, т.к из терминального состояния <m>V</m> мы никуда не идём
  
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный, а [[2004-gre-cs-practice-book.pdf/Q16|неправильные варианты — неправильны]].
+
Вариант [[File:BB.png]] подходит идеально
Тут тоже могут быть полезны [[2004-gre-cs-practice-book.pdf/Q03|ссылки на википедию]],
+
решение вами [[2004-gre-cs-practice-book.pdf/Q12|рекуррентных уравнений в sympy]].
+
  
</i>
+
{{question-ok|[[Участник:StasFomin|StasFomin]] 15:06, 19 декабря 2024 (UTC)}}
  
{{question-ok|}}
+
[[Категория:Формальные языки]]

Текущая версия на 15:08, 19 декабря 2024

Вопрос: Q05-08c765

[svg]


Какая из следующих грамматик над алфавитом x, y генерирует язык, распознаваемый автоматом выше?

Ответ

 S → xT
 T → xT | xU | yU 
 U → yU | xV

Правильный ответ

 S → xT
 T → xT | xU | yU 
 U → yU | x

Ответ

 S → xT | T
 T → xT | xU | yU  | T | U
 U → yU | xV | V | x

Ответ

 S → xV
 T → xT | yU
 U → yU | xV 

Ответ

 S → xT
 T → xT | T
 U → yU | V 
 V → xV | x

Объяснение

Исходники — вопрос 5 на 16 странице книги «2011-gre-cs-practice-book.pdf»

Очевидно:

Варианты CC.png и Ddd.png сразу отметаем, есть только

Вариант AA.png не подходит, т.к нет

Вариант EE.png не подходит, т.к из терминального состояния мы никуда не идём

Вариант BB.png подходит идеально