无限状态自动机

_

infinite state automat, infinite state automation