Результаты поиска
Материал из DISCOPAL
Показаны 1-1 из 1 результатов запроса Формально об алгоритмах. Вычислительные модели/Разрешимость конкатенации, выполненного за 0.003 секунд. Статистика:
- формальн найдено 275 раз в 244 документах
- об найдено 472 раз в 350 документах
- алгоритм найдено 4724 раз в 1686 документах
- вычислительн найдено 272 раз в 232 документах
- модел найдено 435 раз в 313 документах
- разрешим найдено 137 раз в 86 документах
- конкатенац найдено 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