ОПРЕДЕЛЕНИЕ. Словарная функция f:(A*)n ® A* вычисляется системой P, если: " 1,
Словарная функция f:(A*)n ® A* вычисляется системой P, если: " 
1, . . . , n Î A* (f( 1, ... , n) = n+1 
в системе Pвыводится слово ″f( 1, ... , n) = n+1″),
То есть функция f, вычисляемая системой Поста P, отображает набор ( 1, . . . , n), составленный из - слов в алфавите A, в слово n+1 в том же алфавите тогда и только тогда, когда в P выводима запись: ″f( 1, ... , n) = n+1″.
Иначе говоря, в системе P выводятся записи таких слов, которые представляют график отображения f.
Аналогично определяется понятие числовой функции, вычисляемой в некоторой системе Поста P.
Пусть 
обозначает двоичную запись числа m .
Дата добавления: 2015-09-18; просмотров: 485;