Cтраница 2
Данное определение относится как к чистым, так и к линейным автоматам. Класс автоматов, удовлетворяющих некоторому набору квазитождеств, называется квазимногообразием автоматов. Квазитождество Z1ox1z2ojc2z1 jc1z2 x2 определяет квазимногообразие чистых автоматов Мура. [16]
Данное определение относится как к чистым, так и к линейным автоматам. Класс автоматов, удовлетворяющих некоторому набору квазитождеств, называется квазимногообразием автоматов. Квазитождество Z1ox1z2ojc2z1 jc1z2 x2 определяет квазимногообразие чистых автоматов Мура. [17]
Наряду с многообразиями значительный интерес представляют квазимногообразия. В частности, наряду с многообразиями автоматов рассматриваются квазимногообразия автоматов. Такой важный класс автоматов, как класс автоматов Мура, является квазимногообразием автоматов. [18]