初始状态, 初态
пословный перевод
初始状态 | , | 初态 | |
в русских словах:
исходное состояние
初始状态, 初态; 起始状态, 初始状态
в примерах:
初始状态, 初态起始状态, 初始状态)
исходное состояние
验证协议的程序,它从一个给定的初始状态机械地产生出一切可以到达的状态,并且审查每一状态下用户定义的条件的有效性。
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.