メモ。 Wikipedia http://en.wikipedia.org/wiki/Powerset_construction の Example 2 より。 まだ到達不能な状態を除去していないので冗長。 FA> (let ((nfa (def-nfa '(:a :b :c) '(0 1) ((:a (0 nil) (1 '(:b :c))) (:b (0 '(:a)) (1 nil)) (:c (0 '(:b))…

#<DFA: Q = {Q1 Q2 Q3} F = {Q2} q0 = Q1 Σ = {0 1} δ = state 0 1 ==================================== > Q1 Q1 Q2 *Q2 Q3 Q2 Q3 Q2 Q2 ></dfa:>