Introduccion a la Teoria de la Computacion

acepta agregamos ahora alfabeto algoritmo aparece árbol autómata finito blanco buscando cabeza cadena cadena de entrada camino cinta clase cómputo configuración conjunto construcción construir contiene continuación corresponde dado debe decidir decir Definición definida demostrar denota derivación determinista diseño distintos ejemplo eliminar empieza encontrar encuentra entonces equivalencia escribir están etiquetado existe expresión Figura final Formalmente función genera inducción infinito inicial izquierda lado derecho lema lenguaje lenguajes libres libre del contexto llegar lleva longitud M₁ máquina de Turing marca modelo movimiento nodo nuevo número observar obtener operaciones original palabra parejas pasos pila pista podemos posibles presentan primer primera problema proceso producciones produce queda reconocer recursivamente reglas regular regulares representar respectivamente respuesta resultado sabemos salida segunda sigue siguiente manera símbolo subconjunto sucesión Supongamos suspende sustituye tabla tenemos Teorema termina terminal transición último únicamente utilizar vacía