#anbn #a^n b^n #count equality #number matching #formal definition #language property #constraint