Sea L el lenguaje que consiste de todas las cadenas de la forma a mb n, en donde m y n son enteros positivos y m ≤ n. Demuestre que no existe autómata de estado-finito que acepte a L.