The language {a^(2n)b^n | n >= 1}*

def quotientNumerator : Language Bool

Numerator language for the CFL/CFL quotient counterexample.

Equations

• quotientNumerator = KStar.kstar quotientLeftBlock