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