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

949 байтів вилучено ,  9 років тому
м (r2.5.4) (робот додав: sr:Milijev automat)
Автомат Мілі може бути примітивною математичною моделлю шифрувальної машини. Якщо взяти за вхідний та вихідний алфавіти наприклад символи [[Латинська абетка|латинки]], то можна сконструювати автомат Мілі, який буде для кожного вхідного рядка давати на виході зашифровану послідовність. Тим не менш, хоча його й можна використати для опису наприклад шифрувальної машини [[Енігма (автомат)|Енігма]], діаграма станів буде занадто складною для конструювання відповідного автомата.
 
==
== Формальне означення ==
Автомат Мілі це [[кортеж|шестірка]], (''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).
 
Анонімний користувач