Metodos formales de la computacion

Introducción
Pues en este documento veremos los métodos formales de computación, asi como las definiciones, principales características, donde se fundamentan donde se aplican, las ventajas y desventajas sobre los autómatas y sobre la maquina Turing.

















INDICE
Métodos Formales de Computación
Introducción
Autómatas
Definición
Características
AplicaciónVentajas
Desventajas
Maquina Turing
Definición
Características
Aplicación
Ventajas
Desventajas
Conclusiones
Bibliografía








Métodos formales de computación
Autómatas
Definición: En el ámbito de la informática, asimismo, nos encontramos con una referencia para la palabra, dado que la misma refiere ya sea a un dispositivo o a la serie de disposiciones que proponen unenlazamiento automático y continuado de operaciones que permiten el procesamiento de una información de entrada, que al mismo tiempo generará una contraparte de salida.

Caracteristicas: No obstante, el avance de la tecnología y de las matemáticas, y más en concreto de la teoría de conjuntos y de la lógica, permiten plantearse aspectos de la computación, siendo esta el propósito inicial de hacer precisa lanoción intuitiva de función calculable; esto es, una función cuyos valores pueden ser calculados de forma automática o efectiva mediante un algoritmo, y construir modelos teóricos para ello (de computación). El autómata programable satisface las exigencias tanto de procesos continuos como discontinuos. Regula presiones, temperaturas, niveles y caudales así como todas las funciones asociadas detemporización, cadencia, conteo y lógica. También incluye una tarjeta de comunicación adicional, el autómata se transforma en un poderoso satélite dentro de una red de control distribuida.

Aplicaciones: Además, un aspecto importante en el desarrollo de los computadores, es sin duda, su aplicación para resolver problemas científicos y empresariales. Esta aplicación hubiese resultado muy difícilsin la utilización de procedimientos que permiten resolver estos problemas mediante una sucesión de pasos claros, concretos y sencillos, es decir algoritmos
El autómata es la primera máquina con lenguaje, es decir, un calculador lógico cuyo juego de instrucciones se orienta hacia los sistemas de evolución secuencial. Hay que apreciar que, cada vez más, la universalidad de los ordenadores tiende adesaparecer, el futuro parece abrirse hacia esta nueva clase de dispositivos: maquina para proceso de señales, para la gestión de bases de datos...etc.





Ventajas: El autómata programable industrial aporta una serie de ventajas como son las siguientes:
- Diseñados y construidos para su aplicación en ambiente industrial.
- Son equipos flexibles, por su carácter programable
- Son fácilesde instalar y reutilizables.
- Construidos de forma que sea fácil el mantenimiento y la localización de averías.
- Pueden emplearse en múltiples tipos de tarea de control en una misma planta, lo que facilita el aprendizaje, permite un mayor conocimiento y explotación de prestaciones.
- Su capacidad de comunicaciones permite la integración en la tarea global de control, o sistema de producciónintegrado.

Desventajas: En primer lugar, de que hace falta un programador, lo que obliga a adiestrar a unos de los técnicos de tal sentido, pero hoy en día ese inconveniente esta solucionado porque las universidades y/o institutos superiores ya se encargan de dicho adiestramiento.
Pero hay otro factor importante como el costo inicial que puede o no ser un
inconveniente, según lascaracterísticas del automatismo en cuestión. Dado que el PLC cubre ventajosamente en amplio espacio entre la lógica cableada y el microprocesador es preciso que el proyectista lo conozca tanto en su actitud como en sus limitaciones. Por tanto, aunque el coste inicial debe ser tenido en cuenta a la hora de decidirnos por uno u otro sistema, conviene analizar todos los demás factores para asegurarnos una...