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

Материал из DISCOPAL
Перейти к: навигация, поиск
(Новая страница: « == Вопрос: Q66-4c9f66 == <i>Тут вставьте перевод вопроса. Используйте [https://wiki.4intra.net/Help:%D0%A4%D0%BE%D1%80…»)
 
 
Строка 1: Строка 1:
−
 
 
== Вопрос: Q66-4c9f66 ==
 
== Вопрос: Q66-4c9f66 ==
 +
Рассмотрим языки L and L1 над алфавитом из символов {a,b}, где
 +
* L1 = {w | w содержит какое-то слово «x» из L}
  
−
<i>Тут вставьте перевод вопроса.
+
Что верно?
−
Используйте [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 возможности разметки],
+
# L — [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 регулярный] → L1 —  [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://wiki.4intra.net/Graphviz .  
+
# L  — [https://en.wikipedia.org/wiki/Context-free_language контекстно-свободный] → L1 — [https://en.wikipedia.org/wiki/Context-free_language контекстно-свободный]
−
Потом конечно сотрите инструкции, которые тут курсивом.</i>
+
# L  — [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA рекурсивный] → L1 — [https://ru.wikipedia.org/wiki/%D0%A0%D0%B5%D0%BA%D1%83%D1%80%D1%81%D0%B8%D0%B2%D0%BD%D1%8B%D0%B9_%D1%8F%D0%B7%D1%8B%D0%BA рекурсивный]
  
 
=== Ответы ===
 
=== Ответы ===
−
<i>Если ответы простые, однострочные, используйте простой способ задания ответов списком, типа так
+
* Только 1
−
(префикс «Правильный ответ:» — это дословно, для правильного ответа)</i>
+
* Только 3
 +
* 1 и 3
 +
* 2 и 3
 +
* Правильный ответ: 1, 2 и 3
  
−
* Правильный ответ: тут реально правильный ответ
 
−
* неправильный ответ
 
−
* еще какой-то неправильный ответ
 
−
* еще какой-то неправильный ответ
 
−
* еще какой-то неправильный ответ
 
−
 
−
<i>Если ответы длинные, многострочные, или там графы, используйте
 
−
[https://wiki.4intra.net/MediawikiQuizzer/ru#.D0.9E.D1.82.D0.B2.D0.B5.D1.82.D1.8B способ задания ответов разделами],
 
−
Но такое очень редко встречается. </i>
 
  
  
 
=== Объяснение ===
 
=== Объяснение ===
−
<i>Сначала заполните номер страницы с этим вопросом
+
{{cstest-source|2004-gre-cs-practice-book.pdf|43|66}}
−
{{cstest-source|2004-gre-cs-practice-book.pdf|тут-номер-страницы-с-вопросом-66|66}}
+
 
 +
# Если L регулярный, то распознается конечным автоматом, и распознавание подстроки можно конечным автоматом сделать — можно сделать КА для L1.
 +
# Если L - KC, то тоже самое, только автомат с магазином, тоже можно сделать автомат с магазином для L1
 +
# Если L - рекурсивный (т.е. разрешимый) — то есть разрешающая МТ(L), это еще лучше, чем все автоматы, и еще легче будет сделать разрешающую МТ для L1.
 +
 
  
−
Ну и наконец, вики-разметкой напишите ваше понимание, почему правильный ответ — правильный.</i>
+
{{question-ok|[[Участник:StasFomin|StasFomin]]}}
  
−
{{question-ok|}}
+
[[Категория:Формальные языки]]
 +
[[Категория:Теория сложности]]

Текущая версия на 07:47, 16 декабря 2024

Вопрос: Q66-4c9f66

Рассмотрим языки L and L1 над алфавитом из символов {a,b}, где

  • L1 = {w | w содержит какое-то слово «x» из L}

Что верно?

  1. L — регулярный → L1 — регулярный.
  2. L — контекстно-свободный → L1 — контекстно-свободный
  3. L — рекурсивный → L1 — рекурсивный

Ответы

  • Только 1
  • Только 3
  • 1 и 3
  • 2 и 3
  • Правильный ответ: 1, 2 и 3


Объяснение

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

  1. Если L регулярный, то распознается конечным автоматом, и распознавание подстроки можно конечным автоматом сделать — можно сделать КА для L1.
  2. Если L - KC, то тоже самое, только автомат с магазином, тоже можно сделать автомат с магазином для L1
  3. Если L - рекурсивный (т.е. разрешимый) — то есть разрешающая МТ(L), это еще лучше, чем все автоматы, и еще легче будет сделать разрешающую МТ для L1.
Источник — «https://discopal.ispras.ru/index.php?title=2004-gre-cs-practice-book.pdf/Q66&oldid=33592»