Результаты поиска
Материал из DISCOPAL
Показаны 1-13 из 13 результатов запроса Формально об алгоритмах. Вычислительные модели/Разрешимость конкатенации, выполненного за 0.000 секунд. Статистика:
- формальн найдено 272 раз в 242 документах
- об найдено 469 раз в 346 документах
- алгоритм найдено 4685 раз в 1686 документах
- вычислительн найдено 270 раз в 230 документах
- модел найдено 422 раз в 302 документах
- разрешим найдено 136 раз в 85 документах
- конкатенац найдено 46 раз в 26 документах
- <!-- пустая страница создана викилогом -->72 байт (2 слова) - 13:33, 11 октября 2020
- ... подслово на L2.
Рано или поздно разобьем слово на ab, обе машины скажут ДА, слово примется. Если слово не лежит в ... что слово не принадлежит конкантенации.
Конкантенация разрешима
{{wl-comment: }}809 байт (19 слов) - 13:33, 11 октября 2020 - <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