Hedge Automaton
transition function: symbol × state* → state
α(a,ε)
α(b,ε)
α(c,ε)
α(b, α(a,ε)α(b,ε))
α(a,α(c,ε))
final state sequences: a regular set ⊆ state*
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示