Резюме на машината е математически модел на дискретно управление на устройството. Той е даден от снимачната площадка на шест елемента:
Z = 1, ..., ZF, ..., ZF> комплект от входни сигнали (вход азбука);
W = 1, ..., РГ, ..., WG> набор от изходните сигнали (продукция азбука);
-облекчаване на функции за изпълнение на картографиране на
дд ÍA'Z в А (AS =;
- функция на изхода, който осъзнава, картографиране на
a1 ÎA - първоначалното състояние.
Той призова краен автомат. ако крайно множество A, Z и W.
Автомат се нарича напълно квалифицирани. ако. т.е. областта на функциите и съвпада с набор от всички двойки от формата (ч. ZF).
В частична функция машина, или не са определени за всички двойки (ч. Zf)ÎA'Z.
Концепцията за държавна в дефиницията на автомата въведена дължи на факта, че често е необходимо, за да опише поведението на системи, чиито изходи зависи не само от щатите входове за даден момент, но от известно история, това е, сигналите, които се получават на входа, преди системата , Членка съответстват точно на паметта за миналото, което ви позволява да се елиминира времето, тъй като изрично променлива и изрази изходните сигнали като функция от държави и входове в даден момент.
Резюме машина има един вход и един изход на канала. На всеки миг т = 0, 1, 2, ... на дискретни машината е в определено състояние на (т)ÎA. при Т = 0, винаги е в нормално състояние (0) = a1. Във време Т, е в състояние на (т), устройството е в състояние да приеме Z входния канал сигнал (т)ÎZ и изход на сигнал на изходния канал т (т) = L (а (т), Z (т)), преходен да се посочва (т + 1) = г (а (т), Z (т)), а ( т)ÎА, w (т)ÎW.
Смисълът на понятието абстрактен автомат е, че тя осъществява картиране на Z думите на вход азбука в множество от думи изход азбука W.
На практика най-широко използваните машини бледен и Мур.
Право да функционира щитоносна автомат, даден от уравненията:
а (т + 1) = г (а (т), Z (т)); w (т) = L (а (т), Z (т)), т = 0, 1, 2, ...
Право да функционира Мур FSM:
а (т + 1) = г (а (т), Z (т)); w (т) = L (а (т)), т = 0, 1, 2, ...
Свързани статии