Welcome to Scribd. Sign in or start your free trial to enjoy unlimited e-books, audiobooks & documents.Find out more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity

Table Of Contents

PROLOGO
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
LENGUAJES FORMALES
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
apuntes-aec

apuntes-aec

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

More info:

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

Availability:

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

02/01/2013

pdf

text

original

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

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