INTRODUCCION A LOS AUTOMATAS Lic. Luis Enrique hernandez.

Presentación del tema: "INTRODUCCION A LOS AUTOMATAS Lic. Luis Enrique hernandez."— Transcripción de la presentación:

1 INTRODUCCION A LOS AUTOMATAS Lic. Luis Enrique hernandez

2 LENGUAJE FORMAL En matemáticas, lógica, y ciencias de la computación, un LENGUAJE FORMAL es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados. Al conjunto de los símbolos primitivos se le llama ALFABETO (o vocabulario) del lenguaje. Al conjunto de las reglas se le llama GRAMÁTICA FORMAL O SINTAXIS.

3 Como se ha explicado en el apartado anterior, en un lenguaje, se tiene que los elementos más simples, son los símbolos llamados letras que constituyen un alfabeto ∑, que es un conjunto finito de símbolos { σ 1, σ 2,..., σ n }. Con la concatenación de las letras, formaremos palabras que determinan un conjunto ∑* Sigma

4 ALFABETO Conjunto finito de simbolos, ejm v={s1, s2, s3, …, sn} Ejm: v={a,b,c} V={0,1} V={a,b,c,…, z}

5 CADENA O PALABRA Es una secuencia finite de simbolos tomados del alfabeto definido. Se denota por W Ejm: v={a,b,c}  aaab, abab, bbb, … V={0,1}  10, 101, 10101, … V={a,b,c,…, z}  casa, carro, amigo, … alfabeto cadenas

6 LONGITUD DE CADENA Es la cantidad de simbolos o letras que la componen. Se representa  ||

7 CADENA VACIA Se denota mediante los simbolos lambda y epsilon Tiene longitud 0

8 OPERACIONES CON CADENAS Concatenacion: de w1 y w2 es la cadena que se obtiene de unir a la cadena w1 la palabra w2 y se denota w1w2 o w1.w2 Potencia: i-esima para una palabra dada w, corresponde a la concatenación de i veces la palabra w con ella misma. Reflexion: sea la palabra w = x1, x2, …, xn se tiene que la cadena invertida de w denotada. Por: wi, se forma invirtiendo el orden de los simbolos en la palabra w; Wi = xn, …, x2, x1

9 LENGUAJE Es un conjunto finito o infinito de cadenas, se representa con L V={0,1,2,3,4,5,6,7,8,9} L1 = {numero de tres cifras} L2 = {números binarios} L3 = {todos los numeros}

10 Existe un espacio o universo infinito de lenguajes. Sin embargo, no todos los lenguajes que pueblan este universo son del interés de la teoría de los lenguajes formales. Objetivo: Investigar si hay un orden dentro de ese universo y estudiar las propiedades de aquellos lenguajes que podríamos calificar de «interesantes».

11 Hay dos puntos de vista desde los cuales podemos determinar si un lenguaje es interesante o no. Observar si sigue alguna pauta regular en la construcción de las cadenas.

12 MUCHAS GRACIAS