非決定性有限オートマトン
遷移先が一意に決まらないことがある有限オートマトン