[Carro]

Языки манипулирования, запросов и т.п. никакого отношения не имеют к лингвистике. Там надо показать обычно, что может быть машина Тьюринга , а не филологические изыски. Не слышала, чтобы филологи языки по предмет машины Тьюринга изучали.