Cтраница 3
В силу данного определения не исключается случай, когда множество С ( Т) пусто, что может иметь место, если исходных данных недостаточно для решения задачи путем последовательного вычисления функций. Это, однако, не означает, что задача неразрешима, просто для ее решения могут понадобиться другие, нефункциональные уравнения, являющиеся следствием данных функциональных отношений. Например, если есть отношения ХА В, В - Х С и эквивалентные им АХ - В, ВХ - А, Х С - В, С В Х, а требуется найти X из А, С, то из этих отношений нельзя получить решения Х ( А С) / 2, поскольку ни в одном из них аргументы не содержатся полностью в числе исходных данных. Это обстоятельство является недостатком рассмотренного определения семантики, которое мы назовем последовательным. Ниже мы рассмотрим обоснование такого определения. [31]