Без заголовка
/// Да ладно вам, граф переходов конечного автомата, как и любой граф, прекрасно записывается текстом! ///
Это в учебных примерах всё выглядит легко и красиво.
И только для случаев "объект-система" (все любят лифт расписывать).
А если надо описать не систему, а среду, то всё гораздо хужее.
Там же по соседству есть ещё другая "FSM", которая не Finite, а Fuzzy.