構文の説明でもオートマトンで図示するのが多いかな