Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Standard view
Full view
of .
Look up keyword or section
Like this

Table Of Contents

0.1 ¿Qu´e es un Lenguaje?
0.2 Sintaxis versus Sem´antica
0.3 Los Problemas a Estudiar
0.4 Aplicaci´on a Otros Problemas
0.5 Clases de Lenguajes
0.6 Otros Problemas a Estudiar
0.7 Problemas No Decidibles
1.1 Conjuntos
1.1.1 Operaciones con Conjuntos
1.1.2 Conjuntos Infinitos
1.2 Inducci´on Matem´atica
1.2.1 Otras Bases
1.2.2 Inducci´on Completa
1.2.3 Definiciones Inductivas
1.3 Grafos y Arboles
1.3.1 Grafos Dirigidos
1.4 Relaciones Binarias
1.4.1 Propiedades
1.4.2 Relaciones de Equivalencia
1.4.3 Clausuras
2.1 S´ımbolos y Alfabetos
2.2 Palabras
2.2.1 Longitud de una Palabra
2.2.2 Concatenaci´on
2.2.3 Subpalabras, Prefijos y Sufijos
2.2.4 Reverso
2.3 Lenguajes
2.3.1 Concatenaci´on de Lenguajes
2.3.2 Clausuras
2.3.3 Representaci´on de Lenguajes
2.4 Aut´omatas
3.1 Aut´omatas Finitos Determin´ısticos
3.2 Aut´omatas Finitos No Determin´ısticos
3.3 Aut´omatas Finitos con Transiciones en Vac´ıo
3.4 Teorema de Myhill-Nerode
3.5 Minimizaci´on de Aut´omatas Finitos
3.6 Traductores de Estado Finito
3.7 Expresiones Regulares
3.8 Aplicaciones de los Lenguajes Regulares
4.1 Lema de Bombeo para Conjuntos Regulares
4.2 Propiedades de Clausura
4.3 Algoritmos de Decisi´on
5.1 Aut´omatas Apiladores
5.2 Definiciones
5.3 Gram´aticas Libres de Contexto
5.4 Configuraci´on de las Gram´aticas Libres de Contexto
5.6 Simplificaci´on de Gram´aticas
5.7 Formas Normales
5.8 Equivalencia entre LLC y Aut´omatas Apiladores
5.9 Ambig¨uedad Inherente
6.1 Lema de Bombeo para Lenguajes Libres de Contexto
6.2 Propiedades de Clausura
6.3 Algoritmos de Decisi´on
7.1 Algoritmos
7.2 Modelo de la M´aquina de Turing
7.3 T´ecnicas para la construcci´on de M´aquinas de Turing
7.3.1 Almacenamiento en el Control Finito
7.3.2 Pistas M´ultiples
7.3.3 Marcar S´ımbolos
7.3.4 Correr S´ımbolos
7.3.5 Subrutinas
7.4 Lenguajes y Funciones Computables
7.5 Extensiones al Modelo
7.5.1 Cinta Infinita en Ambas Direcciones
7.5.6 M´aquinas Off-Line
7.6 Hip´otesis de Church
7.7 M´aquinas de Turing como Generadores
0 of .
Results for:
No results containing your search query
P. 1


Ratings: (0)|Views: 4|Likes:
Published by Angel David

More info:

Published by: Angel David on Sep 29, 2010
Copyright:Attribution Non-commercial


Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less





You're Reading a Free Preview
Pages 4 to 40 are not shown in this preview.
You're Reading a Free Preview
Pages 44 to 109 are not shown in this preview.
You're Reading a Free Preview
Pages 113 to 126 are not shown in this preview.
You're Reading a Free Preview
Pages 130 to 145 are not shown in this preview.

You're Reading a Free Preview

/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->