Por ejemplo, del lenguaje formula_20 sobre el alfabeto formula_21 puede demostrarse que no es regular como sigue: