Мне интересно это утверждение выше [название] истинно или нет. Это то, что у меня уже есть: Нерекурсивное средство неразрешимое. Я прочитал это Are all infinite languages undecidable? , который говори
Я делаю это для домашней работы. Мне нужно написать регулярное выражение для языка над (a, b), который включает в себя все строки, не вошедшие в язык (a*b)* , например «aaaaaaabaaaaaaaabaaaaaaabaaaaba