Lenguajes Formales

Conteste
Qu es Lenguaje Regular?
El Lenguaje Regular es un tipo de lenguaje, cuyas palabras, simbologas y reglas estn
formalmente especificados, ya que requieren un protocolo en su forma, que satisface las
siguientes propiedades:
Puede ser reconocido por un autmata finito determinista, un autmata finito no
determinista, un autmata finito alterno y una mquina de Turing de solo lectura.
Es generado por una gramtica regular y una gramtica de prefijos.
Es descrito por una expresin regular.
Al referirse que un lenguaje regular es reconocido por un autmata, se hace referencia a que un
lenguaje A, es aceptado si A = L (M) para algn autmata M. Sabiendo que todos los lenguajes
finitos son regulares, pero no todos los lenguajes infinitos son regulares.
Hay dos tipos especiales de lenguajes regulares:
La coleccin de todas las cadenas de longitud finita de un alfabeto ( S* )
La coleccin de ninguna cadena, lenguaje vaco, representa con .
Qu es un Compilador?
Los compiladores son programas de computadora que traducen de un lenguaje a otro, tomando
como entrada un programa escrito en lenguaje fuente y produce un programa equivalente escrito
en lenguaje objeto (cdigo de maquina). Estos son utilizados en casi todas las formas de
computacin.
Un compilador se compone internamente de varias etapas, o fases, que realizan operaciones

lgicas los cuales son:
Anlisis Lxico
Anlisis Sintctico
Anlisis Semntico
Generacin y Optimizacin de cdigo intermedio
Generacin de cdigo objeto
Qu es autmata?
Autmata es definido como un instrumento o aparato que encierra dentro de s el
mecanismo que le imprime determinados .
Un autmata puede describir de forma formal el funcionamiento de un sistema.
Siendo un modelo abstracto de una computadora digital es capaz de:
Leer smbolos en la entrada.
Producir smbolos en la salida.
Cambiar los estados internos en funcin de la entrada.
Puede tener algn tipo de memoria
Los autmatas se pueden clasificar en:

Deterministas: Cada combinacin produce un solo estado.
No deterministas: Cada combinacin produce varios estados y adems son posibles las
transiciones con .
Un autmata finito o mquina de estado finito es un modelo matemtico de un sistema que
recibe una cadena constituida por smbolos de un alfabeto y determina si esa cadena pertenece
al lenguaje que el autmata reconoce.
Tambin se define un autmata finito, como un vector de tres elementos M = (I,S,, F) donde I
es el conjunto finito de entradas, S es el conjunto finito de estados (no vaco), es la funcin de
transicin de estados y F es el conjunto finito de estados finales (incluidos en S).
Anlisis lxico?
Un analizador lxico y/o analizador lexicogrfico es la primera fase de un compilador, consiste en leer
los caracteres de entrada y elaborar como salida una secuencia de componentes lxicos para
avanzar en la gramtica, que utiliza el analizador sintctico para hacer el anlisis, ya que el
analizador lxico opera bajo peticin del analizador sintctico.
En algunas ocasiones, los analizadores lxicos se dividen en una cascada de dos fases:
la primera, llamada examen.

la segunda, anlisis lxico.
El examinador se encarga de realizar tares sencillas y el analizador lxico es el que realiza las
operaciones complejas.
Bibliografa
1. Aho, A.V., Sethi, R., Ullman, J.D. (1990), Compiladores: principios, tcnicas y herramientas,
Tema 3, pginas: 85-158.
2. Louden, K.C. (1997), Compiler Construction: Principles and Practice, Tema 2, patinas: 31-93.
3. Pedro J. lvarez Prez-Aradros, & Rubn Bjar Hernndez. (2003). Lenguajes Regulares
Lenguajes
Regulares.
Web:
http://webdiis.unizar.es/asignaturas/LGA/material_2010_2011/3_lenguajesRegulares.pdf
4. Elvira Mayordomo. (2013). Autmatas finitos y lenguajes regulares. Web:
http://webdiis.unizar.es/asignaturas/TC/wp/wp-content/uploads/2012/09/130926DFAI1.pdf
5. Carlos Rivera Trejo. (2008). Teora de la Computacin Unidad II Lenguaje Regulares. Web:
http://es.slideshare.net/guestdf1874/lenguajes-regulares
6. Luis Pea. (2003) .Mquinas Secuenciales, Autmatas y Lenguajes. Web:
http://www.ia.urjc.es/cms/sites/default/files/userfiles/file/GIC-MSAL/Tema5PropiedadesLenguajesRegulares(1).pdf
7. Roberto de la Fuente Lpez. (1999). Lmite De Los Autmatas Finitos Deterministas. Web:
http://www.aconute.es/computacion/automatasFinitos/ta_cap1_3.html
8. Anahi Jaramillo Hernandez, Erick Rios Garcia. Luis Antonio Martinez Sanchez.Alejandro Gomez
Perez.
(2015).
Lenguajes
y
Automatas
I.
Web:
http://lenguajesyautomatasitsh.blogspot.com/2015/02/17-fases-de-un-compilador.html
9. Eduardo
Serna-Perez
.(2015).
Introduccin
a
Compiladores.
Web:
http://www.paginasprodigy.com/edserna/cursos/compilador/notas/Notas1.pdf
10. Holger Billhardt .(2011). Teora de Autmatas y Lenguajes Formales. Web:
http://www.ia.urjc.es/grupo/docencia/automatas_itis/apuntes/capitulo%201.ppt.pdf

Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Lenguajes Formales

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Conteste

La coleccin de todas las cadenas de longitud finita de un alfabeto ( S* )

La coleccin de ninguna cadena, lenguaje vaco, representa con .

Un compilador se compone internamente de varias etapas, o fases, que realizan operaciones

Los autmatas se pueden clasificar en:

la primera, llamada examen.

También podría gustarte