1 / 5

COMPUTABILIDAD Y COMPLEJIDAD

COMPUTABILIDAD Y COMPLEJIDAD. 1. Conceptos básicos (revisión). 2. Gramáticas independientes de contexto. 3. Propiedades de los lenguajes independientes de contexto. 4. Máquinas de Turing. 5. Propiedades de los lenguajes recursivos y recursivamente enumerables. 6. Funciones Recursivas.

hop
Download Presentation

COMPUTABILIDAD Y COMPLEJIDAD

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. COMPUTABILIDAD Y COMPLEJIDAD 1. Conceptos básicos (revisión). 2. Gramáticas independientes de contexto. 3. Propiedades de los lenguajes independientes de contexto. 4. Máquinas de Turing. 5. Propiedades de los lenguajes recursivos y recursivamente enumerables. 6. Funciones Recursivas. Bibliografía -Hopcroft, J. Ullman, J. Introduction to Automata Theory, Languages and Computation. Ed. Addison-Wesley. 1979. -Kelley, D. Teoría de Autómatas y Lenguajes Formales. Prentice Hall. 1995. -Sudkamp. Languages and Machines. An introduction to the Theory of Computer Science. Ed. Addison-Wesley. 1988.

  2. Tema 1. Conceptos básicos (revisión). 1. Gramáticas Definición Derivaciónes Forma sentencial Lenguage generado por una gramática Gramáticas equivalentes 2. Tipos de Gramáticas

  3. Gramáticas G = (N, , P, S) N = conjunto de no terminales.  = alfabeto. P = conjunto de reglas de producción. S  N, axioma N   =  V = N     1   2 ..........   n P V*NV*  V* (, )  P se denota    Se escribe   1 | 2 |...| n Ejemplo: L = {an b2n: n  1} S abb | aSbb G = ( {S}, {a, b}, {S abb , S aSbb}, S )

  4. ’, ’  V*, ’ deriva directamente en ’ en G ( ) si: ’ =    ’ =    con     P deriva en  en G ( ) si existe 1, 2, ... n  V* : 1 = , n =  y además i = 1..n - 1   V* es una forma sentencial de G si . Si   * ,  es una palabra generada por G. Lenguaje generado por G Gequivalente a G ’ si L(G) = L(G ’)

  5. Tipos de Gramáticas Regulares (tipo 3): A, B N. a, b   {} a) Lineales por la derecha: A aB | b b) Lineales por la izquierda: A Ba | b Incontextuales (tipo 2): A  con A  N,   V* Contextuales (tipo 1): A  con A  N; ,   V* ;   V + - Formas sentenciales de longitud no decreciente - S   a condición de que ... No restringidas (tipo 0) L3 L2L1L0 L3 L2 L1 L0

More Related