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

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