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

def quotientDenominator : Language Bool

Denominator language for the CFL/CFL quotient counterexample.

Equations

• quotientDenominator = KStar.kstar quotientRightBlock * {[true]}