Tecnologia

• Programación estructurada SOL.
El lenguaje SOL (por las siglas en ingles de Structured Oriented Languaje) trata de llenar este hueco de historiar la concepción de un programa partiendo de la ideabásica de que todo comportamiento secuencial puede modelarse por medio de un autómata finito.
La observación de cómo se realiza un trabajo, cualquiera sea su naturaleza, puede concebirse como unasecuencia de aplicaciones de herramientas de trabajo, seguida de una herramienta de medida que chequea una condición lógica. Eventualmente la secuencia puede ser vacía y la condición lógica unatautología (es decir, puede obviarse si siempre es verdadera). Y a esta secuencia seguida de una condición, la bautizaremos con el nombre de trabajo elemental. Nótese que la noción de elemental corresponde altipo de herramienta usada y no a la tarea en sí. Por ejemplo, si una herramienta es poderosa, hacer una tarea con ella puede resultar elemental pero no si se realiza con herramientas más primitivas.El nexo entre estado de un autómata finito y estado de la programación se da precisamente en la noción de trabajo elemental.
El modelo de descripción de un programa como autómata finito:
Modelar uncomportamiento secuencial por medio de autómatas finitos es una noción muy aceptada no solo por estudiantes de sistemas digitales sino también por otras disciplinas.
Este hecho esta soportado por lostrabajos donde autómatas relativamente complejos son diseñados e implementados eficazmente por circuitos digitales.
El comportamiento de un autómata finito (análogamente máquina secuencial) seespecifica por medio de una tabla en la cual las filas son los estados (que indican alguna acción a tomar) y las columnas son los estímulos o entradas al sistema. Cada entrada a esta tabla representa elpróximo estado que seguirá el autómata dependiendo del estímulo o entrada.
Hay un estado inicial y uno o más estados finales Para explorar las ventajas de modelar comportamiento secuencial mediante...