SSL 2015 K2003 Clase 1 Oscar Bruno

Transcripción

1 Sintaxis y semántica de ls lenguajes Síntesis general Ls lenguajes de prgramación sn un cnjunt de lenguajes frmales. Ests se generan mediante Gramáticas Frmales Alguns sn regulares (pr ejempl ls elements léxics) alguns de ells sn finits (pr ejempl las palabras reservadas) trs sn infinits (pr ejempl ls identificadres). Ests se pueden representar pr expresines regulares y sn recncids mediante autómatas finits. Ls lenguajes n regulares pueden ser independientes del cntext, sencibles al cntext irrestricts, de ests ls lenguajes de prgramación tienen un cnjunt de lenguajes independientes del cntext (para las estructuras de frase, las expresines y las sentencias) que sn recncids mediante autómata de pila maquina de Turing. En SSL harems análisis lexicgráfic (mediante el analizadr lexicgráfic scanner. Harems análisis sintáctic (mediante el analizadr sintáctic parser) y ns intrducims en el análisis semántic mediante las rutinas semánticas. En definitiva Estudiams lenguajes frmales y tds sus cmpnentes Lenguajes regulares Gramáticas regulares Expresines regulares Autómatas finits Determinístics y N determinístics Operacines Algritms De la expresión regular al AFND Del AFND al AFD Obtención del AFD mínim Del AF a la expresión regular Lenguajes n regulares Lenguajes independientes de cntext Gramáticas independientes de cntext Autómata de pila Maquina de Turing C y ls lenguajes frmales Regulares Elements lexics Palabra reservada, identificadr, cnstante, literal cadena Independiente de cntext Estructura de frases Expresines, Declaracines, Sentencias 1

2 CARACTERES y ALFABETOS Un CARÁCTER es el element cnstructiv básic. Un ALFABETO es un cnjunt finit de caracteres. Σ(sigma)Σ = {0, 1} Un carácter de un alfabet también puede ser múltiple. CADENAS Secuencia finita de caracteres tmads de ciert alfabet y clcads un a cntinuación de tr. CONCATENANDO caracteres de un alfabet dad. LONGITUD DE UNA CADENA S es la cantidad de caracteres que la cmpnen CADENA VACÍA CADENA VACÍA, Ԑ (épsiln), es la cadena que n tiene caracteres. Ԑ = 0) Ԑ n frma parte de ningún alfabet. POTENCIACIÓN DE UN SÍMBOLO La POTENCIACIÓN de un carácter puede simplificar la escritura. Sea c un carácter; entnces, c n representa la cncatenación del carácter c, cnsig mism, n-1 veces. CONCATENACIÓN DE DOS CADENAS S1.S2, simplemente, S1S2 prduce una nueva cadena frmada pr ls caracteres de la primera cadena seguids inmediatamente pr ls caracteres de la segunda cadena. La cncatenación NO ES CONMUTATIVA (except en cass muy especiales). Si ambas cadenas sn iguales Si las cadenas están cmpuestas pr repetición del mism símbl La Ԑ es la identidad de la cncatenación POTENCIACIÓN DE UNA CADENA si S es una cadena, entnces S n (cn n 1 y enter)representa la cadena que resulta de CONCATENAR la cadena S, cnsig misma, n-1 veces. S 0 = Ԑ. LENGUAJES NATURALES Y LENGUAJES FORMALES LENGUAJE NATURAL es td lenguaje hablad y/ escrit que es utilizad pr ls seres humans para cmunicarse. EVOLUCIONAN Sus REGLAS GRAMATICALES surgen para pder explicar su estructura. La SEMANTICA es mas imprtante que la sintaxis Es ambigu LENGUAJE FORMAL es un cnjunt de cadenas frmadas cn caracteres de un alfabet dad, y tiene ds características fundamentales: las cadenas que cnstituyen un Lenguaje Frmal n tienen una semántica asciada, sl tienen una sintaxis dada pr la ubicación de ls caracteres dentr de cada cadena; un Lenguaje Frmal nunca es ambigu. 2

3 Descript pr EXTENSIÓN: L = {101, 1001, 10001, }. Utilizand el peradr "supraíndice", este lenguaje puede ser descript pr COMPRENSIÓN, L = {10 n 1/ 1 >= n >= 4}. Un Lenguaje Frmal puede ser descript pr extensión, pr cmprensión, mediante una frase en un Lenguaje Natural, mediante una gramatica frmal. PALABRA cadena que pertenece a un determinad Lenguaje Frmal. Prpiedades de las palabras Cardinalidad de un lenguaje Sublenguajes: Dad que un Lenguaje Frmal es un cnjunt, un SUBLENGUAJE es un subcnjunt de un Lenguaje Frmal dad. El sublenguaje vací, habitualmente representad cn el símbl ø, es un sublenguaje de cualquier Lenguaje Frmal. N se debe cnfundir el sublenguaje vací, que tiene cardinalidad 0, cn el lenguaje que sl cntiene la palabra vacía, que tiene cardinalidad 1. Leng. Frmales infinits, lenguaje universal, lenguajes más cmplejs Cadenas en C Ejercicis Para un LP que cnzca, escriba ds ejempls de cada una de las entidades (palabras reservadas, expresines, etc.) mencinadas en el recuadr anterir. Indique si crrespnden, según su criteri, a un Lenguaje Frmal finit a un Lenguaje Frmal infinit. Explique su decisión. IMPLEMENTACIÓN EN C Investigue y cnstruya, en LENGUAJE C, la función que realiza cada peración slicitada: Calcula la lngitud de una cadena; Determina si una cadena dada es vacía. Cncatena ds cadenas. Cnstruya un prgrama de teste para cada función del ejercici anterir. 3

4 4

5 5