A Turing programozási nyelv

A Turing rendszerek alapjai

Bevezetés

A Turing programozási nyelvet a Torontói egyetemen alkották meg, elsősorban a PL/1 nyelv felváltására az oktatásban. A nyelv megalkotása főként R. C. Holt és J. R. Cordy nevéhez fűződik, 1983 őszére készült el. Legfontosabb őseként a Pascalt kell megemlíteni, közvetlen előzménye pedig a Euclid illetve a Concurrent Euclid volt. 1984-re készült el a Turing első kiterjesztése a Turing Plus, amely elsősorban a párhuzamosság és a kivételkezelés eszközeivel bővítette ki a nyelvet. A Turing általános célú programozási nyelv, fő tervezési szempontjai megbízhatóság, a kényelmes használhatóság és a hatékonyság voltak. Maga a Turing szigorú precizitással definiált nyelv, a formális szintaktika-leírás mellett megadták a formális szemantikáját is (axiomatikus és procedurális módon). Ezzel szemben a Turing Plus jóval engedékenyebb, így több lehetőséget nyújt a programozóknak. Több további kiterjesztés is készült, ilyen például a numerikus Turing, illetve az objektum orientált Turing.