Teoria de sistemas
La teoría de autómatas es una rama de las ciencias de la computación que estudia las máquinas abstractas y los problemas que éstas son capaces de resolver. Lateoría de autómatas está estrechamente relacionada con la teoría del lenguaje formal ya que los autómatas son clasificados a menudo por la clase de lenguajes formales que son capaces de reconocer.Antecedentes:
Esta materia se ha desarrollado gracias a la confluencia de campos
muy diferentes, como son: las matemáticas, la teoría de máquinas, la lingüística, etc.
Podemos considerarla, por tanto,como una materia multidisciplinar.
Los autómatas son también esenciales para el estudio de los límites de la computación. En este terreno, existen dos cuestiones importantes que nos podemosPlantear y que se estudiarán en los ´últimos temas de la asignatura:
1. ¿Qué puede hacer un computador?
Utilizaremos el concepto de conmutabilidad para aplicarlo a los problemas que puede resolver uncomputador.
2. ¿Qué puede hacer un computador eficientemente?
Diremos que un problema es tratable, si un computador puede resolverlo en un tiempo que crezca lentamente al aumentar el tamaño de losdatos de entrada.
Aplicaciones:
Las aprimaras aplicaciones de las autómatas programables se dieron en la industria automotriz para sustituir los complejos equipos basados en relés. Sinembargo, la disminución del tamaño y el menor costo han permitio que los autómatas sean utilizados en todos los sectores de la industria. Solo a modo de ejmplo, se mencionan a continuación algunos de losmultiples campos de aplicación:
Automovil:
Cadenas de montaje, soldadura, cabinas de pintura, etc.
Maquinas herramientas: Tornos, fresadoras, taladradoras, etc.
Plantas químicas ypetroquímicas:
Control de procesos (dosificación, mezcla, pesaje, etc.).
Baños electrolíticos, oleoductos, refinado, tratamiento de aguas residuales, etc.
Metalurgia:
Control de hornos, laminado...
Regístrate para leer el documento completo.