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

нема опису редагування
м (новий ключ сортування для Категорія:Скінченні автомати: " " за допомогою HotCat)
Властивість 2 означає, що автоматні оператори - це оператори без випередження, тобто такі, котрі, обробляючи ланцюжок зліва направо, “не підглядають уперед”: i-та буква вихідного ланцюжка залежить тільки від перших i букв вхідного ланцюжка. Приклад оператора з випередженням - той, який ланцюжку ''a = x1x2…xk'' ставить у відповідність ланцюжок ''xk…x1x2'', перша буква вихідного ланцюжка тут дорівнює останній букві вхідного ланцюжка. Зазначимо, що ці дві властивості - це не достатні умови автоматності відображення: існують відображення, які задовольняють умови 1 і 2, але не реалізовані в скінченному автоматі.
== Див. також ==
{{Портал|Математика}}
{{Multicol}}
* [[Теорія автоматів]]
* [[Автомат мінімальний]]
* [[Рідкий скінченний автомат]]
{{Multicol-break}}
{{Портал|Математика}}
{{Multicol-end}}
 
 
{{Comp-sci-stub}}
{{Math-stub}}
{{Без джерел|дата=травень 2014}}
1867

редагувань