• 非決定性状態遷移機械 = 遷移先が一意でないもの
• 決定性状態遷移機械は単純
  • 実装しやすい
• 正規表現は非決定性決定性状態遷移機械になることが多い
  • (SUB)*SECTION
  • (abc|ade)