Terms containing behavior of a finite-state machine

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