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

def lang_eq_eq : Language (Fin 3)

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

Equations

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