🔗 ⚙️

δ: Q × Σ → Q by Jukka-Pekka Kervinen