1. Использование конечных автоматов Владимир Кожаев e-mail: [email_address] web-site:http://gamesdevandmath.blogspot.com

2. Немного теории

4. Q — конечное множество состояний автомата;

5. q0 — начальное состояние автомата ();

6. F — множество заключительных (или допускающих) состояний, таких что ;

7. Σ — допустимый входной алфавит (конечное множество допустимых входных символов), из которого формируются строки, считываемые автоматом;

8. δ — заданное отображение множества во множество подмножеств Q

10. Таблица переходов: каждой строке соответствует состояние, каждому столбцу — условие перехода. В ячейках записаны новые состояния

12. Если состояний много, автомат не детерминирован

13. Любой недетерминированный конечный автомат может быть преобразован в детерминированный

14. Поскольку количество состояний в эквивалентном ДКА в худшем случае растёт экспоненциально с ростом количества состояний исходного НКА на практике используются недетерминированые конечные автоматы

15. Описание простой реализации машины состояний

17. Фаза холостого хода, задается временем существования данного состояния

18. Конечная фаза, выполняется перед завершением данного состояния

19. В каждой из фаз могут осуществляться изменения обьекта ассоциированного с данным состоянием или

20. других сущностей

22. Осуществляет изменения состояний обьекта

23. Содержит таблицу переходов(поле transitions)

24. Осуществляет проверку условий с помощью поля _conditionsChecker:ConditionsChecker

25. Содержит таблицу переходов. Если для данного состояния не существует условий перехода оно считается конечным

27. Каждая функция возвращает Boolean — значение

29. Код можно получить на http://code.google.com/p/statemachinefpugexample/