The positive language {b^n a^n}

def quotientRightBlock : Language Bool

The positive block language {b^n a^n | n >= 1} over Bool, with false = a and true = b.

Equations

• quotientRightBlock w = ∃ (n : ℕ), w = List.replicate (n + 1) true ++ List.replicate (n + 1) false