SlideShare una empresa de Scribd logo
1 de 4
Descargar para leer sin conexión
Raúl Gómez
ragomeza@unl.edu.ec
Universidad nacional de Loja
Área de la energía las industrias y los recursos naturales no renovables.
Ingeniería en Sistemas
“Autómatas y Lenguajes Formales”
Consulta sobre:
“Alfabeto, Cadenas, Lenguajes, y Problemas”
Nombre:
Raúl Gómez A.
Docente:
Ing. Mario Palma
Fecha:
25/09/2014
Loja-Ecuador
2014
Raúl Gómez
ragomeza@unl.edu.ec
Alfabeto:
Definición (Alfabeto):
Un alfabeto es un conjunto de símbolos finito y no vacío. Convencionalmente, utilizamos el
símbolo Σ para designar un alfabeto. Entre los alfabetos más comunes se incluyen los
siguientes:
1. Σ= {0,1}, el alfabeto binario.
2. Σ= {a,b, . . . , z}, el conjunto de todas las letras minúsculas.
3. El conjunto de todos los caracteres ASCII o el conjunto de todos los caracteres ASCII
imprimibles. (Jonhn E. Rajeev M. Jeffrey . Teoria de Automatas ,2007, pag.24)
EJEMPLOS:
Ejemplo 1: Sea Σ = {a, b} el alfabeto que consta de los dos símbolos a y b. Las siguientes
son cadenas sobre Σ:
 aba
 ababaaa
 aaaab.
Obsérvese que aba ≠ aab. El orden de los símbolos en una cadena es significativo ya
que las cadenas se definen como sucesiones, es decir, conjuntos secuencialmente ordenados.
Ejemplo: El alfabeto Σ = {0, 1} se conoce como alfabeto binario. Las cadenas sobre
este alfabeto son secuencias finitas de ceros y unos, llamadas secuencias binarias, tales como
 001
 1011
 001000001.
Ejemplo 3: Σ = {a, b, c, . . . , x, y, z}, el alfabeto del idioma castellano. Las palabras
oficiales del castellano (las que aparecen en el diccionario DRA) son cadenas sobre Σ.
Ejemplo 4: El alfabeto utilizado por muchos de los llamados lenguajes de
programación (como Pascal o C) es el conjunto de caracteres ASCII (o un subconjunto de el)
que incluye, por lo general, las letras mayúsculas y minúsculas, los símbolos de puntuación y
los símbolos matemáticos disponibles en los teclados estándares.
El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendo la cadena vacía, se
denota por Σ*.
Ejemplo 5: Σ = {a, b, c}, entonces
Σ* = { , a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, abc, baa, . . .}.
Raúl Gómez
ragomeza@unl.edu.ec
Cadenas de Caracteres:
Una cadena de caracteres (que también se denomina en ocasiones palabra) es una
secuencia finita de símbolos seleccionados de algún alfabeto. Por ejemplo, 01101 es una cadena
del alfabeto binario = {0,1}. La cadena 111 es otra cadena de dicho alfabeto.
La concatenación de cadenas se puede definir inductiva o recursivamente de la siguiente
manera:
Entonces:
Propiedad. La concatenación de cadenas es una operación asociativa. Es decir, si
POTENCIAS DE UNA CADENA
Dada , se define (descriptivamente) en la siguiente forma
LONGITUD DE UNA CADENA
La longitud de una cadena se denota y se define como el numero de
simbolos de u (contando los simbolos repetids). Es decir
Ejemplo :
Ejemplo:
Raúl Gómez
ragomeza@unl.edu.ec
LENGUAJES
Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ*, es decir
Casos extremos:
Lenguaje vacío.
Lenguaje de todas las cadenas sobre Σ.
Ejemplos:
(Alfabeto , pg1)
PROBLEMAS
En la teoría de autómatas, un problema es la cuestión de decidir si una determinada cadena es un
elemento de un determinado lenguaje. Como veremos, cualquier cosa que coloquialmente
denominamos “problema” podemos expresarlo como elemento de un lenguaje. De manera más
precisa si Σ es un alfabeto y L es un lenguaje de Σ entonces el problema L es:
 Dada una cadena w de Σ*. Decidir si w pertenece o no a L.
Bibliografia:
(Alfabeto . pg1) Alfabeto, cadenas y Lenguajes
(Jonhn E. Rajeev M. Jeffrey . Teoria de Automatas ), Lenguaje y aplicación. 2007
Impreso por: IMPRESO EN ESPAÑA - PRINTED IN SPAIN

Más contenido relacionado

La actualidad más candente

La actualidad más candente (20)

Autómatas de Pila
Autómatas de PilaAutómatas de Pila
Autómatas de Pila
 
LibreríAs De Java
LibreríAs De JavaLibreríAs De Java
LibreríAs De Java
 
Automatas-Lenguajes1-1 (1).pdf
Automatas-Lenguajes1-1 (1).pdfAutomatas-Lenguajes1-1 (1).pdf
Automatas-Lenguajes1-1 (1).pdf
 
Unidadi. lenguajes de interfaz
Unidadi.   lenguajes de interfazUnidadi.   lenguajes de interfaz
Unidadi. lenguajes de interfaz
 
Analizador Sintáctico
Analizador SintácticoAnalizador Sintáctico
Analizador Sintáctico
 
Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1Portafolio Lenguajes y Autómatas Unidad 1
Portafolio Lenguajes y Autómatas Unidad 1
 
Lenguajes libre de contexto
Lenguajes libre de contextoLenguajes libre de contexto
Lenguajes libre de contexto
 
Herramientas case
Herramientas caseHerramientas case
Herramientas case
 
Expresiones regulares
Expresiones regularesExpresiones regulares
Expresiones regulares
 
Bitácora de base de datos
Bitácora de base de datosBitácora de base de datos
Bitácora de base de datos
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 
Algebra relacional
Algebra relacionalAlgebra relacional
Algebra relacional
 
Taller de Base de Datos - Unidad 6 SQL procedural
Taller de Base de Datos - Unidad 6 SQL proceduralTaller de Base de Datos - Unidad 6 SQL procedural
Taller de Base de Datos - Unidad 6 SQL procedural
 
Automatas de pila
Automatas de pilaAutomatas de pila
Automatas de pila
 
Recursividad directa e indirecta
Recursividad directa e indirectaRecursividad directa e indirecta
Recursividad directa e indirecta
 
Diseño caso de pruebas
Diseño caso de pruebasDiseño caso de pruebas
Diseño caso de pruebas
 
Apuntes generación de codigo intermedio
Apuntes generación de codigo intermedioApuntes generación de codigo intermedio
Apuntes generación de codigo intermedio
 
Funciones del DBA, SA Y DA
Funciones del DBA, SA Y DAFunciones del DBA, SA Y DA
Funciones del DBA, SA Y DA
 
automatas finitos
 automatas finitos automatas finitos
automatas finitos
 
Dispositivos de red
Dispositivos de redDispositivos de red
Dispositivos de red
 

Destacado

Puntos importantes de la reforma en telecomunicaciones
Puntos importantes de la reforma en telecomunicacionesPuntos importantes de la reforma en telecomunicaciones
Puntos importantes de la reforma en telecomunicacionesHugo Alberto Rivera Diaz
 
Reconocimiento unidad 3 Metodos Numericos
Reconocimiento unidad 3 Metodos NumericosReconocimiento unidad 3 Metodos Numericos
Reconocimiento unidad 3 Metodos NumericosDiego Perdomo
 
Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Vikky Moscoso
 
Presentación unidad 1 redes de computadores luisa ballén
Presentación unidad 1 redes de computadores luisa ballénPresentación unidad 1 redes de computadores luisa ballén
Presentación unidad 1 redes de computadores luisa ballénluisita91
 
Quiz 3 Metodos Numericos
Quiz 3 Metodos NumericosQuiz 3 Metodos Numericos
Quiz 3 Metodos NumericosDiego Perdomo
 
Leccion evaluativa 2
Leccion evaluativa 2Leccion evaluativa 2
Leccion evaluativa 2Diego Perdomo
 
Examen Final Ingles III 2011-II
Examen Final Ingles III 2011-IIExamen Final Ingles III 2011-II
Examen Final Ingles III 2011-IIDiego Perdomo
 
Reconocimiento unidad 2
Reconocimiento unidad 2Reconocimiento unidad 2
Reconocimiento unidad 2Diego Perdomo
 
Quiz 1 Métodos Numéricos
Quiz 1 Métodos NuméricosQuiz 1 Métodos Numéricos
Quiz 1 Métodos NuméricosDiego Perdomo
 
Ejemplos de Pantallas con Resoluciones 2k,4k y 8k
Ejemplos de Pantallas con Resoluciones 2k,4k y 8kEjemplos de Pantallas con Resoluciones 2k,4k y 8k
Ejemplos de Pantallas con Resoluciones 2k,4k y 8kHugo Alberto Rivera Diaz
 
Aplicación de Sensor CNY70. REPORTE DE PRACTICA
Aplicación  de Sensor CNY70. REPORTE DE PRACTICAAplicación  de Sensor CNY70. REPORTE DE PRACTICA
Aplicación de Sensor CNY70. REPORTE DE PRACTICAHugo Alberto Rivera Diaz
 
CODETEC- Proyecto Final Taller de Investigacion 2
CODETEC- Proyecto Final Taller de Investigacion 2CODETEC- Proyecto Final Taller de Investigacion 2
CODETEC- Proyecto Final Taller de Investigacion 2Hugo Alberto Rivera Diaz
 
Seguridad en Dispositivos de Almacenamiento
Seguridad en Dispositivos de AlmacenamientoSeguridad en Dispositivos de Almacenamiento
Seguridad en Dispositivos de AlmacenamientoHugo Alberto Rivera Diaz
 
Examen Final Metodos Deterministicos
Examen Final Metodos DeterministicosExamen Final Metodos Deterministicos
Examen Final Metodos DeterministicosDiego Perdomo
 

Destacado (20)

Puntos importantes de la reforma en telecomunicaciones
Puntos importantes de la reforma en telecomunicacionesPuntos importantes de la reforma en telecomunicaciones
Puntos importantes de la reforma en telecomunicaciones
 
Reconocimiento unidad 3 Metodos Numericos
Reconocimiento unidad 3 Metodos NumericosReconocimiento unidad 3 Metodos Numericos
Reconocimiento unidad 3 Metodos Numericos
 
Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.Conversión de un AFN a un AFD.
Conversión de un AFN a un AFD.
 
Metodo congruencial mixto en java
Metodo congruencial mixto en javaMetodo congruencial mixto en java
Metodo congruencial mixto en java
 
Presentación unidad 1 redes de computadores luisa ballén
Presentación unidad 1 redes de computadores luisa ballénPresentación unidad 1 redes de computadores luisa ballén
Presentación unidad 1 redes de computadores luisa ballén
 
Quiz 3 Metodos Numericos
Quiz 3 Metodos NumericosQuiz 3 Metodos Numericos
Quiz 3 Metodos Numericos
 
Leccion evaluativa 2
Leccion evaluativa 2Leccion evaluativa 2
Leccion evaluativa 2
 
Examen Final Ingles III 2011-II
Examen Final Ingles III 2011-IIExamen Final Ingles III 2011-II
Examen Final Ingles III 2011-II
 
Reconocimiento unidad 2
Reconocimiento unidad 2Reconocimiento unidad 2
Reconocimiento unidad 2
 
ADMINISTRACION DE BASE DE DATOS UNIDAD 1
ADMINISTRACION DE BASE DE DATOS UNIDAD 1ADMINISTRACION DE BASE DE DATOS UNIDAD 1
ADMINISTRACION DE BASE DE DATOS UNIDAD 1
 
Quiz 1 Métodos Numéricos
Quiz 1 Métodos NuméricosQuiz 1 Métodos Numéricos
Quiz 1 Métodos Numéricos
 
Ejemplos de Pantallas con Resoluciones 2k,4k y 8k
Ejemplos de Pantallas con Resoluciones 2k,4k y 8kEjemplos de Pantallas con Resoluciones 2k,4k y 8k
Ejemplos de Pantallas con Resoluciones 2k,4k y 8k
 
Diagrama de transición de estados
Diagrama de transición de estadosDiagrama de transición de estados
Diagrama de transición de estados
 
Características Generales de EIGRP
Características Generales de EIGRPCaracterísticas Generales de EIGRP
Características Generales de EIGRP
 
Aplicación de Sensor CNY70. REPORTE DE PRACTICA
Aplicación  de Sensor CNY70. REPORTE DE PRACTICAAplicación  de Sensor CNY70. REPORTE DE PRACTICA
Aplicación de Sensor CNY70. REPORTE DE PRACTICA
 
Wronskyano de ecuacion diferencial 3x3
Wronskyano de ecuacion diferencial 3x3Wronskyano de ecuacion diferencial 3x3
Wronskyano de ecuacion diferencial 3x3
 
CODETEC- Proyecto Final Taller de Investigacion 2
CODETEC- Proyecto Final Taller de Investigacion 2CODETEC- Proyecto Final Taller de Investigacion 2
CODETEC- Proyecto Final Taller de Investigacion 2
 
Seguridad en Dispositivos de Almacenamiento
Seguridad en Dispositivos de AlmacenamientoSeguridad en Dispositivos de Almacenamiento
Seguridad en Dispositivos de Almacenamiento
 
MANUAL DE MICROCONTROLADORES PIC
MANUAL DE MICROCONTROLADORES PICMANUAL DE MICROCONTROLADORES PIC
MANUAL DE MICROCONTROLADORES PIC
 
Examen Final Metodos Deterministicos
Examen Final Metodos DeterministicosExamen Final Metodos Deterministicos
Examen Final Metodos Deterministicos
 

Similar a Alfabeto, Cadenas, Lenguajes, y Problemas

Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfKEILLIEDAILYNSICAJAC
 
Teoria-de-Lenguajes en la programación.pptx
Teoria-de-Lenguajes en la programación.pptxTeoria-de-Lenguajes en la programación.pptx
Teoria-de-Lenguajes en la programación.pptxjosecarloslaverianof
 
Autómatas Finitos, Deterministas y no Deterministas
Autómatas Finitos, Deterministas y no DeterministasAutómatas Finitos, Deterministas y no Deterministas
Autómatas Finitos, Deterministas y no Deterministaspablolopezbojorquez1
 
Automatas y compiladores clase2
Automatas y compiladores clase2Automatas y compiladores clase2
Automatas y compiladores clase2Germania Rodriguez
 
Analisis lexico 1
Analisis lexico 1Analisis lexico 1
Analisis lexico 1perlallamas
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticasRobin Pena
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018Edward Caceres
 
Analisis lexico 2
Analisis lexico 2Analisis lexico 2
Analisis lexico 2perlallamas
 
Alfabetos teoria de_lenguajes_y_automatas
Alfabetos teoria de_lenguajes_y_automatasAlfabetos teoria de_lenguajes_y_automatas
Alfabetos teoria de_lenguajes_y_automatasAilin Osiris Rodríguez
 
Teoría de la Computación
Teoría de la Computación Teoría de la Computación
Teoría de la Computación Martha Larios
 
Expresiones regularesfinal
Expresiones regularesfinalExpresiones regularesfinal
Expresiones regularesfinalNoel Gutierrez
 
Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptanersantana
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesRaul Interian
 
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Videoconferencias UTPL
 

Similar a Alfabeto, Cadenas, Lenguajes, y Problemas (20)

Lenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdfLenguajes formales y teoría de autómatas I.pdf
Lenguajes formales y teoría de autómatas I.pdf
 
Lenguajes formales
Lenguajes formalesLenguajes formales
Lenguajes formales
 
Teoria-de-Lenguajes en la programación.pptx
Teoria-de-Lenguajes en la programación.pptxTeoria-de-Lenguajes en la programación.pptx
Teoria-de-Lenguajes en la programación.pptx
 
Unidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatasUnidad 7 lenguajes gramaticas y automatas
Unidad 7 lenguajes gramaticas y automatas
 
Teoria de lenguajes
Teoria de lenguajesTeoria de lenguajes
Teoria de lenguajes
 
Autómatas Finitos, Deterministas y no Deterministas
Autómatas Finitos, Deterministas y no DeterministasAutómatas Finitos, Deterministas y no Deterministas
Autómatas Finitos, Deterministas y no Deterministas
 
Automatas y compiladores clase2
Automatas y compiladores clase2Automatas y compiladores clase2
Automatas y compiladores clase2
 
Analisis lexico 1
Analisis lexico 1Analisis lexico 1
Analisis lexico 1
 
lenguajes formales
lenguajes formaleslenguajes formales
lenguajes formales
 
Expresiones regulares y gramaticas
Expresiones regulares y gramaticasExpresiones regulares y gramaticas
Expresiones regulares y gramaticas
 
Presentacion automata grupo 1 unibe 02-02-2018
Presentacion automata grupo 1   unibe 02-02-2018Presentacion automata grupo 1   unibe 02-02-2018
Presentacion automata grupo 1 unibe 02-02-2018
 
Analisis lexico 2
Analisis lexico 2Analisis lexico 2
Analisis lexico 2
 
Alfabetos teoria de_lenguajes_y_automatas
Alfabetos teoria de_lenguajes_y_automatasAlfabetos teoria de_lenguajes_y_automatas
Alfabetos teoria de_lenguajes_y_automatas
 
Teoría de la Computación
Teoría de la Computación Teoría de la Computación
Teoría de la Computación
 
Gramaticas
GramaticasGramaticas
Gramaticas
 
Expresiones regularesfinal
Expresiones regularesfinalExpresiones regularesfinal
Expresiones regularesfinal
 
1expo yeisland12
1expo yeisland121expo yeisland12
1expo yeisland12
 
Lenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. pptLenguaje de operaciones segunda anny jimenez. ppt
Lenguaje de operaciones segunda anny jimenez. ppt
 
Unidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formalesUnidad 6 introduccion a los lenguajes formales
Unidad 6 introduccion a los lenguajes formales
 
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)Teoría de Autómatas y Lenguajes Formales (I Bimestre)
Teoría de Autómatas y Lenguajes Formales (I Bimestre)
 

Último

DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPODIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPOSegundo Silva Maguiña
 
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdf
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdfMyoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdf
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdfFtimaMontserratZaraz
 
TYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptxTYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptxLilibethBallesteros1
 
DIAGRAMAS PID automatizacion y control.ppt
DIAGRAMAS PID automatizacion y control.pptDIAGRAMAS PID automatizacion y control.ppt
DIAGRAMAS PID automatizacion y control.pptalisonsarmiento4
 
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdfESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdfSegundo Silva Maguiña
 
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdfPRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdfjorge477728
 
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...DayanaNivela
 
Diseño digital - M. Morris Mano - 3ed.pdf
Diseño digital - M. Morris Mano - 3ed.pdfDiseño digital - M. Morris Mano - 3ed.pdf
Diseño digital - M. Morris Mano - 3ed.pdfssuserf46a26
 
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docx
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docxUnidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docx
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docxAlanCarrascoDavila
 
UNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptxUNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptxElybe Hernandez
 
Sesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obrasSesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obrasBildStrify1
 
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxAnonymousk8JgrnuMSr
 
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdfMirkaCBauer
 
Practica_Calificada_03333333333333333.pdf
Practica_Calificada_03333333333333333.pdfPractica_Calificada_03333333333333333.pdf
Practica_Calificada_03333333333333333.pdffredyflores58
 
Cuestionario 20222222222222222222222224.pdf
Cuestionario 20222222222222222222222224.pdfCuestionario 20222222222222222222222224.pdf
Cuestionario 20222222222222222222222224.pdffredyflores58
 
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJHInmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJHVivafornai
 
Matematica Basica Limites indeterminados
Matematica Basica Limites indeterminadosMatematica Basica Limites indeterminados
Matematica Basica Limites indeterminadosSALVADOR ALTEZ PALOMINO
 
Presentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdfPresentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdffernandolozano90
 

Último (20)

DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPODIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
DIFERENCIA DE COMPRESION Y TENSION EN UN CUERPO
 
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdf
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdfMyoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdf
Myoelectric_Control_for_Upper_Limb_Prostheses.en.es (2).pdf
 
TYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptxTYPP_Industrialización del Petróleo.pptx
TYPP_Industrialización del Petróleo.pptx
 
DIAGRAMAS PID automatizacion y control.ppt
DIAGRAMAS PID automatizacion y control.pptDIAGRAMAS PID automatizacion y control.ppt
DIAGRAMAS PID automatizacion y control.ppt
 
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdfESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
ESFUERZO EN VIGAS SESIÓN 5 PROBLEMA RESUELTOS.pdf
 
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
Convocatoria de Becas Caja de Ingenieros_UOC 2024-25
 
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdfPRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
PRACTICAS_DE_AUTOMATIZACION_industrial (1).pdf
 
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...
Infografía Cronológica de Descubrimientos y Avances Tecnológicos Simple Paste...
 
Diseño digital - M. Morris Mano - 3ed.pdf
Diseño digital - M. Morris Mano - 3ed.pdfDiseño digital - M. Morris Mano - 3ed.pdf
Diseño digital - M. Morris Mano - 3ed.pdf
 
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docx
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docxUnidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docx
Unidad 2 Métodos Numéricos. Solución de ecuaciones algebraicas.docx
 
UNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptxUNIDAD III Esquemas de comunicacion pptx
UNIDAD III Esquemas de comunicacion pptx
 
50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt50870516-hidroponia. descargado en novppt
50870516-hidroponia. descargado en novppt
 
Sesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obrasSesión de Clase A dde sistemas de riego y otras obras
Sesión de Clase A dde sistemas de riego y otras obras
 
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docxESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
ESPECIFICACIONES TECNICAS MURO DE CONTENCION.docx
 
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
647913404-06-Partes-principales-de-las-Perforadoras-manuales-1.pdf
 
Practica_Calificada_03333333333333333.pdf
Practica_Calificada_03333333333333333.pdfPractica_Calificada_03333333333333333.pdf
Practica_Calificada_03333333333333333.pdf
 
Cuestionario 20222222222222222222222224.pdf
Cuestionario 20222222222222222222222224.pdfCuestionario 20222222222222222222222224.pdf
Cuestionario 20222222222222222222222224.pdf
 
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJHInmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
Inmunología AMIR 14va EdiciónNM,NLKKJHKLJHKJLBHLKJH
 
Matematica Basica Limites indeterminados
Matematica Basica Limites indeterminadosMatematica Basica Limites indeterminados
Matematica Basica Limites indeterminados
 
Presentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdfPresentación_ Marco general de las contrataciones públicas.pdf
Presentación_ Marco general de las contrataciones públicas.pdf
 

Alfabeto, Cadenas, Lenguajes, y Problemas

  • 1. Raúl Gómez ragomeza@unl.edu.ec Universidad nacional de Loja Área de la energía las industrias y los recursos naturales no renovables. Ingeniería en Sistemas “Autómatas y Lenguajes Formales” Consulta sobre: “Alfabeto, Cadenas, Lenguajes, y Problemas” Nombre: Raúl Gómez A. Docente: Ing. Mario Palma Fecha: 25/09/2014 Loja-Ecuador 2014
  • 2. Raúl Gómez ragomeza@unl.edu.ec Alfabeto: Definición (Alfabeto): Un alfabeto es un conjunto de símbolos finito y no vacío. Convencionalmente, utilizamos el símbolo Σ para designar un alfabeto. Entre los alfabetos más comunes se incluyen los siguientes: 1. Σ= {0,1}, el alfabeto binario. 2. Σ= {a,b, . . . , z}, el conjunto de todas las letras minúsculas. 3. El conjunto de todos los caracteres ASCII o el conjunto de todos los caracteres ASCII imprimibles. (Jonhn E. Rajeev M. Jeffrey . Teoria de Automatas ,2007, pag.24) EJEMPLOS: Ejemplo 1: Sea Σ = {a, b} el alfabeto que consta de los dos símbolos a y b. Las siguientes son cadenas sobre Σ:  aba  ababaaa  aaaab. Obsérvese que aba ≠ aab. El orden de los símbolos en una cadena es significativo ya que las cadenas se definen como sucesiones, es decir, conjuntos secuencialmente ordenados. Ejemplo: El alfabeto Σ = {0, 1} se conoce como alfabeto binario. Las cadenas sobre este alfabeto son secuencias finitas de ceros y unos, llamadas secuencias binarias, tales como  001  1011  001000001. Ejemplo 3: Σ = {a, b, c, . . . , x, y, z}, el alfabeto del idioma castellano. Las palabras oficiales del castellano (las que aparecen en el diccionario DRA) son cadenas sobre Σ. Ejemplo 4: El alfabeto utilizado por muchos de los llamados lenguajes de programación (como Pascal o C) es el conjunto de caracteres ASCII (o un subconjunto de el) que incluye, por lo general, las letras mayúsculas y minúsculas, los símbolos de puntuación y los símbolos matemáticos disponibles en los teclados estándares. El conjunto de todas las cadenas sobre un alfabeto Σ, incluyendo la cadena vacía, se denota por Σ*. Ejemplo 5: Σ = {a, b, c}, entonces Σ* = { , a, b, c, aa, ab, ac, ba, bb, bc, ca, cb, cc, aaa, aab, abc, baa, . . .}.
  • 3. Raúl Gómez ragomeza@unl.edu.ec Cadenas de Caracteres: Una cadena de caracteres (que también se denomina en ocasiones palabra) es una secuencia finita de símbolos seleccionados de algún alfabeto. Por ejemplo, 01101 es una cadena del alfabeto binario = {0,1}. La cadena 111 es otra cadena de dicho alfabeto. La concatenación de cadenas se puede definir inductiva o recursivamente de la siguiente manera: Entonces: Propiedad. La concatenación de cadenas es una operación asociativa. Es decir, si POTENCIAS DE UNA CADENA Dada , se define (descriptivamente) en la siguiente forma LONGITUD DE UNA CADENA La longitud de una cadena se denota y se define como el numero de simbolos de u (contando los simbolos repetids). Es decir Ejemplo : Ejemplo:
  • 4. Raúl Gómez ragomeza@unl.edu.ec LENGUAJES Un lenguaje L sobre un alfabeto Σ es un subconjunto de Σ*, es decir Casos extremos: Lenguaje vacío. Lenguaje de todas las cadenas sobre Σ. Ejemplos: (Alfabeto , pg1) PROBLEMAS En la teoría de autómatas, un problema es la cuestión de decidir si una determinada cadena es un elemento de un determinado lenguaje. Como veremos, cualquier cosa que coloquialmente denominamos “problema” podemos expresarlo como elemento de un lenguaje. De manera más precisa si Σ es un alfabeto y L es un lenguaje de Σ entonces el problema L es:  Dada una cadena w de Σ*. Decidir si w pertenece o no a L. Bibliografia: (Alfabeto . pg1) Alfabeto, cadenas y Lenguajes (Jonhn E. Rajeev M. Jeffrey . Teoria de Automatas ), Lenguaje y aplicación. 2007 Impreso por: IMPRESO EN ESPAÑA - PRINTED IN SPAIN