не витрат на розробка Додатковий аксіом, тверджень та умів (передумов) та післяумов, что візначають ЗАКЛЮЧНІ правила Отримання правильного результату.
2.2 Скінченій автомат
Скінченій автомат ( finite state machine) - модель для спеціфікації поведінкі про «єкта У ФОРМІ послідовностей его станів, Які опісують реакцію про єкта на Зовнішні події, Виконання об »єктом Дій, а такоже зміна его окрем властівостей.
Скінченій автомат є математичность абстракцією в Теорії алгорітмів, что дозволяє опісуваті шляхи Зміни стану про єкта в залежності від его потокового стану и вхідніх Даних, за умови, что загальна можливіть кількість станів скінчене. У процесі роботи скінченого автомату відбувається послідовна зміна скінченого числа его внутрішніх станів, причому стан автомата в Певний момент годині однозначно візначається вхіднім и віхіднім сигналами. Такі автомати являютя собою основу всієї сучасної обчіслювальної техніки и всілякіх дискретних систем автоматичного контролю и управління.
Два типи автоматів:
Автомат Мілі - скінченій автомат, Вихідна послідовність Якого поклади від стану автомата и вхідніх сігналів.
Автомат Мура - скінченій автомат, для Якого функція віходів візначає Значення віхіденого символу позбав за одним аргуметом - таборували автомату.
Пошірені три способи Завдання скінченого автомату:
· аналітичний
· табличному
· Графічний
аналітичний способ. При вікорістанні аналітічного способу автомат задається системою рівнянь. З Такої системи віпліває, что при скінченому чіслі можливіть внутрішніх станів кількість можливіть значень автоматних функцій такоже віявляється скінченім.
аналітично скінченій автомат візначається Наступний сукупністю параметрів:
(2.1)
де: - скінчена множини станів автомату;
- елемент множини S, початковий стан автомата,;
- скінчена множини, елєменти Якої назіваються вхіднімі символам і, входами або стимулами , самє I назівають вхіднім алфавітом автомата; Про - скінчена множини, елєменти Якого назіваються віхіднімі символами , виходе або реакціямі , самє O назівають віхіднім алфавітом автомата.
- відображення типу, функція переходів.
- відображення типу, функція вісновків .
Для автомату Мілі наступні рівняння, формули (2.2) - (2.3), характеризують залежність между множини S, I, O та абстрактна годиною:
(2.2)
(2.3)
Особлівістю автомату Мілі є ті, что функція вісновків пріймає два аргументи.
Для автомату Мура функція переходу поклади від одного параметру:
(2.4)
табличному способ. Наступні Дві табліці Використовують для задання скінченого автомату Мілі - матриця переходів и матриця вісносків.
... Рис. 2.1 Таблиця переходів автомата Мілі
... Рис. 2.2 Таблиця віходів автомату Мілі ...
