【导航】【论坛】 【QQ音乐查询】
     

 finite counting automat
有限自动计算机