Sí, debe ser finito. Imagine que tiene ese conjunto infinito de posibles coincidencias, y su entrada es 011
. ¿Alguna vez podrás rechazarlo? ¿Alguna vez te quedarás sin partidos para comprobar?
¿Hay algún lenguaje que, según esa definición, no sea regular ? ¿Qué pasa con el conjunto de todos los pares de programas y entradas de modo que el programa dado se detenga en la entrada dada?
Ahora, si tuviera un programa que enumerara las cadenas en un idioma en orden lexicográfico:
Actualizar
Para aclarar un poco en función de los comentarios en los comentarios, la razón por la que no todos los idiomas de este formulario son regulares es por definición. Si, por ejemplo, busca la prueba del teorema de Kleene, depende del hecho de que una expresión regular debe ser finita para demostrar que genera una máquina de estados finitos.
¿Por qué definimos el lenguaje "regular" de esa manera? Debido a que cada idioma formal es un subconjunto de las cadenas en un alfabeto, y cada conjunto de cadenas se puede expresar como una unión de singletons, por lo que si llamamos a cualquier conjunto de cadenas un lenguaje "regular", el lenguaje regular sería simplemente un sinónimo de idioma . Esa no es una definición muy útil, especialmente porque en realidad no podemos implementarla en hardware o software. No podemos almacenar una lista infinita arbitraria en ningún lado ni construir una máquina de estado infinito.
Sin embargo, como insinué, si tiene una manera de enumerar todas las cadenas en un idioma en orden, puede construir un decisor a partir de eso (acepte cuando vea esa cadena exacta, rechace cuando encuentre una cadena que viene después de la que usted está buscando) y viceversa (para cada cadena en orden, ejecútela a través del decisor y envíela si y solo si es aceptada). Entonces, si consideramos que cada lenguaje enumerable es regular , cada lenguaje decidible sería "regular" y necesitaríamos un nuevo término para los idiomas reconocidos por las máquinas de estados finitos y sus codificaciones equivalentes como expresiones finitas.