The language {b^n a^n} #
The core block language {b^n a^n | n in N} over Bool,
with false = a and true = b.
Equations
- quotientRightBlockCore w = ∃ (n : ℕ), w = List.replicate n true ++ List.replicate n false
Langlib{b^n a^n} #The core block language {b^n a^n | n in N} over Bool,
with false = a and true = b.