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

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