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