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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « == Вопрос: Q59-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…»)
 
Строка 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>
  
−
<i>Тут вставьте перевод вопроса.
+
Что из нижеследующего верно в отношении <m>L_1</m> и <m>L_2</m> ?
−
Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D1%82%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D0%B5 возможности разметки],
+
−
включая формулы и т.п, если будут графы — посмотрите как задать их текстом https://wiki.4intra.net/Graphviz .
+
−
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
  
 
=== Ответы ===
 
=== Ответы ===
−
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
* <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 регулярными]
−
(префикс «Правильный ответ:» — это дословно, для правильного ответа)</i>
+
* <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}}
−
* еще какой-то неправильный ответ
+
−
* еще какой-то неправильный ответ
+
−
* еще какой-то неправильный ответ
+
  
−
<i>Если ответы длинные, многострочные, или там графы, используйте
+
* Фишки типа равенства количества символов нельзя положить на конечный автомат, так что оба нерегулярны.
−
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],  
+
* Но 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 автомат с магазином], если держать на стеке разницу двух типов символов.
−
Но такое очень редко встречается. </i>
+
* А L2 даже магазинным автоматом не взять, так что он также и не КС.
  
  
−
=== Объяснение ===
+
{{question-ok|}}
−
<i>Сначала заполните номер страницы с этим вопросом
+
−
{{cstest-source|2004-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-59|59}}
+
  
−
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный.</i>
+
[[Категория:Формальные языки]]
−
 
+
−
{{question-ok|}}
+

Версия 05:59, 16 декабря 2024

Вопрос: Q59-4c9f66

Рассмотрите следующие два языка

Что из нижеследующего верно в отношении и  ?

Ответы

Объяснение

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

  • Фишки типа равенства количества символов нельзя положить на конечный автомат, так что оба нерегулярны.
  • Но L1 можно положить на автомат с магазином, если держать на стеке разницу двух типов символов.
  • А L2 даже магазинным автоматом не взять, так что он также и не КС.
Источник — «https://discopal.ispras.ru/index.php?title=2004-gre-cs-practice-book.pdf/Q59&oldid=33579»