Відмінності між версіями «Скінченний автомат»

Перейти до навігації Перейти до пошуку
м
Ієрархія заголовків. WikiProject Check Wikipedia ID #25
м (Ієрархія заголовків. WikiProject Check Wikipedia ID #25)
Якщо функція виходу є функцією стану і вхідної абетки(<math>\omega: S \times \Sigma \rightarrow \Gamma</math>) таке визначення відповідає '''моделі Мілі''', і може бути виконана як [[автомат Мілі]]. Якщо функція виходу залежить тільки від стану (<math>\omega: S \rightarrow \Gamma</math>) тоді таке визначення відповідає '''моделі Мура''', і може бути виконана як [[автомат Мура]]. Скінченний автомат без функції виходу відомий як напівавтомат або як [[модель станів і переходів]].
 
==== Автоматні оператори ====
'''Означення:''' Відповідність, яка відображає вхідні ланцюжки '''a''' автомата '''M''' у вихідні ланцюжки '''w''' називають автоматним відображенням, а також автоматним оператором''' M'''. Якщо результат застосування цього оператора до ланцюжка '''a''' - вихідний ланцюжок '''w''',
 
119 282

редагування

Навігаційне меню