正規表現 a* b a* の言語 の証明を追加した。