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