Finite automation: различия между версиями