SOL: Un lenguaje para el programador

Abstract

En este trabajo se propone llevar a la práctica, a la luz de nuevas tecnologías informáticas, un ambiente de concepción de programas cuyos orígenes se toman de un trabajo publicado por el director del proyecto (1978) y desarrollado a través de diferentes implementaciones y aplicaciones de la metodología a lo largo de los últimos años. La idea central consiste en brindar un lenguaje para el programador, que refleje la metodología de concepción de ideas, más que un lenguaje estándar para programar donde finalmente será escrito el problema a resolver. En este modelo la estructura de control de un programa se define separadamente del resto de las instrucciones del lenguaje de programación, y es modelada a su vez por el comportamiento de una jerarquía de autómatas finitos. El enunciado inicial de un problema puede concebírselo como un autómata de un solo estado. A cada estado podrá corresponderle hasta dos próximos estados acorde a la evaluación lógica de una condición ( si existe ) al final de su tarea. A partir de aquí y en forma recursiva se analiza si un estado particular de un autómata puede ser sintetizado directamente por el lenguaje de programación disponible. En tal caso la descomposición se detiene, sino el comportamiento del estado particular se descompone en un nuevo autómata en un nivel inferior. Y así sucesivamente en un número finito de pasos se arribará a que todos los estados del autómata ( jerarquía de autómatas ) pueden ser sintetizados "razonablemente bien" por instrucciones del lenguaje de programación disponible. La idea de concebir programas mediante este lenguaje ( o metodología ) resulta de interés como medio unificado de programación, ya que la descripción de la solución de un problema puede plantearse con cierto grado de independencia del lenguaje final a utilizar ( paradigma imperativo ) y por consiguiente puede permitir la reutilización y portabilidad de programas más eficientemente.