ТР является средством задания Ответ между значениями элементов некоторого конечного множества условий, определяющих состояния ПО (ситуации), и последовательностями также конечного множества действий, определяющих принимаемые решения