決定性有限オートマトン
↑ コンパイラI 原理・技法・ツール、A.V.エイホ・R.セシィ、J.D.ウルマン 共著、原田賢一 訳、サイエンス社、134頁
↑ Hopcroft et al. 2001, p. 46.