Cтраница 4
Естественно возникает вопрос: можно ли говорить об однозначности декомпозиции биавтомата, и если да, то в каком смысле. V / 4n, если он не лежит в треугольном произведении этих биавтоматов в том же порядке, в котором отсутствует хотя бы один множитель. Можно доказать [33], что если биавтомат А несократимо лежит в треугольных произведениях своих простых делителей А с AjV... V A m, то т - п и эти треугольные произведения отличаются только порядком. [46]
Возьмем такой эндоморфизм v ( v1, ep v3) свободного биавтомата, что ZV ZOMI, a v3 индуцировано тождественным отображением множества Y на себя. [47]
В частности, кортеж Г - тождеств биавтомата ( или класса биавтоматов) является согласованным. [48]
Класс всех линейных автоматов, рассматриваемых как биавтоматы, образует многообразие биавтоматов. [49]
Класс всех коавтоматов, рассматриваемых как биавтоматы, также является многообразием биавтоматов. Кортеж тождеств многообразия совпадает с кортежем его свободного биавтомата. [50]