Запись исходного заявлений и филиал исходы, которые встречаются при компьютерной программы выполняется с помощью символической, а не фактические, значения для входных данных.