2001-gre-vs-practice.pdf/Q28 — различия между версиями
Материал из DISCOPAL
Илья52 (обсуждение | вклад) |
Илья52 (обсуждение | вклад) |
||
(не показано 15 промежуточных версий этого же участника) | |||
Строка 1: | Строка 1: | ||
− | == Вопрос: Q28-e5724f == | + | {{checkme|[[Участник:Илья52|илья52]] 17:18, 21 декабря 2024 (UTC)}}== Вопрос: Q28-e5724f == |
{{reserve-task|[[Участник:Илья52|илья52]] 11:02, 21 декабря 2024 (UTC)}} | {{reserve-task|[[Участник:Илья52|илья52]] 11:02, 21 декабря 2024 (UTC)}} | ||
<blockquote> | <blockquote> | ||
− | + | Ниже приведен конечный автомат, задающий регулярный язык <m>L</m>, <m>state0</m> - начальное и конечное состояние автомата. Какое регулярное выражение, из приведенных ниже, не задает подмножество языка <m>L</m>? | |
− | + | </blockquote> | |
− | + | ||
− | + | ||
− | + | <graph> | |
− | + | digraph G{ | |
+ | state0[shape=doublecircle]; | ||
+ | state1[shape=circle]; | ||
+ | state2[shape=circle]; | ||
+ | state0 -> state0[label="0"]; | ||
+ | state0 -> state1[label="1"]; | ||
+ | state1 -> state0[label="1"]; | ||
+ | state1 -> state2[label="0"]; | ||
+ | state2 -> state2[label="1"]; | ||
+ | state2 -> state1[label="0"]; | ||
+ | } | ||
+ | </graph> | ||
− | + | === Ответы === | |
− | + | ||
− | + | # 0*(11)*0* | |
− | + | # 0*1(10*1)*1 | |
+ | # 0*1(10*1)*10* | ||
+ | # 0*1(10*1)0(100)* | ||
+ | # (0*1(10*1)*10*+0*)* | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
=== Объяснение === | === Объяснение === | ||
− | <i> | + | <i> |
− | {{cstest-source|2001-gre-vs-practice.pdf| | + | {{cstest-source|2001-gre-vs-practice.pdf|25|28}} |
− | + | ||
− | + | ||
− | + | Как можно заметить 4ый ответ не подходит. После выполнения <m>0^{*}1(10^{*}1)0</m> автомат будет находиться в <m>state2</m>. Переход <m>(100)^{*}</m> соответствует переходу из <m>state2</m> в <m>state1</m> и обратно, т.е. в конце автомат будет в <m>state2</m>, но это не конечное состояние. | |
− | + | ||
− | + | ||
+ | Правильный ответ: 4. | ||
</i> | </i> | ||
Текущая версия на 17:18, 21 декабря 2024
Решено: илья52 17:18, 21 декабря 2024 (UTC)== Вопрос: Q28-e5724f ==
Задача зарезервирована: илья52 11:02, 21 декабря 2024 (UTC)
Ниже приведен конечный автомат, задающий регулярный язык , - начальное и конечное состояние автомата. Какое регулярное выражение, из приведенных ниже, не задает подмножество языка ?
Ответы
- 0*(11)*0*
- 0*1(10*1)*1
- 0*1(10*1)*10*
- 0*1(10*1)0(100)*
- (0*1(10*1)*10*+0*)*
Объяснение
Исходники — вопрос 28 на 25 странице книги «2001-gre-vs-practice.pdf»
Как можно заметить 4ый ответ не подходит. После выполнения автомат будет находиться в . Переход соответствует переходу из в и обратно, т.е. в конце автомат будет в , но это не конечное состояние.
Правильный ответ: 4.