Revista Digital

Republica Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación

Instituto Universitario Politécnico Santiago Mariño
Cabimas-Edo Zulia
REVISTA DIGITAL
Scandela Stephanie
CI 27.511.769
Esquema
•Lenguaje Formal. (Especificaciones y Ejemplos)

•Importancia de la Gramática y Sintaxis para el Lenguaje
•Teoría de Autómatas
•Autómatas
•Tipos de Autómatas
•Origen de los Autómatas
•Aplicaciones de los Autómatas
•Estados Finitos de Máquinas y Autómatas
•Relaciones entre el Lenguaje y Autómatas
•Máquina de Turing
Desarrollo
Lenguaje Formal. (Especificaciones y Ejemplos)
Un lenguaje formal es un lenguaje cuyos símbolos son primitivos

y reglas para unir esos símbolos están formalmente
especificados. Al conjunto de los símbolos primitivos se lo llama
el alfabeto (o vocabulario) del lenguaje, y al conjunto de las
reglas se lo llama la gramática formal (o sintaxis). A una cadena
de símbolos formada de acuerdo a la gramática se la llama una
fórmula bien formada (o palabra) del lenguaje. Estrictamente
hablando, un lenguaje formal es idéntico al conjunto de todas sus
fórmulas bien formadas.
Especificaciones del lenguaje formal
(Si el lenguaje es regular)

•Cadenas producidas por una gramática formal (véase la
jerarquía de Chomsky).
•Cadenas descritas por una expresión regular.
•Cadenas aceptadas por un autómata, tal como una máquina de
Turing o autómata finito.
Las cadenas están formadas por un conjunto de símbolos que
pertenecen a un mismo lenguaje, existen dos formas de
componer una sentencia o función con los símbolos:
•Sintaxis
•Semántica
Ejemplo del lenguaje formal
•La Numeración de Gödel {an : a es un número primo y n un

número de Gödel}.
•El conjunto de todos los programas sintácticamente válidos en
un determinado lenguaje de programación.
•El conjunto de todas las fórmulas bien formadas en la lógica de
primer orden.
Importancia de la Gramática y Sintaxis para el Lenguaje
Su importancia radica en el hecho de servir como texto de

consulta ante dudas en lo que respecta al uso del lenguaje, para
establecer formas correctas de expresarse o para analizar a éste
lenguaje. Las gramáticas ante todo tienen un carácter descriptivo
o prescriptivo, es decir, se enfocan desentrañar la forma en la
que se usa un idioma determinado, o se enfocan en establecer
como se debería usar el mismo, dando cuenta de los usos más
extendidos en una comunidad hablante. La Sintaxis sirve para
hablar y escribir correctamente. Aquellas personas que son
capaces de dominar los principios básicos de la Sintaxis, son
aquellas que tenderán a expresarse y a redactar con mayor
corrección y propiedad.
Teoría de Autómatas
La teoría de autómatas es una rama de la teoría de la computación

que estudia las máquinas abstractas y los problemas que éstas son
capaces de resolver. La teoría de autómatas está estrechamente
relacionada con la teoría del lenguaje formal ya que los autómatas
son clasificados a menudo por la clase de lenguajes formales que
son capaces de reconocer, también son de gran utilidad en la teoría
de la complejidad computacional.
Autómatas
Un autómata es un modelo matemático para una máquina de

estado finito, en el que dada una entrada de símbolos, «salta»
mediante una serie de estados de acuerdo a una función de
transición (que puede ser expresada como una tabla). Esta
función de transición indica a qué estado cambiar dados el
estado actual y el símbolo leído.
Tipos de Autómatas
Autómata finito determinista (AFD)

Un autómata finito determinista es un autómata finito
que además es un sistema determinista; es decir,
para cada estado en que se encuentre el autómata,
y con cualquier símbolo del alfabeto leído, existe
siempre no más de una transición posible desde ese
estado y con ese símbolo.
Autómata finito no determinista (AFND)
Los estados de un autómata de este tipo pueden, o no, tener una
o más transiciones por cada símbolo del alfabeto. El autómata
acepta una palabra si existe al menos un camino desde el estado
q0 a un estado final F etiquetado con la palabra de entrada. Si
una transición no está definida, de manera que el autómata no
puede saber como continuar leyendo la entrada, la palabra es
rechazada.
Autómata finito no determinista con transiciones ε (AFND-ε)
Además de ser capaz de alcanzar más estados leyendo un
símbolo, permite alcanzarlos sin leer ningún símbolo. Si un
estado tiene transiciones etiquetadas con ϵ , entonces el AFND
puede encontrarse en cualquier de los estados alcanzables por
las transiciones ϵ, directamente o a través de otros estados con
transiciones ϵ . El conjunto de estados que pueden ser
alcanzados mediante este método desde un estado q, se
denomina la clausura ϵ
de q.
Origen de los autómatas
En 1922 se estrenó en Nueva York una extrañísima obra de teatro del dramaturgo checo Karel
Capek, R.U.R, una oscura y opresiva distopía donde una especie de seres humanos eran
ensamblados por piezas en una enorme cadena de montaje, con la misión de desempeñar las
labores más ingratas de la sociedad. Dichos personajes eran bautizados con el nombre de
ROBOTS que en checo viene a significar “trabajo duro” y, desde un punto de vista histórico, es
probablemente la primera aparición de un concepto que daría nombre a una rama de la
ingeniería: la robótica.
Pero si hablamos de autómatas, la cosa viene de más antiguo, de la Grecia clásica; de hecho, la
palabra autómata procede del griego automatos, que significa “espontáneo o con movimiento
propio”. Los primeros autómatas de los que se tiene registro los construyó, en algún momento
entre los años 10 al 70, Herón de Alejandría, quien además escribió lo que podría considerarse el
primer libro de robótica, Los Autómatas, donde describía sus mecanismos -la mayoría diseñados
para el entretenimiento, como aves que gorjeaban o estatuas que servían vino. La moda se
extendió e incluso el gran Leonardo da Vinci diseñó al menos dos autómatas. Uno de ellos se
considera el primero con forma humana y consistía en un caballero vestido con armadura
medieval capaz de saludar en las recepciones reales. Leonardo lo diseñó en 1495, aunque no hay
constancia de que lo construyera algo que sí se ha hecho recientemente siguiendo paso a paso
sus esquemas.
Estados finitos de Máquinas y Autómatas
Un autómata finito o máquina de estado finito es un modelo

computacional que realiza cómputos en forma automática sobre
una entrada para producir una salida. Este modelo está
conformado por un alfabeto, un conjunto de estados finito, una
función de transición, un estado inicial y un conjunto de estados
finales
Relaciones entre el Lenguaje y Autómatas.
La teoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los
autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de
reconocer. También son de gran utilidad en la teoría de la complejidad computacional.
Un autómata es un modelo matemático para una máquina de estado finito (FSM sus siglas en inglés).
Una FSM es una máquina que, dada una entrada de símbolos, "salta" a través de una serie de estados
de acuerdo a una función de transición (que puede ser expresada como una tabla). En la variedad
común "Mealy" de FSMs, esta función de transición dice al autómata a qué estado cambiar dados unos
determinados estado y símbolo.
La entrada es leída símbolo por símbolo, hasta que es "consumida" completamente (piense en ésta
como una cinta con una palabra escrita en ella, que es leída por una cabeza lectora del autómata; la
cabeza se mueve a lo largo de la cinta, leyendo un símbolo a la vez) una vez la entrada se ha agotado,
el autómata se detiene.
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de
cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una máquina
de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de
computador y es particularmente útil en la explicación de las funciones de una
CPU dentro de un computador.
Originalmente fue definida por el matemático inglés Alan Turing como una
«máquina automática» en 1936 en la revista Proceedings of the London
Mathematical Society. La máquina de Turing no está diseñada como una
tecnología de computación práctica, sino como un dispositivo hipotético que
representa una máquina de computación. Las máquinas de Turing ayudan a los
científicos a entender los límites del cálculo mecánico .
Referencias bibliográficas
https://es.wikipedia.org/wiki/Lenguaje_formal
https://www.importancia.org/gramatica.php
https://justificaturespuesta.com/profesor-para-que-sirve-la-
sintaxis/
https://es.wikipedia.org/wiki/Teor%C3%ADa_de_aut
%C3%B3matas
https://codingornot.com/que-es-un-automata
http://www-revista.iaa.es/37/una-breve-muy-breve-
historia-de-los-aut%C3%B3matas
https://es.wikipedia.org/wiki/Aut%C3%B3mata_finito
https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing

Revista Digital

Cargado por

Copyright:

Formatos disponibles

Revista Digital

Cargado por

Información del documento

Descripción 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

Revista Digital

Cargado por

Copyright:

Formatos disponibles

Republica Bolivariana de Venezuela

Ministerio del Poder Popular para la Educación

•Lenguaje Formal. (Especificaciones y Ejemplos)

Lenguaje Formal. (Especificaciones y Ejemplos)

Un lenguaje formal es un lenguaje cuyos símbolos son primitivos

(Si el lenguaje es regular)

•La Numeración de Gödel {an : a es un número primo y n un

Su importancia radica en el hecho de servir como texto de

La teoría de autómatas es una rama de la teoría de la computación

Un autómata es un modelo matemático para una máquina de

Autómata finito determinista (AFD)

Un autómata finito o máquina de estado finito es un modelo

También podría gustarte