2. Lenguaje Gramática Autómata
Definición
Existen diversas definiciones del lenguaje, ya sea según
Luria, Chomsky, etc.
- El lenguaje es un conjunto finito o infinito de oraciones,
cada una de las cuales posee una extensión finita y
construida a partir de un conjunto finito de elementos
(Noam Chomsky, 1957).
- Por el lenguaje entendemos un sistema de códigos con
cuya ayuda se designan los objetos del mundo exterior,
sus acciones, cualidades y relaciones entre los mismos.
(A. R. Luria, 1977).
«Estudio y descripción de las estructuras sintácticas
morfológicas y fonéticas de una lengua.
INFORMAT: Descripción del conjunto de reglas que
permiten generar a partir de un vocablo terminal
(compuesto de símbolos, las cadenas o series
ordenadas de símbolos que constituyen las frases
autorizadas en el lenguaje correspondiente.»
Diccionario Enciclopédico Larousse 2007
La primera acepción que menciona el
diccionario de la Real Academia Española
(RAE) del término autómata. Alude al
dispositivo que cuenta con un mecanismo
interno que le permite realizar ciertos
movimientos o desarrollar determinadas
tareas.
Estructura
Está compuesta por sintaxis y gramática.
*Sintaxis: Define las secuencias de símbolos que
forman cadenas válidas de un lenguaje.
*Semántica: Es el significado de las cadenas que
componen un lenguaje.
Según Padilla:
El conjunto de elementos que forman la
gramática se define como: G = { NT, T, S, P }
Donde:
(NT) es el conjunto de elementos no Terminales,
(T) Es el de elementos Terminales,
(S) es el Símbolo inicial de la gramática
(P) es el conjunto de Reglas de Producción
Según Jurado:
Está compuesto por un lenguaje por el cual se
da una entrada de datos y un proceso que
indica cual será la salida.
Clasificación
Según Chomsky:
El lenguaje se clasifica en:
Lenguajes recursivamente enumerarles
Lenguajes Dependientes del Contexto
Lenguajes Independientes del Contexto
Lenguajes regulares
Según Chomsky:
La gramática se clasifica en:
Gramática tipo 0
Gramática tipo 1: sensibles al
contexto: generan los lenguajes sensibles al
contexto o lenguajes dependientes del
contexto
Gramática tipo 2: libres de contexto: generan
los lenguajes independientes del contextos.
Gramática tipo 3: gramáticas regulares
Según Jurado
El autómata se clasifica en:
Máquinas de Turing
Autómatas Finitos determinista: con
cualquier símbolo de su alfabeto, existe
siempre no más de una transición posible
desde ese estado y con ese símbolo
Autómatas finitos no deterministas: poseen
al menos un estado, en el que para un
símbolo del alfabeto, existe más de una
transición posible.
Características
- Vienen definidos por su gramática
- Poseen un numero finito de palabras y caracteres
- El lenguaje generado por una gramática G se
denomina L(G).
- Si la gramática G genera un lenguaje L se indica
G ŸL(G) 3. Ninguna regla gramatical puede
comenzar con la palabra nula.
- Dos gramáticas G1 y G2 son equivalentes si
L(G1) = L(G2); es decir, si generan el mismo
lenguaje.
- derivación: Es el proceso para obtener las
palabras del lenguaje que genera la gramática
El autómata posee diversas características
como:
- Estos mantienen un lenguaje por el que
entran sus instrucciones.
- Van determinados por una función
- Cumplen un objetivo
Simbología
∑ Alfabeto
∑* Conjunto de todas las palabras posibles
w Palabra
∣w∣ Longitud de la palabra
w Palabra
∣w∣ Longitud de la palabra
Estado
Estado inicial
Estado final
Transición
Etiquetas