Automatas Lenguajes Formales1
Automatas Lenguajes Formales1
Automatas Lenguajes Formales1
Tarea 1 - Fundamentación
Presentación: https://prezi.com/view/pwSx5ag82g7oewVvEfNS/
Base de
datos Bibliografía-Articulo científico-APA 6.0 Síntesis
Desarrollo de autómatas análisis de
https://www.sciencedirect.com/science/art operadores, autómatas difusos
Science icle/abs/pii/S0165011421003080 generales valorados
direct Complejidad computacional de los
https://www.sciencedirect.com/science/art conjuntos autómatas y sus conceptos
icle/abs/pii/S0890540121001139 utilizados
https://www.ebsco.com/es/productos/base
s-de-
datos?search=automatas%20&f%5B0%5
D=archive_full_text%3Aarchive&f%5B1
EBSCO %5D=0662/2367/1/978-84-691-6345- Investigación de lenguajes formales y
0.pdf su evolución
https://www.ebsco.com/es/find-my-
organization Sin acceso a la institución
https://www.scopus.com/results/results.uri
?sort=plfo-
f&src=s&imp=t&sid=b63bf4e5ccd6fa0b3
6341acd7c2ac283&sot=mulcite&sdt=mul
cite&cluster=scopubyr%2c%222021%22
%2ct%2c%222020%22%2ct%2c%22201
9%22%2ct%2c%222018%22%2ct%2bsco
subtype%2c%22ar%22%2ct%2c%22re%2
2%2ct%2c%22cp%22%2ct%2c%22dp%2
2%2ct%2c%22ch%22%2ct%2bscopubsta
SCOPUS ge%2c%22aip%22%2cf&sl=250&s=REF
EID+%28+2-s2.0-85106973685+OR+2-
s2.0-85104016854+OR+2-s2.0-
85096221128+OR+2-s2.0-
85083217834+OR+2-s2.0-
85082548778+OR+2-s2.0-
85074686318+OR+2-s2.0-
85066947466+OR+2-s2.0-
85064405317+OR+2-s2.0-
85061332643+OR+2-s2.0- Social Sciences: Linguistics and
85054096410+OR+2-s2.0- Language
https://www.scopus.com/results/results.uri
?sort=plfo-
f&src=s&imp=t&sid=319021b568463442
b0736178e158bb7c&sot=mulcite&sdt=m
ulcite&cluster=scopubyr%2c%222021%2
2%2ct%2c%222020%22%2ct%2c%2220
19%22%2ct%2c%222018%22%2ct%2bsc
osubtype%2c%22ar%22%2ct%2c%22re%
22%2ct%2c%22cp%22%2ct%2c%22dp%
22%2ct%2c%22ch%22%2ct%2bscopubst
age%2c%22aip%22%2cf&sessionSearchI
d=319021b568463442b0736178e158bb7c
&origin=sourceinfo&mciteCt=184&zone
=CSCYpreview&txGid=7b28b3981f12b6 Social Sciences: Communication-
595d82e26186858063 lenguajes automatas y su evolucion
https://sena-
primo.hosted.exlibrisgroup.com/primo-
explore/fulldisplay?docid=TN_cdi_hal_pr
imary_oai_HAL_hal_01593160v3&conte
xt=PC&vid=SENA&lang=es_ES&search
_scope=sena_completo&adaptor=primo_c
entral_multiple_fe&tab=sena_completo&
query=sub,exact,%20Formal%20language Teoría y evolucion de automatas y
s%20,AND&mode=advanced&offset=0 lenguajes formales
SENA
https://sena-
primo.hosted.exlibrisgroup.com/primo-
explore/fulldisplay?docid=TN_cdi_hal_pr
imary_oai_HAL_hal_01593160v3&conte
xt=PC&vid=SENA&lang=es_ES&search
_scope=sena_completo&adaptor=primo_c
entral_multiple_fe&tab=sena_completo&
query=sub,exact,%20Formal%20language Teoría de automatas y lenguajes
s%20,AND&mode=advanced&offset=0 formales
Ejercicio 2: Realizar la presentación con la conceptualización y ejemplos de:
1. Alfabeto:
Conjunto finito de elementos llamados símbolos. Representamos un alfabeto con la letra Σ.
2. Palabra o Cadena:
Se define como cualquier secuencia finita de elementos de Σ única cadena que no tiene símbolos,
la cual se denomina cadena vacía.
3. Lenguaje:
El lenguaje L sobre el alfabeto Σ es un subconjunto de Σ *, definido asi L Σ *.
Ejemplos extremos:
• L= Ø, L = Σ*, L vacío.
Lenguaje L , puede ser definido como finito o infinito. Asi mismo se denotan
con letras mayúsculas A, B, e, ,L, M, N….
4. Lenguaje regular:
Es un lenguaje forma de los lenguajes más sencillos que se considerarán son los lenguajes
regulares, es decir, los que se pueden generar a partir de los lenguajes básicos utilizando las
operaciones de unión, concatenación y * de Kleene un número finito de veces que se requiera.
Se define por:
Es generado por:
→ Gramática de prefijos
Se describe como:
→ Expresión regular
5. Expresión regular:
Es una secuencia de caracteres que conforma un patrón que podría ser de búsqueda y son
utilizados principalmente para la búsqueda de cadenas de caracteres u sustituciones.
6. . Expresión de conjuntos:
• Por Extensión
• Por intensión
Es aquel que está definido por compresión, si sus elementos se describen a través de
propiedades que tienen en común alguna característica.
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 normalmente”.
Esa expresión se lee: “A es el conjunto formado por todos aquellos números que se obtengan al
lanzar un dado”.
Determinemos la frase escrita entre las llaves ({...}) está en singular y, sin embargo, se lee en
plural.
Es aquella que se determina por L ∪ M (e.g., L = {11, 00}, M = {0, 1} , LcuoM = {0, 1, 00,
11})
11. Operador:
Son símbolos que indican cómo se deben manipular los operandos. estos forman una expresión,
que es una fórmula que define el cálculo de un valor. Así mismo pueden ser constantes, variables
o llamadas a funciones, siempre que éstas devuelvan algún valor.
12. Precedencia de los operadores:
Este concepto nos indica cual es el orden de ejecución de los operadores cuando hay varios.
Y en podremos tener en cuenta por ejemplo en c y c++ como en otros lenguajes estos conceptos:
• 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
?direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site