С каким формальным языком программирования вы знакомы? Для чего он предназначен?

Языки программирования предназначены для создания различных программ. Виды языков программирования:С, С+, С++, Java и другие.

1)PascalABC (не уверен)2)Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов.