Un conjunto S de números naturales se llama computablemente enumerable si hay una función computable parcial cuyo dominio es exactamente S, lo que significa que la función se define si y solo si su entrada es un miembro de S.
Computabilidad y máquinas de Turing
1.- Demuestre que los lenguajes computacionalmente enumerables son cerrados respecto de concatenación.
Propiedades de cierre
Los lenguajes regulares son cerrados con las siguientes operaciones, de modo que si L y P son lenguajes regulares los siguientes lenguajes también serán regulares:
El complemento
″
�
″
¯{\displaystyle {\bar {''L''}}} de L
La clausura o estrella de Kleene L* de L
El homomorfismo φ(L) de L
La concatenación L'P de L y P
La unión L ∪ P de L y P
La intersección L ∩ P de L y P
La diferencia L \ P de L y P
El reverso LR de L
y aun no se que es cerrado.
La propiedad de cierre en el contexto de los lenguajes formales se refiere a una característica fundamental de las clases de lenguajes. Si una clase de lenguajes es cerrada bajo una operación específica, decimos que tiene una propiedad de cierre. Esto significa que aplicar esa operación a lenguajes pertenecientes a esa clase siempre resultará en otro lenguaje que también pertenece a la misma clase12.
Si la entrada es de los lenguajes la concatenacion es la suma de dos expresiones del mismo lenguaje ya que pone que los dos lenguajes solo aceptan palabras de cierto universo que es el mismo.
Por lo que otro lenguaje del que acepte palabras del mismo universo de forma expresion1 mas expresion2 pues será ...
Suspendí automatas.
¿Te puedo preguntar cosas?.