DFAとは

DFAは，各状態と入力に対して次の遷移先が一意に定まる有限オートマトンで，決定性有限オートマトンともいう。