Результаты поиска
Материал из DISCOPAL
Показаны 1-13 из 13 результатов запроса Формально об алгоритмах. Вычислительные модели/Разрешимость конкатенации, выполненного за 0.000 секунд. Статистика:
- формальн найдено 272 раз в 242 документах
- об найдено 468 раз в 345 документах
- алгоритм найдено 4666 раз в 1683 документах
- вычислительн найдено 269 раз в 229 документах
- модел найдено 420 раз в 301 документах
- разрешим найдено 136 раз в 85 документах
- конкатенац найдено 46 раз в 26 документах
- <latex>
Пусть $L_1$ и $L_2$ - разрешимые языки. Является ли разрешимой их конкатенация? То есть $L_1L_2 = \{ab \;|\; a \in L_1, b \in L_2\}$
\newline\newline
</latex>
[[Категория:Решенные задачи]]
[[ ...344 байт (16 слов) - 06:50, 4 мая 2023 - ... подслово на L2.
Рано или поздно разобьем слово на ab, обе машины скажут ДА, слово примется. Если слово не лежит в ... что слово не принадлежит конкантенации.
Конкантенация разрешима
{{wl-comment: }}809 байт (19 слов) - 13:33, 11 октября 2020 - <!-- пустая страница создана викилогом -->72 байт (2 слова) - 13:33, 11 октября 2020