Terms for subject Programming containing System Transition

English	Russian
alternating transitions system	система с альтернирующими переходами (ssn)
labeled transition system	система помеченных переходов (конечная ssn)
labeled transition systems	системы помеченных переходов (ssn)
state-transition system	система с изменяющимися состояниями (ssn)
state-transition systems	системы с изменяющимися состояниями (ssn)
system states and events that cause transitions from one state to another	состояния системы и события, которые служат причиной перехода системы из одного состояния в другое (ssn)
the state machine model shows system states and events that cause transitions from one state to another	Модель конечного автомата показывает состояния системы и события, которые служат причиной перехода системы из одного состояния в другое (см. Software engineering, 8th ed. / Ian Sommerville 2007)
transition from type system to instance system	переход от системы типов к системе экземпляров (ssn)
transition system	система переходов (ssn)