Автомат Мілі — скінченний автомат, чиї вихідні символи визначаються його станом, та символами на вході (на відміну від автомату Мура, вихідні символи якого визначаються тільки його станом). На ребрах в діаграмі станів позначають вхідні та вихідні символи (а в автоматі Мура вихідні символи позначають на вершинах).
Автомат Мілі названий на честь , який представив ідею в роботі 1955 року, «A Method for Synthesizing Sequential Circuits.»
Автомат Мілі може бути примітивною математичною моделлю шифрувальної машини. Якщо взяти за вхідний та вихідний алфавіти, наприклад, символи латинки, то можна сконструювати автомат Мілі, який буде для кожного вхідного рядка давати на виході зашифровану послідовність. Тим не менш, хоча його й можна використати для опису, наприклад, шифрувальної машини Енігма, діаграма станів буде занадто складною для конструювання відповідного автомата.
Формальне означення
Автомат Мілі це шестірка, (S, S0, X, Y, T, G), що складається з:
- скінченної множини станів (S)
- початкового (ініціального) стану S0 який є елементом (S)
- вхідного алфавіту (X)
- вихідного алфавіту (Y)
- функції переходів (T : S × X → S) що відображує пару стан, вхідний символ, на інший стан в який здійснюється перехід за цим символом.
- функції виходів (G : S × X → Y), яка відображає пари стан, вхідний символ, у вихідні символи.
В деяких формулювання функції переходів та виходів об'єднують в одну (T : S × X → S × Y).
Див. також
Примітки
- Mealy, George H. (September 1955). A Method for Synthesizing Sequential Circuits. Bell Systems Technical Journal. 34: 1045—1079.
Посилання
- Mealy, George H. (1955). A Method to Synthesizing Sequential Circuits. Bell Systems Technical Journal. с. 1045—1079.
- Roth, Charles H., Jr. (2004). Fundamentals of Logic Design. Thomson-Engineering. с. 364—367. ISBN .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Avtomat Mili skinchennij avtomat chiyi vihidni simvoli viznachayutsya jogo stanom ta simvolami na vhodi na vidminu vid avtomatu Mura vihidni simvoli yakogo viznachayutsya tilki jogo stanom Na rebrah v diagrami staniv poznachayut vhidni ta vihidni simvoli a v avtomati Mura vihidni simvoli poznachayut na vershinah Diagrama staniv dlya prostogo avtomata Mili z odnim vhodom ta odnim vihodom Kozhen perehid vidmichenij vhidnim chervonij ta vihidnim sinij simvolami Avtomat pochinaye robotu v stani Si V comu prikladi avtomat daye na vihodi XOR dvoh ostannih vhidnih simvoliv tobto odinichku yaksho ostannij vhidnij simvol vidriznyavsya vid poperednogo vin vivodit odinichku Skladnishi avtomati Mili mozhut mati bagato vhodiv ta bagato vihodiv Avtomat Mili nazvanij na chest yakij predstaviv ideyu v roboti 1955 roku A Method for Synthesizing Sequential Circuits Avtomat Mili mozhe buti primitivnoyu matematichnoyu modellyu shifruvalnoyi mashini Yaksho vzyati za vhidnij ta vihidnij alfaviti napriklad simvoli latinki to mozhna skonstruyuvati avtomat Mili yakij bude dlya kozhnogo vhidnogo ryadka davati na vihodi zashifrovanu poslidovnist Tim ne mensh hocha jogo j mozhna vikoristati dlya opisu napriklad shifruvalnoyi mashini Enigma diagrama staniv bude zanadto skladnoyu dlya konstruyuvannya vidpovidnogo avtomata Formalne oznachennyaAvtomat Mili ce shestirka S S0 X Y T G sho skladayetsya z skinchennoyi mnozhini staniv S pochatkovogo inicialnogo stanu S0 yakij ye elementom S vhidnogo alfavitu X vihidnogo alfavitu Y funkciyi perehodiv T S X S sho vidobrazhuye paru stan vhidnij simvol na inshij stan v yakij zdijsnyuyetsya perehid za cim simvolom funkciyi vihodiv G S X Y yaka vidobrazhaye pari stan vhidnij simvol u vihidni simvoli V deyakih formulyuvannya funkciyi perehodiv ta vihodiv ob yednuyut v odnu T S X S Y Div takozhAvtomat Mura Avtomatni vidobrazhennyaPrimitkiMealy George H September 1955 A Method for Synthesizing Sequential Circuits Bell Systems Technical Journal 34 1045 1079 PosilannyaMealy George H 1955 A Method to Synthesizing Sequential Circuits Bell Systems Technical Journal s 1045 1079 Roth Charles H Jr 2004 Fundamentals of Logic Design Thomson Engineering s 364 367 ISBN 0534378048