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

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показано 25 промежуточных версий 2 участников)
Строка 1: Строка 1:
−
{{reserve-task|[[Участник:Urmat A|Urmat A]] 13:59, 19 декабря 2024 (UTC)}}
 
 
== Вопрос: Q05-08c765 ==
 
== Вопрос: Q05-08c765 ==
−
[[File:automaton.png|480px]]
+
<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 генерирует язык, распознаваемый автоматом выше?
  
−
=== Ответы ===
+
=== Ответ ===
−
#[[File:AA.png|left]]  
+
  S → xT
−
#[[File:BB.png|left]]
+
  T → xT | xU | yU
−
#[[File:CC.png|left]]
+
  U → yU | xV
−
#[[File:DD.png|left]]
+
 
−
#[[File:EE.png|left]]
+
=== Правильный ответ ===
 +
  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
  
 
=== Объяснение ===
 
=== Объяснение ===
  
 
{{cstest-source|2011-gre-cs-practice-book.pdf|16|5}}
 
{{cstest-source|2011-gre-cs-practice-book.pdf|16|5}}
 +
 
Очевидно:
 
Очевидно:
−
*Варианты 3) и 4) сразу отметаем, есть только <m>S→xT</m>
 
−
* Вариант 2) не подходит, т.к
 
  
−
{{question-ok|}}
+
Варианты [[File:CC.png]] и [[File:ddd.png]] сразу отметаем, есть только <m>S→xT</m>
 +
 
 +
Вариант [[File:AA.png]] не подходит, т.к нет <m>U→xV</m>
 +
 
 +
Вариант [[File:EE.png]] не подходит, т.к из терминального состояния <m>V</m> мы никуда не идём
 +
 
 +
Вариант [[File:BB.png]]  подходит идеально
 +
 
 +
{{question-ok|[[Участник:StasFomin|StasFomin]] 15:06, 19 декабря 2024 (UTC)}}
 +
 
 +
[[Категория:Формальные языки]]

Текущая версия на 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 подходит идеально

Источник — «https://discopal.ispras.ru/index.php?title=2011-gre-cs-practice-book.pdf/Q05&oldid=34157»