#1 - 2013-6-7 21:24
fantasy (Q, Σ, Γ, δ, q0, Z0, F)