Está en la página 1de 20

TAREA 1 FUNDAMENTACIÓN AUTÓMATAS Y

LENGUAJES FORMALES

TUTORA: JAIME VALDEZ B.

PRESENTADO POR: HERNAN FELIPE LOZANO

UNIVERSIDAD NACIONAL ABIERTA Y A


DISTANCIA INGENIERIA DE SISTEMAS CALI-
COLOMBIA 2021
CUADRO SINÓPTICO Historia y evolución de la
teoría de autómatas y lenguajes formales.
z
Ejercicio 1
z
Ejercicio 1
CONCEPTUALIZACIÓN
z
Ejercicio 2
z
Alfabeto

▪ Un alfabeto es un conjunto
finito no vacío cuyos
elementos se llaman
símbolos.
z
Palabra o Cadena

▪ Una cadena o palabra sobre un alfabeto Σ es cualquier


secuencia finita de los mismos elementos. Admitimos la
existencia de una única cadena que no tiene símbolos, la cual
se denomina cadena vacía y se denota con ?.
z
Lenguaje
Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ *, es
decir L Σ *.

Casos extremos:

• L= Ø, L = Σ*, lenguaje vacío.

• lenguaje de todas las cadenas sobre Σ

Todo lenguaje L satisface L , y puede ser finito o infinito. Los


lenguajes se denotan con letras mayúsculas A, B, e, ,L, M, N, .. ..
En la siguiente gráfica se visualizan dos lenguajes A y B sobre Σ.
z
Lenguaje regular

▪ Los lenguajes mas simples


son considerados lenguajes
regulares, ósea que se
pueden generar a partir de
lenguajes básicos, con las
operaciones de unión,
concatenación y Kleene.
z
Lenguaje regular

Puede ser reconocido por: Es generado por:

▪ un autómata finito determinista ▪ una gramática regular

▪ un autómata finito no ▪ una gramática de prefijos


determinista

▪ un autómata de pila
Es descrito por:
▪ un autómata finito alterno
▪ una expresión regular
▪ una máquina de Turing de solo
lectura
z
Expresión regular

▪ En cómputo teórico y teoría de


lenguajes formales una expresión
regular, o expresión racional,12
también son conocidas como regex
o regexp,3 por su contracción de las
palabras inglesas regular expresión,
es una secuencia de caracteres que
conforma un patrón de búsqueda. Se
utilizan principalmente para la
búsqueda de patrones de cadenas
de caracteres u operaciones de
sustituciones.
z
Expresión de conjuntos

Por extensión Por intensión


▪ Un conjunto está definido por ▪ consiste en declarar todos lo
extensión, si se enumeran elementos que lo forman.
sus elementos declarar cuáles elementos de
un cierto conjunto son
▪ A = {x / x es un número
seleccionados
obtenido al lanzar un dado
corriente} ▪ {x ∈ D|P(x)}
z
Palabra nula o vacía ʎ:

▪ En ciencias de la
computación y teoría de
lenguajes formales, una
cadena vacía o string vacío
(en inglés) es la única
cadena de caracteres de
tamaño cero. Se denota
usualmente con las letras
griegas λ o ϵ.
z
Operaciones Regulares
z
Union

Union: Si ´ L y M son dos lenguajes, su union se denota ´ por L ∪ M


(e.g., L = {11, 00}, M = {0, 1},
z
Concatenación

▪ Concatenación: La concatenación es: ´ LM o L.M (e.g.,

LM = {110, 111, 000, 001} )


z
Cerradura Kleene

▪ Cerradura (o cerradura de Kleene): Si L es un lenguaje su cerradura se


denota por: L

(L

0 = { }, L

1 = L, L

2 = LL. Si

L = {0, 11}, L

2 = {00, 011, 110, 1111})


z
Operador

▪ Los operadores son símbolos


que indican cómo se deben
manipular los operandos. Los
operadores junto con los
operandos forman una
expresión, que es una
fórmula que define el cálculo
de un valor
z
Precedencia de los operadores

La precedencia indica cual es el orden


de ejecución de los operadores cuando
existen varios.

Para ello

▪ Presencia de paréntesis que obligan


a un orden de evaluación específico.

▪ Naturaleza de los operadores


involucrados en la expresión
(asociatividad).

▪ Orden en que están colocados


(precedencia).
z
Bibliografía
• Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes formales.
(pp. 7-797). Recuperado
de:http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg
=6

• Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1 -124).


Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=10

• Mitkov, Ruslan (2003). The Oxford Handbook of Computational Linguistics (en inglés).
Oxford University Press. ISBN 978-0-19-927634-9.

• ↑ Lawson, Mark V. (17 de septiembre de 2003). Finite Automata (en inglés). CRC Press.
ISBN 978-1-58488-255-8.
z
Bibliografía

• Armas Gómez, S. M. (2011). formas de definir un conjunto. http://recursostic.educacion.es/.


http://recursostic.educacion.es/descartes/web/materiales_didacticos/conjuntos_y_operacion
es_agsm/conjuntos_12.html#:%7E:text=formas%20de%20definir%20un%20conjunto&text=
Decimos%20que%20un%20conjunto%20est%C3%A1,si%20se%20enumeran%20sus%20e
lementos.&text=Ese%20conjunto%2C%20expresado%20por%20extensi%C3%B3n,4%2C5
%2C6%7D.

• De Castro Korgi, R. (2004). Teoria de la computacion : lenguajes, automatas, gramaticas


(Primera edicición ed., Vol. 1). UNIBIBLOS.
http://ciencias.bogota.unal.edu.co/fileadmin/Facultad_de_Ciencias/Publicaciones/Archivos_
Libros/Libros_Matematicas/_Teoria_de_la_Computacion___lenguajes__automatas__gramat
icas._/teoriacomputacion.pdf

También podría gustarte