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

Материал из DISCOPAL
Перейти к: навигация, поиск
 
(не показано 5 промежуточных версий 2 участников)
Строка 1: Строка 1:
{{reserve-task|[[Участник:Urmat A|Urmat A]] 14:24, 19 декабря 2024 (UTC)}}
 
 
== Вопрос: Q04-08c765 ==
 
== Вопрос: Q04-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>
  
[[File:automaton.png|480px]]
 
 
Что из следующего является регулярным выражением, соответствующим автомату выше?
 
Что из следующего является регулярным выражением, соответствующим автомату выше?
  
 
=== Ответы ===
 
=== Ответы ===
#<m>xxx+yyx</m>
+
* <m>xxx+yyx</m>
#<m>x^3y^2x</m>
+
* <m>x^3y^2x</m>
#<m>x^*y^*x</m>
+
* <m>x^*y^*x</m>
#Правильный ответ: <m>xx^*(x+y)y^*x</m>
+
* Правильный ответ: <m>xx^*(x+y)y^*x</m>
#<m>x^*xy^*x</m>
+
* <m>x^*xy^*x</m>
  
 
=== Объяснение ===
 
=== Объяснение ===
Очевидно, что следуя переходам между состояниями автомата мы получим вариант 4).
+
{{cstest-source|2011-gre-cs-practice-book.pdf|16|4}}
  
Пояснение: под + подразумевается объединение
+
Очевидно, что следуя переходам между состояниями автомата мы получим вариант <m>xx^*(x+y)y^*x</m>.
  
{{question-ok|}}
+
Пояснение: под + подразумевается объединение, в интернете беда с толковыми источниками.
 +
 
 +
{{question-ok|[[Участник:StasFomin|StasFomin]] 15:16, 19 декабря 2024 (UTC)}}
 +
 
 +
[[Категория:Формальные языки]]

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

Вопрос: Q04-08c765

[svg]

Что из следующего является регулярным выражением, соответствующим автомату выше?

Ответы

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

Объяснение

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

Очевидно, что следуя переходам между состояниями автомата мы получим вариант .

Пояснение: под + подразумевается объединение, в интернете беда с толковыми источниками.