状態遷移図ができたので、これに対応したコードを書こうと思ったのだが、まだ問題があった。 修正した状態遷移図でもやはり#1のBNFで受容されない入力を受容してしまう。 BNFの終端記号<marked-string-body>は一文字以上の文字からなる文字列から還元される。 が、示した状態遷移</marked-string-body>…