Definitions

• M = {Σ, Q, Π, q₀, F, V}
• Σ = {}
• V = {}

• Q = {}
• F = {q_f}