lunes, 21 de febrero de 2011

Tarea Automatas

Un autómata o máquina de estado es el modelo matemático de un sistema que recibe una cadena constituida por símbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que el autómata reconoce valiéndose de estados.

La teoria de Automatas  provee modelos matemáticos que formalizan el concepto de computadora o algoritmo de manera suficientemente simplificada y general para que se puedan analizar sus capacidades y limitaciones. Algunos de estos modelos juegan un papel central en varias aplicaciones de las ciencias de la computación, incluyendo procesamiento de texto, compiladores, diseño de hardware e inteligencia artificial.
Los tres principales modelos son los autómatas finitos, autómatas con pila y máquinas de Turing, cada uno con sus variantes deterministas y no deterministas. Los autómatas finitos son buenos modelos de computadoras que tienen una cantidad limitada de memoria, los autómatas con pila modelan los que tienen gran cantidad de memoria pero que solo pueden manipularla a manera de pila (el último dato almacenado es el siguiente leído), y las máquinas de Turing modelan las computadoras que tienen una gran cantidad de memoria almacenada en una cinta. Estos autómatas están estrechamente relacionados con la teoría de lenguajes formales; cada autómata es equivalente a una gramática formal, lo que permite reinterpretar la jerarquía de Chomsky en términos de autómatas.
Existen muchos otros tipos de autómatas como las máquinas de acceso aleatorio, autómatas celulares, máquinas ábaco y las máquinas de estado abstracto; sin embargo en todos los casos se ha mostrado que estos modelos no son más generales que la máquina de Turing, pues la máquina de Turing tiene la capacidad de simular cada uno de estos autómatas. Esto da lugar a que se piense en la máquina de Turing como el modelo universal de computadora.

viernes, 18 de febrero de 2011

examen Diagnostico

Examen Diagnostico
Teoría de la Computación

Nombre: Erika Jiménez Lara
Grupo:   4 “A”
Carrera: I.S.C.

1.       ¿Define con tus propias palabras qué es un algoritmo?
Un algoritmo son los pasos a seguir para la resolución de un problema, desde el inicio, yendo paso por paso,  hasta llegar al fin de la tarea o problema

2.       ¿A qué se le denomina proceso computacional?
A  la tarea que realiza la computadora para procesar  una actividad

3.       ¿Bajo qué circunstancias se asume que un problema tiene solución algorítmica?
Mientras el problema pueda solucionarse

4.       ¿Define con tus propias palabras que entiendes por conjunto?
Una colección de elementos que poseen una relación entre si

5.       ¿Escribir un ejemplo de cada una de las operaciones qué se realizan con conjuntos?

6.       ¿Escribir un ejemplo de relaciones?
A Ç B = A È B
(A Ç B) Ì (A È B)

7.       ¿Qué significa que una relación es de equivalencia?
Cuando cumple que es reflexiva: (x ,x)
Simétrica: (x, y ) (y, x)
Y transitiva (x, y)(y,w)(w,z )(z,x)

8.       ¿Qué es una función?

9.       ¿Cuándo se dice que una función es biyectiva?

Cuando al dominio solo esta relacionado con un elemento del  codominio