Полугрупа - автоматична - Голяма енциклопедия на нефта и газа, статия, стр. 1

Полугрупа - автоматична

Полугрупата на автоматите 21x и полугрупите W(N) на автоматите са вградени в полугрупата 2U на абстрактните автомати чрез операцията на композиция. [1]

Полугрупата на автоматите 53 е вложена в полугрупата 21 0 на абстрактните автомати чрез операцията за съставяне. [2]

Ако разгледаме полугрупи от автомати според различни операции, които по същество съответстват на различни видове връзки между автомати, тогава проблемът за разлагането на автомати с избора на стандартни автомати може формално да се третира като проблем за делимост в полугрупи от автомати и по този начин да се сведе до решаване на уравнения в полугрупи от абстрактни автомати. [3]

Да приемем, че полугрупата на автомата все пак е намерена. [4]

Очевидно полугрупата S на пермутационно-повтарящ се автомат е обединението на групата G и множеството от повтарящи се елементи R. Стандартният автомат на полугрупата S може да бъде представен чрез последователно-паралелна връзка на груповия автомат с групата G и стандартния полугрупов автомат с полугрупата R1, получена от R в резултат на добавяне на двустранна идентичност. [5]

В случай, че полугрупата на автомата не е група, някои от неговите преходни карти трябва да са свиващи. Първо разглеждаме специалния случай на свиващи преобразувания. [6]

Полугрупата на автоматите 21x и полугрупите W(N) на автоматите са вградени в полугрупата 2U на абстрактните автомати чрез операцията на композиция. [7]

Казва се, че автомат M е групов или пермутационен автомат, ако всеки входен сигнал към него индуцира пермутация на елементи в неговия набор от състояния; в този случай полугрупата Ms на автомата M ще бъде група. [8]

Ако разгледаме полугрупитеавтомати според различни операции, които по смисъл съответстват на различни видове автоматни взаимовръзки, тогава проблемът за разлагането на автомати с избора на стандартни автомати може формално да се третира като проблем за делимост в полугрупи от автомати и по този начин да се сведе до решаване на уравнения в полугрупи от абстрактни автомати. [9]

A, S, φ, S) е обединението на някои A-класове. Тъй като полугрупата на автомата го характеризира до изоморфизъм, различните класове полугрупи съответстват на техните собствени класове автомати. Друг подход, свързан с алгебричния [10]

Автомат е всяка функция /: 2 A-B, полугрупа на автомат. Очевидно f е конгруентна връзка. [единадесет]

Спомнете си, че съгласно раздел 2.3 дадено външно пълно поведение се дефинира от функцията /: X - Y, където X е входната азбука, X е наборът от всички низове над входната азбука плюс празния низ, а Y е изходната азбука. Елементът / (x) е крайният изходен символ, определен от входната верига k, при условие че автоматът започва работа от дадено начално състояние. Наборът от класове на еквивалентност, чието умножение е дадено от артикулацията на съответните вериги, дефинира автоматна полугрупа. [12]