Cтраница 4
Логические схемы, имеющие на входе для задания информации набор сигналов, образующих входное слово, а на выходе набор сигналов или выходное слово, называются комбинационными схемами. [46]
Задавая универсальной машине Тьюринга Ти изображение программы любой данной машины Тьюринга Тп и изображение любого ее входного слова хп, получим изображение выходного слова уп, в которое машина Тп переводит слово хп. [47]
В случае, если мы не различаем автоматы, которые на одни и те же входные слова отвечают одними и теми же выходными словами, автоматы, описываемые ( 46а) и ( 100), эквивалентны. [48]
При этом любому входному слову x ( t), x ( t l) ( I - длина слова) ставится в соответствие выходное слово той же длины. [49]
Алфавитный оператор называется однозначным, если он каждому входному слову ставит в соответствие одно вполне определенное выходное слово, если же оператор не сопоставляет никакого выходного слова, то говорят, что оператор не определен на этом входном слове. Совокупность всех слов, на которых оператор определен, называется областью его определения. Два алфавитных оператора считаются равными, если они имеют одну и ту же область определения и любому слову из этой области ставят в соответствие одно и то же выходное слово. [50]
Матрица ( рис. 49, в) составлена таким образом, что i - й строке входного слова Nt соответствует / - я строка выходного слова NJ, причем выбирается / i 1, т, е, Nj - - Ni l, За i - й входной комбинацией с задержкой т, определяемой переходными процессами матрицы, на выходе формируется ( i 1) - я входная комбинация, которая в свою очередь организует ( i 2) - ю комбинацию входного кода. [51]
Задача настоящей главы состоит в том, чтобы обобщить математическую модель, разработанную для детерминированных систем таким образом, чтобы динамические системы с недетерминированными входными и выходными словами и состояниями ( стохастические динамические системы) охватывали детерминированные системы в качестве частного случая. Эта задача с математической точки зрения легче осуществима для систем с дискретным временем по сравнению с системами с непрерывным временем. [52]