AUTÓMATAS Y LENGUAJES

FORMALES
PRESENTADO POR:
CRISTIAN ANDRÉS PRIETO J
UNAD
 INTRODUCCIÓN

• EN ESTE TRABAJO REALIZAREMOS UNA INTRODUCCIÓN DE LOS AUTÓMATAS Y

LENGUAJES FORMALES DESDE SUS COMIENZOS EN LA HISTORIA, HASTA
DIFERENTES CONCEPTOS PARA PODER COMPRENDER SU FILOSOFIA.
• EJERCICIO 1: REALIZAR UNA LÍNEA DEL TIEMPO QUE PERMITA OBSERVAR LA
HISTORIA Y EVOLUCIÓN DE LA TEORÍA DE AUTÓMATAS Y LENGUAJES FORMALES,
SE DEBE TENER EN CUENTA LOS ORÍGENES, LOS PRECURSORES Y LOS DISTINTOS
CAMPOS EN LOS QUE REPERCUTE ESTA ÁREA DEL CONOCIMIENTO (INGENIERÍA,
LENGUAJES Y GRAMÁTICAS, MATEMÁTICAS Y COMPATIBILIDAD) Y APLICACIÓN
DIRECTA DE LAS CIENCIAS COMPUTACIONALES.
EJERCICIO 2: REALIZAR LA PRESENTACIÓN
CON LA CONCEPTUALIZACIÓN Y EJEMPLOS
DE:

• ALFABETO :
ES UN CONJUNTO DE SÍMBOLOS FINITO Y NO VACÍO DE ELEMENTOS LLAMADOS
SÍMBOLOS O LETRAS. ES UNA AGRUPACIÓN, QUE SE LEE CON UN ORDEN
DETERMINADO, DE LAS GRÁFICAS UTILIZADAS PARA REPRESENTAR EL LENGUAJE
QUE SIRE DE SISTEMA DE COMUNICACIÓN, UN GRUPO DE LETRAS ESTRUCTURADO
BAJO UN ORDEN ESPECIFICO ACEPTADO A NIVEL GENERAL EN EL MARCO DE UNA
LENGUA
• PALABRA O CADENA :
UNA CADENA DE CARACTERES (QUE TAMBIÉN SE DENOMINA EN OCASIONES PALABRA)
ES UNA SECUENCIA FINITA DE SÍMBOLOS SELECCIONADOS DE ALGÚN ALFABETO.
UNA CADENA O PALABRA ES UNA SECUENCIA FINITA DE SÍMBOLOS QUE PERTENECEN A
UN ALFABETO Y COMÚNMENTE SE DENOTA CON LA LETRA.

Ø EJEMPLO: SI ∑= {0,1}, ENTONCES ∑1= {0,1}, ∑2= {00, 01, 10, 11}, ∑3= {000, 001, 010, 011,
100, 101, 110, 111}, ETC.
• LENGUAJE :
• UN CONJUNTO DE CADENAS, TODAS ELLAS SELECCIONADAS DE UN ∑*, DONDE ∑
ES UN DETERMINADO ALFABETO SE DENOMINA LENGUAJE. YA QUE ESTAS
PUEDEN SER CUALQUIER CADENA QUE CUMPLA CON LO SIGUIENTE, ESTÁ
FORMADA POR LOS SÍMBOLOS. LOS LENGUAJES HABITUALES PUEDEN
INTERPRETARSE COMO CONJUNTOS DE CADENAS.
• LENGUAJE REGULAR
• AL LENGUAJE GENERADO POR MEDIO DE UNA GRAMÁTICA REGULAR. SON
AQUELLOS LENGUAJES CUYAS CADENAS ESTÁ FORMADAS POR LA
CONCATENACIÓN DE SÍMBOLOS, EN LAS CUALES NO HAY RELACIÓN ENTRE UNA
PARTE DE LA CADENA Y OTRA PARTE DE LA CADENA.
• EXPRESIÓN REGULAR
• EN CÓMPUTO TEÓRICO Y TEORÍA DE LENGUAJES FORMALES UNA EXPRESIÓN
REGULAR, O EXPRESIÓN RACIONAL,​​ TAMBIÉN SON CONOCIDAS COMO REGEX O
REGEXP,​ POR SU CONTRACCIÓN DE LAS PALABRAS INGLESAS REGULAR
EXPRESSION, ES UNA SECUENCIA DE CARACTERES QUE CONFORMA UN PATRÓN
DE BÚSQUEDA.
 CONJUNTOS
• POR EXTENSIÓN
EN TEORÍA DE CONJUNTOS SE DEFINEN LOS CONJUNTO POR EXTENSIÓN COMO
AQUELLOS CONJUNTOS CUYA NOTACIÓN INDICA CADA UNO DE LOS ELEMENTOS QUE
LOS COMPONEN.
• POR COMPRENSIÓN
POR OTRA PARTE SE DENOMINAN CONJUNTOS POR COMPRENSIÓN AQUELLOS QUE SUS
ELEMENTOS SE INDICAN DE MANERA GENERAL SIN INDICAR CADA UNO DE ELLOS.
• PALABRA NULA O VACÍA ʎ
ES LA ÚNICA CADENA DE CARACTERES DE TAMAÑO CERO. SE DENOTA
USUALMENTE CON LAS LETRAS GRIEGAS Λ O Ε.
HACER 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
• OPERACIÓN REGULARES - UNIÓN
UN LENGUAJE REGULAR ES UN TIPO DE LENGUAJE FORMAL QUE SATISFACE LAS
SIGUIENTES PROPIEDADES:
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, CON LA APLICACIÓN DE LAS OPERACIONES DE UNIÓN,
CONCATENACIÓN Y * DE KLEENE UN NÚMERO FINITO DE VECES.
• OPERACIÓN REGULARES - CONCATENACIÓN
LA CONCATENACIÓN ES EL CONJUNTO DE TODOS LAS CADENAS QUE SE CREAN DE
CONCATENAR CUALQUIERA DE LAS CADENAS DE LOS DOS LENGUAJES.
• OPERACIÓN REGULARES - ESTRELLA DE KLEENE
EN LÓGICA MATEMÁTICA Y EN CIENCIAS DE LA COMPUTACIÓN, LA CLAUSURA DE
KLEENE (TAMBIÉN LLAMADA ESTRELLA KUK2HEMLEENE O CIERRE ESTRELLA) ES
UNA OPERACIÓN UNARIA QUE SE APLICA SOBRE UN CONJUNTO DE CADENAS DE
CARACTERES O UN CONJUNTO DE SÍMBOLOS O CARACTERES (ALFABETO), Y
REPRESENTA EL CONJUNTO DE LAS CADENAS QUE SE PUEDEN FORMAR TOMANDO
CUALQUIER NÚMERO DE CADENAS DEL CONJUNTO INICIAL, POSIBLEMENTE CON
REPETICIONES, Y CONCATENÁNDOLAS ENTRE SÍ.
• PRECEDENCIA DE LOS OPERADORES
LA PRECEDENCIA DE UN OPERADOR INDICA QUÉ TAN "ESTRECHAMENTE" SE UNEN
DOS EXPRESIONES JUNTAS. POR EJEMPLO, EN LA EXPRESIÓN 1 + 5 * 3 , LA
RESPUESTA ES 16 Y NO 18 PORQUE EL OPERADOR DE MULTIPLICACIÓN ("*") TIENE
UNA PRECEDENCIA MAYOR QUE EL OPERADOR DE ADICIÓN ("+"). LOS PARÉNTESIS
PUEDEN SER USADOS PARA FORZAR LA PRECEDENCIA, SI ES NECESARIO. POR
EJEMPLO: (1 + 5) * 3 SE EVALÚA COMO 18.
REFERENCIAS
• 10, M. (S.F.). MATEMATICAS 10. OBTENIDO DE HTTPS://WWW.MATEMATICAS10.NET/2018/03/EJEMPLOS-DE-CONJUNTOS-POR-EXTENSION.HTML
• DOCUMENTACION, P. (S.F.). PHP DOCUMENTACION. OBTENIDO DE
HTTPS://WWW.PHP.NET/MANUAL/ES/LANGUAGE.OPERATORS.PRECEDENCE.PHP#:~:TEXT=LA%20PRECEDENCIA%20DE%20UN
%20OPERADOR,SE%20UNEN%20DOS%20EXPRESIONES%20JUNTAS.&TEXT=LOS%20PAR%C3%A9NTESIS%20PUEDEN%20SER
%20USADOS,ASOCIATIVIDAD%20DECIDE%20C%C3%B3MO%20SE%20AGRUPAN.
• LENGAJES Y AUTOMATAS 1. (25 DE 08 DE 2017). OBTENIDO DE HTTP://LENGYAUT.BLOGSPOT.COM/2017/08/DEFINICION-ALFABETOS-CADENA-
LENGUAJE.HTML#:~:TEXT=ES%20UN%20CONJUNTO%20FINITO%20DE,LENGUAJE%20QUE%20LLAMAN%20GRAM%C3%A1TICAS
%20EQUIVALENTES.
• REGULARES, L. Y. (29 DE 01 DE 2017). COMPILANDO CONOCIMIENTO. OBTENIDO DE
HTTPS://COMPILANDOCONOCIMIENTO.COM/2017/01/29/EXPRESIONES-REGUALES/
• TEMA 2.- LENGUAJES REGULARES. (S.F.). OBTENIDO DE HTTP://DECSAI.UGR.ES/~ROSA/TUTORMC/TEORIA/LENGUAJESREGULARES2.HTML
• WIKIPEDIA. (S.F.). OBTENIDO DE HTTPS://ES.WIKIPEDIA.ORG/WIKI/CADENA_VAC%C3%ADA
• WIKIPEDIA. (S.F.). OBTENIDO DE HTTPS://ES.WIKIPEDIA.ORG/WIKI/LENGUAJE_REGULAR
• WIKIPEDIA. (S.F.). OBTENIDO DE HTTPS://ES.WIKIPEDIA.ORG/WIKI/CLAUSURA_DE_KLEENE#:~:TEXT=EN%20L%C3%B3GICA%20MATEM
%C3%A1TICA%20Y%20EN,LAS%20CADENAS%20QUE%20SE%20PUEDEN
• WIKIPEDIA. (S.F.). WIKIPEDIA. OBTENIDO DE HTTPS://ES.WIKIPEDIA.ORG/WIKI/EXPRESI%C3%B3N_REGULAR#:~:TEXT=EN%20C
%C3%B3MPUTO%20TE%C3%B3RICO%20Y%20TEOR%C3%ADA,CONFORMA%20UN%20PATR%C3%B3N%20DE%20B%C3%BASQUEDA.