Terms for subject Programming containing state machine encoding

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