topological finite state machine