正規表現の実現
Regular expression and state machine
同等の状態遷移機械に変換可能
Convertable to state machine
e.g. a(b|cd) に対応する文法と状態遷移機械
Grammar and state machine for "a(b|cd)"
A ← aS
B ← bA
C ← cA
B ← dC