Формально об алгоритмах. Вычислительные модели/Задачи/Разрешимость конкатенации — различия между версиями
Материал из DISCOPAL
(Новая страница: «<latex> Пусть $L_1$ и $L_2$ - разрешимые языки. Является ли разрешимой их конкатенация? То есть $L_1L…») |
StasFomin (обсуждение | вклад) (Массовая правка: добавление Категория:Теоретические задачи) |
||
(не показано 17 промежуточных версий 2 участников) | |||
Строка 2: | Строка 2: | ||
Пусть $L_1$ и $L_2$ - разрешимые языки. Является ли разрешимой их конкатенация? То есть $L_1L_2 = \{ab \;|\; a \in L_1, b \in L_2\}$ | Пусть $L_1$ и $L_2$ - разрешимые языки. Является ли разрешимой их конкатенация? То есть $L_1L_2 = \{ab \;|\; a \in L_1, b \in L_2\}$ | ||
\newline\newline | \newline\newline | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
</latex> | </latex> | ||
− | [[Категория: | + | [[Категория:Решенные задачи]] |
+ | [[Категория:Теоретические задачи]] |
Текущая версия на 06:50, 4 мая 2023