[计] 自动机因果律