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

def lang_any_eq : Language (Fin 3)

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

Equations

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