mechanically

ad. 用机械(机械地)

"I'll be home early tonight, darling." "That'll be nice, " she answered mechanically, and, as the door closed, added, "I'll bet! "

"亲爱的，我今晚会早早回家的。""那好极了，"她机械地应了一声，就在门关上时又补了一句，"我就算你会早回好了！"

A program for protocol verification which mechanically generates all states reachable from a given initial state and checks the validity of user defined conditions in each state.

验证协议的程序，它从一个给定的初始状态机械地产生出一切可以到达的状态，并且审查每一状态下用户定义的条件的有效性。