メモ。 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))…