To zbiór reguł syntaktycznych (składnia) oraz semantyki (znaczenie), które opisują, jak należy budować poprawne wyrażenia oraz jak komputer ma je rozumieć Pozwala na precyzyjny zapis algorytmów oraz innych zadań, jakie komputer ma wykonać