Скінченний автомат: відмінності між версіями
| [перевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
м описав сучасну практику до cкiнченних автоматов |
|||
Рядок 73:
Властивість 2 означає, що автоматні оператори - це оператори без випередження, тобто такі, котрі, обробляючи ланцюжок зліва направо, “не підглядають уперед”: i-та буква вихідного ланцюжка залежить тільки від перших i букв вхідного ланцюжка. Приклад оператора з випередженням - той, який ланцюжку ''a = x1x2…xk'' ставить у відповідність ланцюжок ''xk…x1x2'', перша буква вихідного ланцюжка тут дорівнює останній букві вхідного ланцюжка. Зазначимо, що ці дві властивості - це не достатні умови автоматності відображення: існують відображення, які задовольняють умови 1 і 2, але не реалізовані в скінченному автоматі.
== Сучасна практика ==
На сьогоднішній день існує хмарне рішення Corezoid. Воно створене для побудови бізнес-процесів і засновано на теорії кінцевих автоматів. Corezoid, на відміну від BPM систем працює не тільки з описом процесів, а й з описом станів об'єктів, відповідно до теорії кінцевих автоматів.
== Див. також ==
{{Портал|Математика}}
| |||