
Lenguajes formales y teoría de autómatas
By Juan Giró, Juan Vázquez, Brenda Meloni, Leticia ConstableLength16h 51m
About this audiobook
Se trata de un libro para un curso de nivel de grado de Ingeniería en Sistemas, que fue escrito por ingenieros y está destinado a estudiantes de ingeniería, que sin dejar de reconocer la importancia de los fundamentos, pone énfasis en mostrar la aplicación de los diferentes conceptos en la resolución de problemas concretos. La finalidad es contribuir a desarrollar el criterio lógico en los estudiantes, a la vez que ofrecer modelos compactos y eficaces de enorme utilidad en la resolución de los problemas clásicos del desarrollo de software.
Audiobook details
GenreEducation and Learning
Length16 hrs 51 mins
Narrated byListen with 1,000+ voices
FormateBook with Audio
Publish dateJun 30, 2015
LanguageSpanish
Table of contents
1Juan Giró, Juan Vázquez, Brenda Meloni, Leticia Constable
2Mensaje del editor
3las
4Autómatas finitos y máquinas secuenciales
5Gramáticas Dependientes del Contexto
Show all chaptersShow less
6Modelado de sistemas
7Capítulo 1 - Introducción a la Teoría de la Computación
8Introducción a los lenguajes
9Capítulo 2 - Gramáticas y lenguajes formales
10Lingüística matemática
11Símbolos, alfabetos y palabras
12Como se trata de conjuntos:
13Operaciones con alfabetos
14Ejemplo 2.7
15Ejemplo 2.8
16entonces:
17segundo}
18Entonces, se verifica lo siguiente:
190 L
20Descripción de lenguajes
21P = {programas correctos escritos en lenguaje C}
22Ejemplo 2.16
23BNF
24Usando la gramática entonces, se pueden derivar:
25Tabla 2.2: Gramáticas y lenguajes de la Jerarquía de Chomsky.
26Gramática limpia
27Ejemplo 2.22
28Si la gramática G(22.2) del ejemplo anterior hubiera tenido más
29X es superfluo ⇔ ∃ (X→*α) con α∈ΣT*
30Tabla 2.4: Determinación de símbolos superfluos del Ejemplo 2.24.
31Ejemplo 2.25
32Resulta ser E un símbolo superfluo y debemos eliminarlo junto con
33Gramática bien formada
34en qué orden deben realizarse.
35Se analiza primero, si está limpia:
36Esta gramática está ahora limpia.
37Análisis sintáctico
38Árbol de derivación
39Eliminación de recursión izquierda en un paso
40Ejemplo 2.32
41Factorización por izquierda
42a) Transformar G en una gramática bien formada, esto es, limpia y
43En caso contrario:
44FNC por lo que no necesitan ningún proceso.
45Ejercicio 6
46Ejercicio 10
47Ejercicio 30
48Ejercicio 33
49Los conjuntos Pi de producciones se muestran en la siguiente tabla:
50Ejercicio 41