2004-gre-cs-practice-book.pdf/Q59 — различия между версиями
Материал из DISCOPAL
StasFomin (обсуждение | вклад) (Новая страница: « == Вопрос: Q59-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…») |
StasFomin (обсуждение | вклад) |
||
(не показана одна промежуточная версия этого же участника) | |||
Строка 1: | Строка 1: | ||
− | |||
== Вопрос: Q59-4c9f66 == | == Вопрос: Q59-4c9f66 == | ||
+ | Рассмотрите следующие два языка | ||
+ | * <m>L_1=x \in (a, b)^* | x </m> | ||
+ | * <m>L_2=x \in (a, b, c)^* | x</m> | ||
− | < | + | Что из нижеследующего верно в отношении <m>L_1</m> и <m>L_2</m> ? |
− | + | ||
− | + | ||
− | + | ||
=== Ответы === | === Ответы === | ||
− | < | + | * <m>L_1</m> и <m>L_2</m> являются [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA регулярными] |
− | + | * <m>L_1</m> [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA регулярный], а <m>L_2</m> [https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA контекстно-свободный], но не [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA регулярный] | |
+ | * Ни <m>L_1</m>, ни <m>L_2</m> не являются [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA регулярными], но оба они не зависят от [https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA контекста]. | ||
+ | * Правильный ответ: <m>L_1</m> является [https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA контекстно-свободным], но не [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%B3%D1%83%D0%BB%D1%8F%D1%80%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA регулярным], и <m>L_2</m> не является [https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA контекстно-свободным]. | ||
+ | * Ни <m>L_1</m>, ни <m>L_2</m> не являются [https://ru.wikipedia.org/wiki/%D0%9A%D0%BE%D0%BD%D1%82%D0%B5%D0%BA%D1%81%D1%82%D0%BD%D0%BE-%D1%81%D0%B2%D0%BE%D0%B1%D0%BE%D0%B4%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA контекстно-свободными]. | ||
− | + | === Объяснение === | |
− | + | {{cstest-source|2004-gre-cs-practice-book.pdf|39|59}} | |
− | + | ||
− | + | ||
− | + | ||
− | + | * Фишки типа равенства количества символов нельзя положить на конечный автомат, так что оба нерегулярны. | |
− | [https:// | + | * Но L1 можно положить на [https://ru.wikipedia.org/wiki/%D0%90%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82_%D1%81_%D0%BC%D0%B0%D0%B3%D0%B0%D0%B7%D0%B8%D0%BD%D0%BD%D0%BE%D0%B9_%D0%BF%D0%B0%D0%BC%D1%8F%D1%82%D1%8C%D1%8E автомат с магазином], если держать на стеке разницу двух типов символов. |
− | + | * А L2 даже магазинным автоматом не взять, так что он также и не КС. | |
− | + | {{question-ok|[[Участник:StasFomin|StasFomin]] 09:00, 16 декабря 2024 (UTC)}} | |
− | + | ||
− | {{ | + | |
− | + | ||
− | + | ||
− | + | [[Категория:Формальные языки]] |
Текущая версия на 09:00, 16 декабря 2024
Вопрос: Q59-4c9f66
Рассмотрите следующие два языка
Что из нижеследующего верно в отношении и ?
Ответы
- и являются регулярными
- регулярный, а контекстно-свободный, но не регулярный
- Ни , ни не являются регулярными, но оба они не зависят от контекста.
- Правильный ответ: является контекстно-свободным, но не регулярным, и не является контекстно-свободным.
- Ни , ни не являются контекстно-свободными.
Объяснение
Исходники — вопрос 59 на 39 странице книги «2004-gre-cs-practice-book.pdf»
- Фишки типа равенства количества символов нельзя положить на конечный автомат, так что оба нерегулярны.
- Но L1 можно положить на автомат с магазином, если держать на стеке разницу двух типов символов.
- А L2 даже магазинным автоматом не взять, так что он также и не КС.