俄语 ⇄ 英语

Поведение системы с конечным числом состояний не зависит от способа кодирования выхода 强调
编程	the behavior of a finite-state model is not affected by the specifics of the output encoding (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995)