状態遷移図
q0 と q1 は状態であり、q0は受容状態である。各エッジには入力が付記されている。