Automatas Lenguajes Formales1

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 10

AUTOMATAS Y LENGUAJES FORMALES

ACTIVIDAD INDIVIDUAL UNIDAD 1

Tarea 1 - Fundamentación

PRESENTADO POR: JOSÉ EFRAÍN ARIAS CABALLERO

PRESENTADO A: RAFAEL PEREZ HOLGUIN-tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD


ESCUELA DE CIENCIAS BASICAS; TECNOLOGIA E INGENIERIA
BOGOTA- SEPTIEMBRE 2021
Ejercicio 1

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:

→ Autómata finito determinado


→ Autómata finito no determinado
→ Autómata de pila
→ Autómata finito alterno
→ Máquina de Turing de solo lectura

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.

Un conjunto está definido por extensión, enumerando sus elementos.

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”.

Por ejemplo: A = {x / x 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”.

Determinemos la frase escrita entre las llaves ({...}) está en singular y, sin embargo, se lee en
plural.

Se expresa por extensión, es A = {1,2,3,4,5,6}.

7. Palabra nula o vacía ʎ:


Se conoce en computación y en lenguajes formales, una cadena vacía o string vacío
Es la única cadena de caracteres de tamaño cero. Se determina normalmente con las letras
griegas λ o ϵ. Y Hace referencia a una cadena vacía es distinto a hacer referencia a un Null,
puesto que mientras que con este último no se puede operar, esta cadena acepta todas las
operaciones existentes para las cadenas de caracteres concatenación, asignación, extracción entre
otras.

8. Operación regulares – Unión:

Es aquella que se determina por L ∪ M (e.g., L = {11, 00}, M = {0, 1} , LcuoM = {0, 1, 00,
11})

9. Operación regulares – Concatenación:

Es el conjunto de cadenas (L y M) que se puede formar tomando cualquier cadena de L y


concentrándola con cualquier cadena de M. Para designar la concatenación de lenguajes se
emplea el punto o ningún operador en absoluto, aunque el operador de concatenación
frecuentemente se llama “punto”. Las tres primeras cadenas de LM son las cadenas de L
concatenadas con ε . Puesto que ε es el elemento identidad para la concatenación, las cadenas
resultantes son las mismas cadenas de L.

Por ejemplo, si L={001,10,111} y M = {ε ,001}, entonces L.M, o simplemente LM, es


{001,10,111,001001,10001,111001}.

10. Operación regulares - Estrella de Kleene:

La clausura de un lenguaje L se designa mediante L^*y representa el conjunto de cadenas que se


pueden formar tomando cualquier número de cadenas de L, (o asterisco, o clausura de Kleene)
muy posiblemente con repeticiones mediante ciclos repitiéndose una y otra vez y concatenando o
uniendo todas ellas. Por ejemplo, si L = {0,1}, entonces L^*es igual a todas las cadenas de 0s y
1s. Si L = {0,11}, entonces L^(* ) donde se constará de aquellas cadenas de 0s y 1s tales que los
1s y aparecerán por parejas,.

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:

1. Presencia de paréntesis que obligan para ordenar.


2. Los operadores involucrados o asociados en la expresión.
3. Orden de precedencia como están colocados.
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
?direct=true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site

• 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

• 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_opera
ciones_agsm/conjuntos_12.html#:%7E:text=formas%20de%20definir%20un
%20conjunto&text=Decimos%20que%20un%20conjunto%20est%C3%A1,si%20se
%20enumeran%20sus%20elementos.&text=Ese%20conjunto%2C%20expresado
%20por%20extensi%C3%B3n,4%2C5%2C6%7D.

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


(Primera edicición ed., Vol. 1). UNIBIBLOS.
http://ciencias.bogota.unal.edu.co/fileadmin/Facultad_de_Ciencias/Publicaciones/Archiv
os_Libros/Libros_Matematicas/_Teoria_de_la_Computacion___lenguajes__automatas_
_gramaticas._/teoriacomputacion.pdf

• Villarreal, J. (s. f.). Precedencia de Operadores - Programación Lógica.


https://sites.google.com/site/programacionlogicajv/precedencia-de-operadores.
Recuperado 2 de septiembre de 2020, de
https://sites.google.com/site/programacionlogicajv/precedencia-de-operadores

• Expresiones regulares - TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES. (s.


f.). https://sites.google.com/site/wikiudocsctalf/home/vision-de-las-expresiones-
regulares-ylenguajes-regulares/expresiones-regulares. Recuperado 2 de septiembre de
2020, de https://sites.google.com/site/wikiudocsctalf/home/vision-de-las-expresiones-
regulares-ylenguajes-regulares/expresiones-regulares

También podría gustarte