1/50
「トマト・オートマトン」
Oh トマァトぅ
Oh トマぁトぉん
これは有限のトマト
有限オートマトン
他にもあるさ
決定的に有限なトマトもある
非決定的だが有限なトマトもある
ε動作も含めたらおいしいゾ
決定的有限オートマトン（DFA）
非決定的有限オートマトン（NFA）
もう、トマト…///
Oh トマぁトぉん…///
それはプッシュダウン式トマト
プッシュダウン・オートマトン（PDA）
あぁん、トマぁトぉうぉン…///
Oh トマぁトぉおぉん…///
あれは線形拘束トマト
線形拘束オートマトン（LBA）
受理せよ
