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

Материал из DISCOPAL
Перейти к: навигация, поиск
 
Строка 22: Строка 22:
 
{{cstest-source|2004-gre-cs-practice-book.pdf|23|26}}
 
{{cstest-source|2004-gre-cs-practice-book.pdf|23|26}}
  
{{question-ok|}}
+
{{question-ok|[[Участник:StasFomin|StasFomin]] 15:32, 15 декабря 2024 (UTC)}}
  
 
[[Категория:Формальные языки]]
 
[[Категория:Формальные языки]]

Текущая версия на 15:32, 15 декабря 2024

Вопрос: Q26-4c9f66

Пусть A и B — два набора слов (строк) из ∑* для некоторого алфавита символов ∑

Предположим, что B является подмножеством A

Какое из следующих утверждений всегда должно быть верным для A и B?

  1. Если A конечно, то и B конечно.
  2. Если A регулярный язык, то и B такой же.
  3. Если A не зависит от контекста, то и B такой же.

Ответы

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

Объяснение

  • Конечность конечно передастся подмножеству.
  • Но «context-free» или распознавание регулярками конечно нет.

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