确定性非循环有限自动机