考えられるすべての正規表現を定義するような正規表現があるかどうか知りたいです。REに表示される可能性のあるエスケープ文字があるため、REは主に英数字のシーケンスを記述するためのものであるため、別の、たとえばバリデーター、REでそのような文字を示すのは難しいでしょう。
私の質問は、有限オートマトン候補がFAであるかどうかを判断できる有限オートマトンがあるかのように同様に解釈できます。これは、特定の入力文字列がFAによって定義されているかどうかに関係なく、特定の入力文字列が一致することを除外するようにFAを設計できることがわかっているためです。したがって、なんらかの方法ですべて（FA候補）を文字列として定義できれば、入力がFAであるかどうかを検証するFAを定義できます。しかし、どうすればこの主張を証明できるのかわかりません。どうすれば証明できるのか、助けていただければ幸いです。
前もって感謝します