Cтраница 4
Предполагается, что выражение ОТ ( 817Е ( ПРОБА), 512Е ( ДЛ)) требует не менее одной литеры, хотя на самом деле оно сопоставляется с пустой цепочкой. [46]
Выполнение первой строки из этого ряда программ ( заметьте, что каждая строка оканчивается металитерой - апострофом) приводит к запоминанию бланка с именем АА и телом Кот и к печати пустой цепочки. Вторая строка аналогичным образом создает бланк с телом Ф ( вц, А А) и именем ВВ и печатает пустую цепочку. Дальше начинается самое интересное. [47]
Напомним, что в соответствии с разделом 2.3 заданное внешнее полное поведение определяется функцией /: X - Y, где X-входной алфавит, X - множество всех цепочек над входным алфавитом плюс пустая цепочка, a Y - выходной алфавит. Элемент / ( х) есть конечный выходной символ, определяемый входной цепочкой к при условии, что автомат начинает работать из заданного начального состояния. Множество классов эквивалентности, умножение которых задается сочленением соответствующих цепочек, определяет полугруппу автомата. [48]