Първоначален автомат - Голяма енциклопедия на нефта и газа, статия,Страница 1
начален автомат
Начален автомат 5tq се нарича първоначално свързан, ако за всеки връх q от преходния граф G на автомата 91, различен от q, съществува такава последователност qv0, vit. Vi i води ръба. Автомат 51 се нарича дървоподобен, ако неговият преходен граф е ориентирано към корен дърво с цикли, прикрепени към крайните му върхове. [1]
Първоначален автомат 9tg се сблъсква с автомат с намалена форма, ако 9t е автомат с намалена форма и EDD първоначално е свързан. Като по-просто следствие от теорема 2.8 получаваме, че в класа на всички начални автомати, неразличими от даден първоначален автомат, има единствен автомат с редуцирана форма до изоморфизъм. [2]
От начални автомати се нарича обединението на / - спектри на периодичност на автомати от клас K. [3]
Конструирайте такъв първоначален EE автомат, че когато автоматът 5q взаимодейства с автомата St7, единиците на изхода на автомата и се появяват с възможно най-високата честота. [4]
Да кажем, че крайният начален автомат 91 (L, Q, B, F, a), 70) е допустим за лабиринта. [5]
Тази система от уравнения съответства на първоначалния автомат, чиято диаграма на Мур е показана на фиг. 1.21, където елементите ( 1, az) на множествата A, Q, B са означени с cti, a2 и началното състояние е отбелязано със звездичка. Този автомат, както е лесно да се види, първоначално е свързан. [6]
Като набор 9R от първоначални автомати, към който принадлежи изследваният автомат U1Ch, ние ще разгледаме допълнително наборите U. По този начин цялата налична информация преди експеримента за изследвания автомат tyq се свежда само до някои оценки на броя на състоянията, входните и изходните символи на този автомат.[7]
Лема 2.4. Нека vfy съществува за начален автомат 51 0 и естествено число i. [8]
Следователно, с всеки начален автомат има асоциирана функция, дефинирана на набора от думи във входната азбука и приемаща стойности на набора от думи в изходната азбука. Тази функция се нарича поведение на първоначалния автомат. Наричаме два начални автомата еквивалентни, ако имат еднакво поведение. Това означава еквивалентност на всички модели, които интерпретират едно физическо устройство. [10]
Нека 21 е някакъв клас начални автомати с входна азбука X и изходна азбука Y. [11]
Когато автоматът A работи заедно с първоначалния автомат B, се генерира двойка последователности ( p, q) в азбуките X и Y, където p f ( q), q e A ( p) В този случай, ако автоматите A и B работят безкрайно дълго, трябва да се вземе предвид естественото разширение на автоматните преобразувания до безкрайни последователности. [12]
Множеството SN се нарича още суперсъбитие, представено от начален автомат 3 ( 9 с помощта на множеството N. Първоначалният автомат, който се разглежда от гледна точка на неговото поведение - III, се нарича суперакцепторен автомат. [13]
Ако азбуката има K знака, може да се дефинира начален автомат с 2K състояния, които съответстват на двойките (B, X), където B е вярно или невярно в зависимост от това дали последният знак е 2 или не 2, а X е знакът, който идва след предишния максимален низ от 2s. [14]
Няма алгоритъм, който би позволил да се дешифрират първоначалните автомати на Мили, за които нищо не се знае за броя на състоянията. Оказва се обаче, че повечето от тези автомати все още могат да бъдат дешифрирани. [15]