AUTOMATAS Y LENGUAJES FORMALES

Tarea 1: Fundamentación

KELLY JOHANNA GARAVITO MOTTA

C.C. 40740587
GRUPO: 301405_36

DOCENTE: RAFAEL PÉREZ HOLGUÍN

2022
 INTRODUCCION

El trabajo que se presenta a continuación contiene 6 referencias de

libros, revistas y artículos, encontrados en la biblioteca de la universidad
donde se encuentra la historia y evolución de la teoría de autómatas y
lenguajes formales, sus orígenes, los precursores y los distintos campos de
aplicación.

Además, la conceptualización y 12 ejemplos de términos propios del

área de conocimiento
 OBJETIVOS

✓ Diseñar distintos tipos de autómatas a partir de la interpretación de

alfabetos, cadenas, lenguajes y expresiones regulares.

✓ Consultar los contenidos temáticos del curso y el contenido dispuesto

en el material bibliográfico.
 BÚSQUEDA DE INFORMACIÓN
Base de datos Síntesis
The book traces a path from Babbage's Difference Engine in
the early 19th century to the end of the 1960s by when a new
academic discipline named computer science had come into
being. Along the way we meet characters like Babbage and
EBSCO HOST Ada Lovelace, Turing and von Neumann, Shannon and
Chomsky, and a host of other people from a variety of
backgrounds who collectively created this new science of the
artificial.
In this book, Tony Hey and Gyuri Pápay lead us on a journey
from the early days of computers in the 1930s to the cutting-
EBSCO HOST edge research of the present day that will shape computing in
the coming decades.
Presents a formal development approach for designing
interactive applications using a correct-by-construction
approach. In this work, we propose a refinement strategy using
model-view-controller (MVC) to structure and design Event-B
formal models of the interactive application.
Oxford Academic
Bibliografía
Subrata Dasgupta. (2014). It Began with
Babbage : The Genesis of Computer
Science. Oxford University Press.
Hey, A. J. G., & Pápay, G. (2014). The
Computing Universe : A Journey
Through a Revolution. Cambridge
University Press.
Neeraj Kumar Singh, Yamine Aït-Ameur,
Romain Geniet, Dominique Méry, Philippe
Palanque, On the Benefits of Using MVC
Pattern for Structuring Event-B Models of
WIMP Interactive Applications, Interacting
with Computers, Volume 33, Issue 1,
January
2021, Pages 92–114, https://doi-
org.bibliotecavirtual.unad.edu.co/10.1093/
iw comp/iwab016
 BÚSQUEDA DE INFORMACIÓN
Base de datos Síntesis
Se define una transformación de un GWA determinista
arbitrario en un GWA reversible. Esto se hace con un
aumento lineal en el número de estados, donde el
factor constante depende del grado de recorrido de
ScienceDirect las gráficas
Este artículo es una nota sobre cómo la Teoría de la
Información y la Teoría de la Codificación son útiles en
el diseño computacional tanto de protocolos de
Dialnet comunicación como de conjuntos de estrategias en el
marco de juegos repetidos finitamente jugados por
agentes racionales limitados.
Se presentan dos algoritmos llamados DeLeTe2 y MRIA,
que implementan la inferencia gramatical por medio
de autómatas no deterministas, en contraste con los
algoritmos más comúnmente empleados, los cuales
utilizan autómatas deterministas
Redalyc
Bibliografía
Kunc M., Okhotin A. (2013) Reversibility of Computations in
Graph-Walking Automata. In: Chatterjee K., Sgall J. (eds)
Mathematical Foundations of Computer Science 2013.
MFCS 2013. Lecture Notes in Computer Science, vol 8087.
Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-
642- 40313-2_53
Salvador, A. U., & Rojas, P. H. (2000). Codification schemes
and finite automata (No. 2006-28). Instituto Valenciano de
Investigaciones Económicas, SA (Ivie).
Alvarez, Gloria I., & Ruiz, José, & García, Pedro (2009).
Comparación de dos algoritmos recientes para inferencia
gramatical de lenguajes regulares mediante autómatas no
deterministas. Ingeniería y Competitividad, 11(1),21-
36.[fecha de Consulta 3 de Septiembre de 2021]. ISSN:
0123-3033. Disponible en:
https://www.redalyc.org/articulo.oa?id=2913235350 03
 CONCEPTOS CLAVES

1. Alfabeto: Conjunto finito de símbolos, indicado mediante el simbolo 𝛴. El abecedario

𝛴={a,b,c,d,e,f,…….z}
2. Palabra o Cadena: Secuencia de símbolos finitos formada por concatenación de
símbolos del alfabeto. Del alfabeto de donde sale el abecedario podemos formar cadenas:
Juan, pedro,Luis, maría.
3. Lenguaje: Un conjunto de símbolos que se formar con el alfabeto y que pueden tender a
infinito. El lenguaje español es un ejemplo de ello, las palabras que se pueden formar
vienen del alfabeto de donde sale el abecedario.
4. Lenguaje regular: Los lenguajes regulares se llaman así porque sus palabras
contienen repeticiones de los mismos componentes, como por ejemplo en el lenguaje
L1 siguiente: L1 = {ab, abab, ababab, abababab, . . .}
 CONCEPTOS CLAVES

5. Expresión regular: Las expresiones regulares representan patrones de cadenas

de caracteres. Un patrón es una regla que describe el conjunto de lexemas que
pueden representar a un determinado componente léxico en los programas fuente.
6. Expresión de conjuntos:
• Por Extensión: Expresa los conjuntos de forma completa, detallando cada uno de los
elementos.
• Por intensión: Expresa los conjuntos de forma corta, expresando mediante
abreviaciones el conjunto
7. Palabra nula o vacía ʎ: El conjunto vacío corresponde a la ausencia de cadenas, es
decir cuyo lenguaje sea el conjunto vacío, el cual se escribe como { }.
 CONCEPTOS CLAVES

8. Operación regulares – Unión: Esta operación esta formado por todos los elementos
que pertenecen a ambos conjuntos
9. Operación regulares – Concatenación: La concatenación es el conjunto de cadenas
formado al concatenar todas las cadenas de cada una de ellas. La concatenación de dos
expresiones regulares r y s se escribe como rs, y corresponde a cualquier cadena que sea la
concatenación de dos cadenas con la primera de ellas correspondiendo a r y la segunda a s.
Por ejemplo si tenemos S1={aa,b} y S2={a,bb} entonces S1S2={aaa,aabb,ba,bbb}
10. Operación regulares - Estrella de Kleene: corresponde a cualquier concatenación finita
de cadenas. Por ejemplo,
a* corresponde a las cadenas ξ, a, aa, aaa, aaaaa,……
 CONCEPTOS CLAVES

11.Operador: Los operadores son símbolos que representan una acción a realizar con
los números o elementos que se encuentran antes o después.
12.Precedencia de los operadores: Al tener varias operaciones en una expresión, la
precedencia de los operadores determina el orden en el que se realiza las
operaciones.
 CONCLUSIONES

✓ Se logró diseñar distintos tipos de autómatas a partir de la

interpretación de alfabetos, cadenas, lenguajes y expresiones
regulares.

✓ Se realizó la consulta de los contenidos temáticos del curso y el

contenido dispuesto en el material bibliográfico.
 REFERENCIAS BIBLIOGRÁFICAS
Backus , J. W. , Beeber , R. W. , Best , S. , Goldberg , R. , Halbit , L. M. , Herrick , H.
C. , Nelson , R. A. , Sayre , D. , Sheridan , P. B. , Stern , H. , Ziller , I. , Hughes , R. A. ,
& Nutt , R. ( 1957 ). The FORTRAN automatic coding system. In Proceedings of the
Western Joint Computer Conference (pp. 188–197 ). Los Angeles, CA .
Hoare , C. A. R. ( 1969 ). An axiomatic basis for computer programming.
Communications of the ACM , 12 , 576– 580 , 583 .
Aho , A. V. , Hopcroft , J. E., & Ullman , J. D. ( 1974 ). Th e design and analysis of
computer algorithms . Reading, MA
: Addison-Wesley .
Richards , R. K. ( 1955 ). Arithmetic operations in digital computers . Princeton, NJ :
Princeton University Press .