Autómatas y Lenguajes Formales

Tarea 1 - Fundamentación

Integrante
Neivis Alejandro García Montiel
CC 1004371518

Código Curso
301405
Grupo colaborativo
11

Tutor
Luis Enrique Camargo Camargo

Universidad Nacional Abierta y A Distancia (UNAD)

Escuela De Ciencias Básicas Tecnología E Ingeniera
Ingeniería De Sistemas
Santa Marta Magdalena
22/04/2021
Ejercicio 1: Realizar una línea del tiempo que permita observar la historia y evolución de
la teoría de autómatas y lenguajes formales, se debe tener en cuenta los orígenes, los
precursores y los distintos campos en los que repercute esta área del conocimiento
(Ingeniería, lenguajes y gramáticas, matemáticas y computabilidad) y aplicación directa de
las ciencias computacionales. La puede realizar en alguna herramienta en línea.

Desarrollo del ejercicio

D. Hilvert
David Hilbert.
La partida de estos trabajos fueron las
cuestiones fundamentales que D.
Hilbert formulo:
1-¿son completas las matemáticas, en
el sentido de que pueda probarse o no
cada aseveración matemática?
2-¿Son las matemáticas consistentes,
en el sentido de que no pueda probarse
simultáneamente una aseveración y su
negación?
3-¿Son las matemáticas decidibles, en
el sentido de que exista método
definido que se pueda aplicar a
cualquier aseveración matemática, y
que determine si dicha aseveración es
cierta?
1928
Su meta era crear un sistema
matemático formal "completo" y
"consistente". Su idea era encontrar
un algoritmo que determinara la
verdad o falsedad de cualquier
proposición en el sistema formal a
este problema lo llamo
"Entscheidungsproblem“
por desgracia para Hilbert en la
década de 1930 se produjeron una
serie de investigaciones que
demostraron que su teoría no era
posible.
1930
Kurt Gödel.
En 1931 K. Gödel y su teorema de
la incompletitud "todo sistema de
primer orden consistente que
contenga los teoremas de la
aritmética y cuyo conjunto de
axiomas sea recursivo no es
completo“ como consecuencia no
será posible encontrar el sistema
formal deseado por Hilbert.
1931
 D. Hilvert
Alan Turing.
Turing señalo que había tenido éxito en
caracterizar de un modo matemático
preciso, por medio de sus maquinas, la
clase de las funciones calculables
mediante un algoritmo, lo que se conoce
hoy como TESIS DE TURING.
1936
Church, Kleene, Turing y
Post.
El siguiente paso importante lo
constituye la aparición casi simultanea
en 1936 de varias caracterizaciones
independientes de la noción de la
calculabilidad efectiva, en los trabajos
de Church, Kleene, Turing y Post. los
tres primeros mostraban problemas que
eran efectivamente indecidibles; Church
y Turing probaron además que el
Entscheidungsproblem era un problema
indecidible.
1936
E. Post.
Este estaba interesado en marcar la
frontera entre lo que se puede
hacer en matemáticas simplemente
por procedimientos formales y lo
que depende de la comprensión y
el entendimiento. de esta forma,
Post formula un modelo de
procedimiento efectivo a través de
los llamado sistema deductivos
normales.
1936
 D. Hilvert
Church.
Church propuso la noción de función
definible como función efectivamente
calculable. la demostración de teoremas
se convierte en una transformacional de
una cadena de símbolos en otra. en
calculo lambda, según un conjunto de
reglas formales, este sistema resulto ser
inconsistente, pero la capacidad para
expresar-calcular funciones numéricas
como términos del sistema llamo pronto
la atención de el y sus colaboradores..
1936
Kleene.
Kleene demuestra formalmente la
equivalencia entre funciones definible y
funciones re cursivas de Hembrand-
Godel y da ejemplo de problemas
irresolubles utilizando la noción de
función recursiva.
1936
McCullon y Pitts.
Describen los cálculos lógicos
inmersos en un dispositivo que
habían diseñado para simular la
actividad de una neurona
biológica. el dispositivo recibía o
no, una serie de impulsos eléctricos
por sus entradas que se ponderaban
y producían una salida binaria. las
salidas y entradas se podían
considerar como cadenas de 0 y 1.
1943
J.D.Von
Hilvert
Neumann.
Introduce el termino de teoría de
autómatas y dice sobre los trabajos de
McCulloch-Pitts " el resultado mas
importante de McCulloch-Pitts es que
cualquier funcionamiento en este
sentido, que pueda ser definido en todo,
lógicamente, estrictamente y sin
ambigüedad, en un numero finito de
palabras, puede ser realizado también
por una tal red neuronal formal "
1948
C. Shannon.
Define los fundamentos de la teoría de
la información, y utiliza esquemas para
poder definir sistemas discretos,
parecidos a los autómatas finitos,
relacionándolos con cadenas de
Markow, para realizar aproximaciones a
los lenguajes naturales.
1948
Kleene.
Realiza un informe sobre los
trabajos de McCulloch-Pitts que se
publica en 1956. En este informe
Kleene demuestra la equivalencia
entre lo que el llama "dos formas
de definir una misma cosa", que
son los sucesos regulares ,es decir
expresiones regulares, y sucesos
especificados por un autómata
finito.
1951
D. Hilvert
C. Shannon.
Propone tres modelos para la descripción de
lenguajes, que son la base de la futura jerarquía de
los tipos de lenguajes, que ayudo también en el
desarrollo de los lenguajes de programación.
1956
Rabin y Scott.
Obtienen un modelo de computador con una
cantidad finita de memoria, al que llamaron
autómata de estados finitos. demostraron que su
comportamiento posible era básicamente el mismo
que el descrito mediante expresiones regulares,
desarrolladas a partir del trabajo de McCulloch y
Pitts.
1960
Ejercicio 2: Realizar la presentación con la conceptualización y ejemplos de:
1. Alfabeto
2. Palabra o Cadena
3. Lenguaje
4. Lenguaje regular
5. Expresión regular
6. Expresión de conjuntos:
• Por Extensión
• Por intensión
7. Palabra nula o vacía ʎ
8. Operación regulares - Unión
9. Operación regulares - Concatenación
10. Operación regulares - Estrella de Kleene
11. Operador
12. Precedencia de los operadores
1. Alfabeto

R/= Un Alfabeto es un conjunto finito A. Sus elementos se llamaran símbolos o letras Para
denotar el alfabeto se usara el símbolo Σ o en algunos casos se especificaran con las primeras
letras mayúsculas del abecedario, dependiendo como se formule el problema. Los símbolos
de un alfabeto pueden ser números, letras, entre otros y suelen estar escritos en minúsculas.

2. Palabra o Cadena

Una cadena de caracteres (que también se denomina en ocasiones palabra) es una secuencia
finita de símbolos seleccionados de algún alfabeto.
Una cadena o palabra es una secuencia finita de símbolos que pertenecen a un alfabeto y
comúnmente se denota con la letra.

EJEMPLO: si ∑= {0,1}, entonces ∑1= {0,1}, ∑2= {00, 01, 10, 11}, ∑3= {000, 001, 010,
011, 100, 101, 110, 111}, etc.
EJEMPLO: si ∑= {0,1}, entonces ∑1= {0,1}, ∑2= {00, 01, 10, 11}, ∑3= {000, 001, 010,
011, 100, 101, 110, 111}, etc.

❑ La Cadena Vacía.

La cadena vacía es aquella cadena que presenta cero apariciones de símbolos. Esta cadena,
designada por £, es una cadena que puede construirse en cualquier alfabeto

EJEMPLO: observe que ∑0= {£}, independientemente de cuál sea el alfabeto ∑. Es decir, £
es la única cadena cuya longitud es 0.
3. Lenguaje.

Un conjunto de cadenas, todas ellas seleccionadas de un ∑*, donde ∑ es un determinado

alfabeto se denomina lenguaje. Ya que estas pueden ser cualquier cadena que cumpla con lo
siguiente, está formada por los símbolos. Los lenguajes habituales pueden interpretarse como
conjuntos de cadenas.

Ejemplo: Seria el inglés, donde la colección de las palabras correctas inglesas es un conjunto
de cadenas del alfabeto que consta de todas las letras.

Ejemplo: Es el lenguaje C, o cualquier otro lenguaje de programación, donde los programas

correctos son un subconjunto de las posibles cadenas que pueden formarse a partir del alfabeto
del lenguaje.
4. Lenguaje regular.

Al lenguaje generado por medio de una gramática regular. Son aquellos lenguajes cuyas
cadenas está formadas por la concatenación de símbolos, en las cuales no hay relación entre
una parte de la cadena y otra parte de la cadena.

Vemos que una gramática regular o de tipo 3 es aquella gramática donde las reglas de
producción siguen la siguiente estructura: A→ uB o A→ u donde u∈ T* y A,B∈ V

5. Expresión Regular.
Estas son un formalismo para representar lenguajes. Dado un alfabeto, las expresiones
regulares describen conjuntos de cadenas del alfabeto. Por lo tanto, describen lenguajes sobre
el alfabeto.
Los lenguajes descritos por expresiones regulares son los lenguajes reconocidos por los
autómatas finitos. Existe un algoritmo para convertir una expresión regular en el autómata
finito no determinístico correspondiente.
El algoritmo construye a partir de la expresión regular un autómata con transiciones vacías,
es decir un autómata que contiene arcos rotulados con ε. Luego este autómata con
transiciones vacías se puede convertir en un autómata finito sin transiciones
vacías que reconoce el mismo lenguaje.

Sea L1={10,1} y L2={011,11}. Entonces

L1L2={10011, 1011, 111}
{10, 11}*= { ɛ, 10, 11, 1010, 1011, 1110, 1111, …}

Las expresiones regulares denotan lenguajes. Por ejemplo, la expresión regular 01∗ +10∗
define el lenguaje que consta de todas las cadenas que comienzan con un 0 seguido de
cualquier número de 1s o que comienzan por un 1 seguido de cualquier número de 0s.
6. Expresión de conjuntos:

❑ Por Extensión : Un conjunto está definido por extensión, si se enumeran sus elementos. Por
ejemplo: A = {x / x es un
número obtenido al lanzar un dado corriente} es un conjunto definido por comprensión ya que
sus elementos “x” se
describen a través de una propiedad “es un número obtenido al lanzar un dado corriente”. Esa
expresión se lee: “A es el
conjunto formado por todos aquellos números que se obtengan al lanzar un dado”. Date cuenta
que la frase escrita entre las
llaves ({...}) está en singular y, sin embargo, se lee en plural. Ese conjunto, expresado por
extensión, es A = {1,2,3,4,5,6}.

❑ Por intensión : dando una descripción precisa de los elementos que forman parte del
conjunto, en vez de citarlos
explícitamente. Por ejemplo, el conjunto del punto anterior puede ser visto como: {i Є N |
impar(i), i < 6} donde se supone
que los números impares cumplen la condición impar(i).
7. Palabra nula o vacía ʎ.
R/= Es la palabra de longitud cero. Algunos autores utilizan ε para denotarla.

8. Operación regulares – Unión.

R/= La unión es el lenguaje que se obtiene al combinar todos los string de A y B en un solo
lenguaje
Sean A y B lenguajes. La operación regular Unión se define como:
A ∪ B = {x|x Є A ∨ x Є B}
Ejemplo: A= { 1, 2, 3} y B = { 3, 4}
A ∪ B = {1, 2, 3, 4}

9. Operación regulares – Concatenación.

R/= La concatenación yuxtapone un string de B después de un string de A en todas las formas
posibles para obtener los string del nuevo Lenguaje
Sean A y B lenguajes. La operación regular concatenación se define como:
A ° B = {xy|x Є A ∧ y Є B}
10. Operación regulares - Estrella de Kleene.

R/= La estrella yuxtapone cualquier número de strings de A, uno después de otro, para obtener
los string del nuevo lenguaje
Sean A y B lenguajes. La operación regular estrella se define como:
A* = {x1 x2 x3………. Xk |k ≥ 0, Є A}
11. Operador.

R/= Un operador es algo que toma mas de uno dos variable, el cual da como resultado otro
valor correspondiente

1) Si E y F son expresiones regulares, entonces E + F también lo es denotando la unión de

L(E) y L(F). L(E + F) = L(E) ∪ L(F).

2) Si E y F son expresiones regulares, entonces EF tambien lo es denotando la concatenación

de L(E) y L(F). L(EF) = L(E)L(F).

3) Si E es una expresión regular, entonces ´ E ∗ tambien lo es y denota la cerradura de L(E).

Osea L(E ∗ ) = (L(E))∗

4) Si E es una expresión regular, entonces (E) tambien lo es. Formalmente: L((E)) = L(E).
12. Precedencia de los operadores.

Como con otras álgebras, los operadores de las expresiones regulares tienen un orden de
“precedencia” prefijado, lo que significa que se asocian con sus operando en un determinado
orden. El orden de precedencia de los operadores es el siguiente:

1) El operador asterisco (*) es el de precedencia más alta. Es decir, se aplica sólo a la secuencia
más corta de símbolos a su izquierda que constituye una expresión regular bien formada.

2) El siguiente en precedencia es el operador de concatenación, o “punto”. Después de aplicar

todos los operadores * a sus operando, aplicamos los operadores de concatenación a sus
operando. Es decir, todas las expresiones yuxtapuestas (adyacentes sin ningún operador entre
ellas). Dado que la concatenación es una operación asociativa, no importa en qué orden se
realicen las sucesivas concatenaciones, aunque si hay que elegir, las aplicaremos por la
izquierda.
3) Por último, se aplican todos los operadores de unión (+) a sus operando. Dado que la
unión también es asociativa, de nuevo no importa en que orden se lleven a cabo, pero
supondremos que se calculan empezando por la izquierda.

En ocasiones no se desea que una expresión regular sea agrupada según la precedencia de
los operadores. En dicho caso, se puede emplear paréntesis ( ) para agrupar los operando de
la forma que se desee. Además, nunca está de más encerrar entre paréntesis los operando
que se quieran agrupar, incluso aunque la agrupación deseada sea la prevista por las reglas
de precedencia.
 Conclusiones

Es indispensable comprender cada uno de los conceptos técnicos que subyacen de estas
temáticas principales y así solventar y brindar soporte a los requerimientos.

Según los ejercicios realizados en la guía: Tarea 1: Fundamentación, se concluye que se

pueden desarrollar siguiendo los requerimientos de la guía, recibiendo constantemente

retroalimentación por parte del tutor y de los compañeros del curso, con mucho empeño se

pueden solucionar problemas complejos después de haber hecho el análisis del problema

planteado.
 Referencias Bibliográficas

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría de lenguajes,
gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es
&site=ehost-live&ebv=EB&ppid=pp_Cover

Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales. Universidad de

Extremadura. Servicio de Publicaciones. (pp. 39 - 70). Recuperado
de https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?dire
ct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site
OVI Unidad 1 - Autómatas Finitos
González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].
Recuperado de http://hdl.handle.net/10596/10470

OVA Unidad 1 - Lenguajes Regulares

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315
González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web]. Recuperado
de https://campus129.unad.edu.co/ecbti90/mod/hvp/view.php?id=4322