Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

^rSkQ Sm На пересечении /-го столбца и j -ой строки (i^, j^) записывается выражение qrSkQ, являющееся частью команды qisjqrskq если такая команда есть. Если команды, начинающейся с qiSj, нет, то на пересечении /-го столбца и j -ой строки ставится прочерк. По заданной машине Тьюринга и начальной конфигурации Kg найти заключительную конфигурацию для следующих вариантов. 1) qo qi 0 q*lS qrjOR 1 qiOR qilL а) Ko=l'qol'01, б) Ko=lqol'; 2) qo qi q2 0 q*OS q*lL qrjJL 1 qilR qiOR qoOR а) Ko=lqol\ б) Ko=qol^01, в) Ko=10qol\ 44. Доказать, что следующие функции примитивно рекурсивны: Г О, если х = 0, a)sg(x)=\ : б) [1, еслих>0 186