Terms for subject Programming containing output encoding

English	Russian
output encoding	кодирование выхода (напр., конечного автомата ssn)
specifics of the output encoding	способ кодирования выхода (напр., конечного автомата ssn)
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)