En las décadas de los años cuarenta y cincuenta, una serie de investigadores estudiaron las máquinas más simples, las cuales todavía hoy denominamos “autómatas finitos”. Originalmente, estos autómatas se propusieron para modelar el funcionamiento del cerebro y, posteriormente, resultaron extremadamente útiles para muchos otros propósitos

1. Alfabetos, Teoría de Lenguajes y Autómatas.
INFORMÁTICA TEORÍCA II
Elaborado: Ailin Rodríguez
Universidad de Panamá Lic. Ingeniería en Informática
Profesora: Lusdielka Hernandez

2.  La teoría de autómatas es el estudio de dispositivos de cálculo abstractos, es decir, de las “máquinas”. Antes
de que existieran las computadoras, en la década de los años treinta, A. Turing estudió una máquina
abstracta que tenía todas las capacidades de las computadoras de hoy día, al menos en lo que respecta a lo
que podían calcular. El objetivo de Turing era describir de forma precisa los límites entre lo que una
máquina de cálculo podía y no podía hacer.
 En las décadas de los años cuarenta y cincuenta, una serie de investigadores estudiaron las máquinas más
simples, las cuales todavía hoy denominamos “autómatas finitos”. Originalmente, estos autómatas se
propusieron para modelar el funcionamiento del cerebro y, posteriormente, resultaron extremadamente
útiles para muchos otros propósitos.
 Estos es lo que veremos en la siguiente presentación
INTRODUCCIÓN

3. Índice del contenido
1. Definición alfabetos, cadena, lenguaje, tipos de lenguaje,
herramientas computadoras ligadas con lenguajes, autómatas
y análisis AFD, AFN y REGEX.
1.1 Alfabeto
1.2 Cadenas
1.2.1 Longitud de Cadenas
1.2.2 Cadena Vacía
1.2.3 Concatenación de Cadenas
1.2.4 Universo del discurso
1.3 Lenguajes
1.3.1 Tipos de Lenguajes
1.3.1.1 Lenguaje Artificial
1.3.1.2 Lenguaje Regular
1.4 Herramientas computadoras ligadas con lenguaje
1.4.1 Traductor
1.4.2 Compilador
1.4.3 Ensambladores
1.4.4 Interpretes
1.5 Autómatas
1.6 Análisis AFD, AFN y
REGEX.

4. 1. DEFINICION ALFABETOS,
CADENA, LENGUAJE, TIPOS DE
LENGUAJE, HERRAMIENTAS
COMPUTADORAS LIGADAS CON
LENGUAJES, AUTÓMATAS y
ANÁLISIS AFD, AFN Y REGEX.

5. Un alfabeto es un conjunto finito no
vacío cuyos elementos se llaman
símbolos.
Denotamos un alfabeto arbitrario con la
letra Σ.
1.1 Alfabeto

6. Una cadena o palabra sobre un
alfabeto Σ. admitimos la existencia
de una única cadena que no tiene
símbolos, la cual se denomina cadena
vacía y se denota con λ. la cadena
vacía desempeña, en la teoría de
lenguajes formales, un papel similar
al que desempeña el conjunto vacío
Ø en la teoría de conjuntos.
1.2 Cadenas

7. La concatenación de dos
cadenas u y v, escrita uv, es
"pegar" las dos cadenas para
formar una nueva.
Ejemplo: Sea u = ab v = ca
w = bb. Entonces uv =
abca
uw = cabb (uv) w =
abcabb u(vw) = abcabb
1.2.3 Concatenación
de Cadenas
Una cadena vacía es la
única cadena de caracteres
de tamaño cero.
Y la podemos
denotar usualmente con
letras λ o Є (Griegas).
1.2.2 Cadena Vacía
La longitud de cadena es
el número de símbolos
que contiene.
Utilizamos las cadenas de
los ejemplos:
I abcb I = 4,
I a + 2*b I = 5
I 000111 I = 6
I if a > b then a = b; I = 9
1.2.1 Longitud de
Cadenas
Cadenas

8. Es un conjunto de todas las cadenas donde
podemos formar con símbolos del alfabeto V
le denominamos universo del discurso de V y la
representamos de la siguiente manera W (V).
Es evidente que W(V) es un conjunto
infinito y que la cadena vacía pertenece a
W(V).
1.2.4 Universo del discurso
Ejemplo:
Un alfabeto con una sola letra V = { a
}, podemos decir que el universo del
discurso es: W(V) = { λ, a, aa, aaa,
aaaa,....} y asi contiene una cadenas
infinitas.

9. Es un conjunto de cadenas, de
todas las seleccionadas de un Σ*.
donde Σ determinado el alfabeto se
denomina lenguaje. Si Σ es un
alfabeto y L Σ*, entonces L es un
lenguaje de Σ.
1.3 Lenguajes.
Un ejemplo seria el inglés, donde la
colección de las palabras correctas
inglesas esun conjunto de cadenas del
alfabeto que consta de todas las letras.
Otro ejemplo es el lenguaje C.

10. 1.3.1 Tipos de lenguajes.

11. Lenguaje regular.Lenguaje artificial.
Lenguaje natural
(castellano)
1.3.1.1 1.3.1.2 1.3.1.3

12. 1.4 Herramientas
computadoras ligadas con
lenguajes

13. Ensambladores.Compilador.Traductor.
1.4.1 1.4.1.1 1.4.1.2

14. Los interpretes son los que realizan
normalmente dos operaciones:
• Traducen el código fuente a un
formato interno.
• Ejecuta o interpretan el programa
traducido al formato interno.
1.4.2 Interpretes.

15. Para comprender la teoría de autómatas, es imprescindible
partir del concepto base: los símbolos. Estos símbolos
corresponden a cualesquiera tipos de caracteres utilizados en
la escritura. A partir de esto, entra la definición de alfabeto
como “un conjunto finito no vacío de símbolos”, tal alfabeto
se puede definir ya sea por extensión (enlistando cada uno
de sus elementos) o por comprensión (dada por una función
o expresión que describe el rango a abarcar de los símbolos).
1.5 Autómatas

16. A continuación, se hace una diferenciación entre
Autómatas Finitos Deterministas (AFD) y
Autómatas Finitos No Deterministas (AFN). Un
AFD es tipo de autómata más simple, el cual
tiene como características principales que ninguna
de sus transiciones es vacía y que por cada símbolo
desde un estado origen se llega a un único
estado destino.
1.6 Análisis AFD, AFN y
REGEX.
Autómata finito determinista (AFD)
Autómata finito no determinista (AFND)
con transiciones vacías

17. 30 de mayo de 2020 17

18. Sin duda alguna hemos aprendido conceptos nuevos sobre la teoría de
automátas, lenguajes y alfabeto.
CONCLUSIÓN

19.  https://www.google.com/search?q=Universo+del+discurso+EN+TEORIA+DE+AUTOMATAS&t
bm=isch&ved=2ahUKEwiF4uyvNnpAhUH0FMKHdXgDpUQ2cCegQIABAA&oq=Universo+del
+discurso+EN+TEORIA+DE+AUTOMATAS&gs_lcp=CgNpbWcQA1CQmg9Y_csPYILOD2gA
cAB4AIABAIgBAJIBAJgBGKABAaoBC2d3cy13aXotaW1n&sclient=img&ei=lTXRXsXDCYegzwV
wbuoCQ&bih=765&biw=1422&rlz=1C1CHBF_esPA863PA863
BIBLIOGRAFÍA