String Automaton
transition function: symbol × state → state
final states: a set of states
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示