deterministic finite state machine

join shbcf.ru