Język programowania określany jest jako "język formalny" ze względu na jego precyzyjny, formalny charakter oraz ściśle określoną składnię i semantykę. Języki programowania różnią się od języków