不完全有限自动机 【计】 incomplete finite automaton