deterministic finite automata

visit shbcf.ru