Russian ⇄ English

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