English ⇄ Russian

the state machine model shows system states and events that cause transitions from one state to another stresses
progr.	Модель конечного автомата показывает состояния системы и события, которые служат причиной перехода системы из одного состояния в другое (см. Software engineering, 8th ed. / Ian Sommerville 2007)