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

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