Use pigeon-holing arguments and closure properties to prove particular problems cannot be solved by finite automata .

• 运用鸽洞理论以及终止属性来证明某些特殊 无法用有限自动机解决的问题。.