Відмінності між версіями «Автомат Мілі»

нема опису редагування
(Вікіпедія не може бути джерелом, вик. {{Перекладена стаття|en|}})
[[Файл:Mealy.png|thumb|169px|[[Абстрактного автомата граф|Діаграма станів]] для простого автомата Мілі, з одним входом та одним виходом. Кожен перехід відмічений вхідним (червоний) та вихідним (синій) символами. Автомат починає роботу в стані S<sub>i</sub>. (УВ цьому прикладі автомат дає на виході [[XOR]], двох останніх вхідних символів, тобто одиничку, якщо останній вхідний символ відрізнявся від попереднього він виводить одиничку. СкладнішіБільш складні автомати Мілі можуть мати багато входів та багато виходів.]]
 
'''Автомат Мілі'''&nbsp;— [[скінченний автомат]] чиї вихідні символи визначаються його станом, та символами на вході (на відміну від [[Автомат Мура|автомату Мура]] вихідні символи якого визначаються тільки його станом). На ребрах в [[діаграма станів|діаграмі станів]] позначають вхідні та вихідні символи (а в автоматі Мура вихідні символи позначають на вершинах).
Автомат Мілі може бути примітивною математичною моделлю шифрувальної машини. Якщо взяти за вхідний та вихідний алфавіти наприклад символи [[Латинська абетка|латинки]], то можна сконструювати автомат Мілі, який буде для кожного вхідного рядка давати на виході зашифровану послідовність. Тим не менш, хоча його й можна використати для опису наприклад шифрувальної машини [[Енігма (автомат)|Енігма]], діаграма станів буде занадто складною для конструювання відповідного автомата.
 
== Формальне означення ==
==
Автомат Мілі це [[кортеж|шестірка]], (''S'', ''S''<sub>0</sub>, X, Y, ''T'', ''G''), що складається з:
* скінченної множини станів (''S'')
* початкового (ініціального) стану ''S''<sub>0</sub> який є елементом (''S'')
* вхідного алфавіту (X)
* вихідного алфавіту (Y)
* [[Функція (математика)|функції]] переходів (''T'' : ''S'' × X → ''S'') що відображує пару стан, вхідний символ, на інший стан в який здійснюється перехід за цим символом.
* [[Функція (математика)|функції]] виходів (''G'' : ''S'' × X → Y), яка відображає пари стан, вхідний символ, у вихідні символи.
 
В деяких формулювання функції переходів та виходів об'єднують в одну (''T'' : ''S'' × X → ''S'' × Y).
 
}}
[[Категорія:Теорія автоматів]]
 
[[bs:Mealyjev automat]]
[[ca:Màquina de Mealy]]
[[cs:Mealyho automat]]
[[de:Mealy-Automat]]
[[en:Mealy machine]]
[[es:Máquina de Mealy]]
[[fr:Machine de Mealy]]
[[hr:Mealyev automat]]
[[id:Mesin Mealy]]
[[it:Macchina di Mealy]]
[[ja:ミーリ・マシン]]
[[pl:Automat Mealy'ego]]
[[pt:Máquina de Mealy]]
[[ru:Автомат Мили]]
[[sr:Milijev automat]]
[[th:เครื่องจักรแบบเมลลี่]]
[[zh:米利型有限状态机]]
37 331

редагування