Определение: Будем называть языком ошибок правила, в обход которым пишутся программы.

1.Ошибки могут следовать друг за другом.

2. От перестановки двух эквивалентных ошибок результат не меняется (коммутативность эквивалентных ошибок).

3. Две последовательные ошибки можно объединить в одну более сильную.

4. Одинаковые ошибки необязательно делать каждый раз, достаточно сделать одну, а затем обращаться к ней по мере необходимости из любого места программы.

5. Ошибки могут образовывать циклы. Наиболее устойчивый из них - бесконечный.

6. Ошибки могут вызывать друг друга и сами себя (рекурсивность ошибок).

7. Ошибки допускают многократное вложение друг в друга.

8. Две одинаковые вложенные ошибки называются четной ошибкой и ошибкой не являются.

Свойство четности ошибок: Если написанная программа сработала правильно, то это значит, что во время ее работы выполнилось четное число ошибок или программист не понял задание.

Формулировка вышеприведенного свойства, предназначенная для политиков: Ошибка, повторенная дважды, перестает быть ошибкой.