Page 124 - LENGUAJES FORMALES AUTOMATAS Y COMPILADOS

124

El objetivo es convertir el comportamiento deseado en código, un buen programa debe ser un
producto de calidad con atributos como: corrección, confiabilidad, integridad, eficiencia y
facilidad de uso. Éste debe ser testeado y mantenido.

Sistemas Embebidos
Están destinados a fines muy específicos, son programados a bajo nivel o nivel intermedio y
operan en ausencia de sistemas operativos en tiempo real, la ausencia del sistema operativo
requiere que el software opere directamente sobre los recursos del hardware: bancos de registros,
niveles de interrupción y puertas de entrada salida. Entre las aplicaciones están: identificación de
patrones y virus informáticos, la identificación de patrones admite diferentes enfoques como el
sintáctico, éste se basa en utilizar la teoría de lenguajes formales para encontrar similitudes en las
relaciones estructurales con aplicaciones como: la identificación del idioma, el agrupamiento de
noticias, la identificación de transacciones, análisis de la efectividad, comprobación de virus.

Neumann trabajó en la demostración de la factibilidad del auto réplica, elementos artificiales que
pueden multiplicarse por sí mismo sin perder sus cualidades ni degradarse. Su estudio estaba
orientado a la genética y al futuro desarrollo de los virus informáticos.

Sistemas Industriales

Las máquinas secuenciales y los autómatas finitos tienen una amplia aplicación en el campo
Industrial como los robots manipuladores, las máquinas herramientas, cintas transportadoras,
elevadores, máquinas envasadoras, balanzas automáticas, hornos industriales, estos se basan en
la adopción de sucesivos estados que transitarán de un estado a otro según estímulos o señales
recibidas del entorno que exhiben conductas definidas con anticipación y su alteración está fuera
del alcance del propio dispositivo.