AFP = (Σ, Q, M, P (0), F, q)