🔗 ⚙️

alphabet => Σ from δ: Q × Σ → Q by Jukka-Pekka Kervinen