Terms for subject Programming containing state encoding

English	Russian
changing the state encoding	изменение способа кодирования состояний (ssn)
encoding scheme used for state machines	схема кодирования конечных автоматов (ssn)
state encoding	кодирование состояний (ssn)
state encoding	кодирование состояния (ssn)
state machine encoding	кодирование конечных автоматов (ssn)
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)
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)
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)