ПредишенСледващото

Като метод за образуване изолирани изходни функции като брашно и Мур.

бледен

В щитоносна машината (Engl. Щитоносна машина) определя λ стойността на изходната функция на символ на изхода съгласно класическата схема на абстрактно автомата. Математически модел на схема автоматните и повторение отношения щитоносна не се различава от математическите модели и схеми от повторение отношения абстрактна машина. По този начин, ние можем да дадем следното определение:

Краен детерминиран автомат като Майлс е колекция от пет обекти

комуникационен елемент определя S. X и Y в резюме време Т = 0, 1, 2, ... уравнения:

(Б картите и ДълЖината се наричат ​​съответно функцията преход и функция изход машина).

Отличителна черта на щитоносна автомата е, че функцията на изхода е два аргумент и символ в изходен канал у (Т) е открит само в присъствието на х (т) характер във входния канал. Функционална схема не се различава от абстрактен автомат.

Мур машина

Зависимостта на изходния сигнал само на държавата в лицето на тип автомат Мур (Англ. Мур машина). автомат изход Функцията Мур определя стойността на продукцията, символ е само един аргумент - за състоянието на машината. Тази функция се нарича като функция на етикети, тъй като към всяка държавна машина слага отпечатък върху изхода.

Класификация на абстрактните машини

Функционална схема Мур автомат

Крайните детерминирана Мур тип машина е набор от пет обекти: (. S. X. Y. δ ц) А = >>.

със зависимостта на държавите и изходни сигнали с течение на времето от уравнението:

Отличителна черта на машината Мур е, че у символ (т) в изходния канал съществува през цялото време, докато устройството е в състояние и (т).

За всеки автомат щитоносна Мур там, която изпълнява същата функция. От друга страна, за всяка щитоносна автомат съществува съответстваща Мур автомат (евентуално време изместен, т.е. μ (и (т + 1)) = λ (и (т) х (т)) т ∈ T ..) ,

Други класове на автомати

Интересно е да се подчертаят специални класове на автомати. математически модели, които се основават само на смятане два превозвача.

Нека | X | = 1. Тогава математически модел, а системата на повторение отношения са от вида:

Отличителна черта на функционирането на машината е генерирането на последователността символ изходната дума в зависимост само на последователността от състояния на автомата.

Такава машина се нарича автономна детерминиран краен автомат.

За всеки първоначалното състояние S (0) = S и 0 >>> _> естествено число и т Б определя две автоматична последователност:

държавната машина може да бъде представен като датчик входни последователности през уикенда. В този случай, изходният последователност може да се счита, генерирани и вход - как да представляват. Изходна автоматните последователности определят множество думи, генерирани от тази машина. Автономна КДА нарича генеративен. ако генерираната дума за тях е представено като изходната последователност, а последователност се нарича данните, генерирани автоматично.

Класификация на абстрактните машини

Функционална схема за генериране на автомата

Нека Y = ∅ >>. Тогава математически модел, а системата на повторение отношения са от вида:

Класификация на машините от характера на препратка дискретно време

Машини са разделени в синхронен и асинхронен характер на акта за дискретно време.

синхронни Точките на държавните машини момента, в който машината чете входните сигнали, часовник сигнали се определят насилствено. След следващия часовник сигнал, като се вземат предвид "четат" и в съответствие с коефициентите за функционирането на машината има преход към ново състояние и издаване на изходния сигнал, след което машината може да приеме следващата стойност на входния сигнал.

Asynchronous състояние машина чете входния сигнал е непрекъснат, и следователно, взаимодействие на достатъчно дълъг вход постоянна стойност х, може, както следва от отношенията на работата на машината, няколко пъти за промяна на състоянието, като съответен брой изходни сигнали, докато тя ще влезе в стабилно състояние, който не може да се променя в зависимост от входния сигнал.

Свързани статии

Подкрепете проекта - споделете линка, благодаря!