側の文字を1文字とすることで条件を簡単にすることができます。文字列の始点と終点の文字が一致しているような文字列*1を受理するような言語が正則かどうか、と言い換えることができます。これは下のような有限オートマトンを書くことができます。上の文字列の場合は特に気をつけてください。\right\}\]と言いかえられます。すべての文字を受理するような言語が正則かどうかを判定すればいいことになります。受理するような文字列は正則です。受理するようなオートマトンとなります。(5)(お詫び:証明部分を間違えていたため、11月7日に修正を行いました。修正箇所を赤色で示しています。うまく背理法が適用できないことに要注意)このように実際に何個か試してみましょう。