Of course it is, just like all programming languages. If it weren't formal, a computer couldn't interpret it precisely. Formal means mechanical; a language whose calculus can be carried out by a machine.