The positive language {a^(2n)b^n}

def quotientLeftBlock : Language Bool

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

Equations

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