Terms for subject Programming containing Model Output

English	Russian
input-output models	модели входа-выхода (ssn)
output model	модель выхода (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)