特殊用法finite counting automat1.有限自动计算机laboratory automat1.实验室自动机