English ⇄ Russian

the behavior of a finite-state machine is not changed by changing the state encoding stresses
progr.	Поведение системы с конечным числом состояний не меняется при изменении способа кодирования состояний (см. Black-box Testing: Techniques for Functional Testing of Software and Systems / Beizer, Boris 1995)

the behavior of a finite-state machine is not changed by changing the state encoding: 2 phrases in 1 subject

Programming

2