регулярное выражение для всех законных регулярных выражений [дубликат]
На этот вопрос уже есть ответ здесь:
Мне интересно, существует ли такое регулярное выражение, которое определяет все возможные регулярные выражения. Так как есть escape-символы, которые могут появиться в RE, было бы сложно обозначить такие символы в другом, скажем, валидатор, RE, так как RE в первую очередь описывают последовательности буквенно-цифровых символов.Мой вопрос можно аналогично интерпретировать, как если бы существовал конечный автомат, который способен решить, является ли кандидат конечной автомата FA или нет. Это происходит потому, что мы знаем, что FA может быть спроектирована таким образом, что она исключает данную входную строку, соответствующую шаблону, который определяется FA или нет. Таким образом, если мы каким-то образом можем определить все(кандидаты FA) как строки, мы сможем определите ОС, которое проверяет, является ли вход ОС или нет. Однако я не знаю, как я могу доказать это утверждение, Я был бы счастлив, если бы вы помогли мне, как я могу это доказать.
Заранее спасибо