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