The language {a^n b^n c^m}

def lang_eq_any : Language (Fin 3)

The language {aⁿbⁿcᵐ | n,m ≥ 0} over Fin 3.

Equations

• lang_eq_any w = ∃ (n : ℕ) (m : ℕ), w = List.replicate n a_ ++ List.replicate n b_ ++ List.replicate m c_