Turing (lenguaje de programación)

Turing es un lenguaje de programación de alto nivel y propósito general desarrollado en 1982 por Ric Holt y James Cordy en la Universidad de Toronto , Ontario, Canadá. Fue diseñado para ayudar a los estudiantes que cursaban su primer curso de informática a aprender a programar. Turing es descendiente de Pascal , Euclid y SP/k, y se caracteriza por una sintaxis clara y una semántica precisa e independiente de la máquina .

Turing 4.1.0 es la última versión estable. Las versiones 4.1.1 y 4.1.2 no generan archivos ejecutables (.exe) independientes . Las versiones anteriores a la 4.1.0 tienen sintaxis y funciones obsoletas.

Nombrado en honor al científico informático británico Alan Turing , Turing se utiliza principalmente como lenguaje de enseñanza en la escuela secundaria y la universidad. ^{[ 1 ]} Existen otras dos versiones: Turing Orientado a Objetos y Turing+ , una variante de programación de sistemas. En septiembre de 2001, "Turing Orientado a Objetos" pasó a llamarse "Turing" y el Turing original pasó a llamarse "Turing Clásico". Holt Software Associates, con sede en Toronto, Ontario , ya no ofrece soporte para Turing . Turing se utilizaba ampliamente en las escuelas secundarias de Ontario como introducción a la programación. ^{[ 2 ]}

El 28 de noviembre de 2007, Turing, que anteriormente era un lenguaje de programación comercial, se convirtió en software libre, disponible para su descarga gratuita desde el sitio web del desarrollador para uso personal, comercial y educativo. ^{[ 3 ] [ 4 ] [ 5 ]}

Los creadores de Turing, Holt Software Associates, cesaron sus operaciones y Turing no ha tenido más desarrollo desde el 25 de noviembre de 2007. ^{[ 4 ]}

Turing está diseñado para tener una sintaxis muy ligera, legible e intuitiva . Aquí está el programa completo "¡Hola, mundo!" en Turing con resaltado de sintaxis :

¡Pon "Hola Mundo!"

Turing evita los puntos y comas y las llaves , utilizando marcadores de fin explícitos para la mayoría de las construcciones del lenguaje, y permite declaraciones en cualquier lugar. Aquí hay un programa completo que define y utiliza la función recursiva tradicional para calcular un factorial .

% Acepta un número y calcula su factorial.función factorial ( n : int ) : real si n = 0 entonces resultado 1 sino resultado n * factorial ( n - 1) fin si fin factorialvar n : int loop put "Por favor, ingrese un número entero: " .. get n exit when n >= 0 put "La entrada debe ser un número entero no negativo." end loop" El factorial de " , n , " es " , factorial ( n )

Actualmente, existen dos implementaciones alternativas de código abierto de Turing: Open Turing, una versión de código abierto del intérprete original , y TPlus , un compilador nativo para la variante de lenguaje de programación de sistemas concurrentes Turing+ . OpenT , un proyecto para desarrollar un compilador de Turing, fue descontinuado.

Turing+ (Turing Plus) es un lenguaje de programación de sistemas concurrente basado en el lenguaje de programación Turing, diseñado por James Cordy y Ric Holt , entonces en la Universidad de Toronto , Canadá, en 1987. Algunas, pero no todas, las características de Turing+ fueron posteriormente incorporadas a Turing orientado a objetos . Turing+ extendió el Turing original con procesos y monitores (según lo especificado por CAR Hoare ), así como con construcciones de lenguaje necesarias para la programación de sistemas, tales como entrada/salida binaria, compilación separada, variables en direcciones absolutas, convertidores de tipos y otras características.

Turing+ fue diseñado explícitamente para reemplazar a Concurrent Euclid en aplicaciones de programación de sistemas. El sistema operativo TUNIS , originalmente escrito en Concurrent Euclid, fue recodificado a Turing+ en su implementación MiniTunis . Turing+ se ha utilizado para implementar varios sistemas de software de producción, incluido el lenguaje TXL .

El lenguaje Turing orientado a objetos es una extensión del lenguaje de programación Turing y un reemplazo para Turing Plus, creado por Ric Holt ^{[ 8 ] [ 9 ]} de la Universidad de Toronto , Canadá, en 1991. Es imperativo , orientado a objetos y concurrente . Cuenta con módulos , clases , herencia simple , procesos , manejo de excepciones y programación opcional dependiente de la máquina .

Hay un entorno de desarrollo integrado bajo el sistema X Window y una versión de demostración. ^{[ 10 ]} Existen versiones para Sun-4 , MIPS , RS-6000 , NeXTSTEP , Windows 95 y otros.

• Grogono, Peter (1995). Programación con Turing y Turing orientado a objetos . Springer-Verlag. ISBN 978-0-387-94517-0.
• Holt, Richard C.; Cordy , James R. (diciembre de 1983). "El informe del lenguaje de Turing". Informe anual de progreso . Canadá: Instituto de Investigación de Sistemas Informáticos, Universidad de Toronto . ISSN 0316-6295 . 
• Holt, Richard C.; Cordy , James R. (diciembre de 1988). "El lenguaje de programación de Turing" . Communications of the ACM . 31 (12): 1410– 1423. doi : 10.1145/53580.53581 . S2CID 40859457 . 
• Holt, Richard C.; Matthews, Philip A.; Rosselet, J. Alan; Cordy, James R. (1988). El lenguaje de programación de Turing: diseño y definición . Englewood Cliffs, NJ : Prentice Hall . ISBN 978-0-13-933136-7OCLC 17377539​​ 

• OpenTuring en GitHub