Programirane na ADA95

Ima li njakoi ot vas ponjatie ot tozi neizvesten ezik? Problema e cha trqbva da napisha njakoi algoritmi na nego, primerno turing mascina, i ne che ne znam kak stava teortitichno, ama tozi ezik mi e mnooogo stranen, njamam opit s nego. Ima li njakva literatura v BG?
10x na sichki.