LENGUAJES FORMALES.

En matemáticas lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos y reglas para unir esos símbolos están formalmente especificados a un conjunto de los símbolos se le llaman alfabeto del lenguajes y al conjunto de las reglas se le llaman la gramática formal, a una cadena de símbolos formados de acuerdo a l gramática se le llaman como una formula definida para lenguaje formal que es idéntico al conjunto de todas sus formulas.

Los lenguajes se encuentran constituidos por medio de alfabeto utilizando å nos representa todo el conjunto del alfabeto.

Los lenguajes se pueden considerar como un lenguaje finito lo cual quiere decir tiene un fin o un límite de determinado carácter.

El lenguaje constituido como infinito representa un bucle que no tiene fin, solamente  cuando existe un desbordamiento, de pila.

Un problema inicial que nos presenta es como distinguir con precisión las cadenas que pertenecen a un lenguaje, de aquellas que no pertenecen.

ATX= son las computadoras que tienen apagado automático los lenguajes se pueden considerar como lenguajes finito, lo cual quiere decir que tiene límite de determinados caracteres.