Terms for subject Programming containing состояние, определённое конечным автоматом

Russian	English
в одном из состояний, определённых конечным автоматом	in one of the states of the finite state machine (ssn)
Логика переходов состояний формально определена в пределах теории конечных автоматов	State transition logic is formally defined within finite automata theory (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn)
Мощь подхода, использующего конечный автомат, обусловлена тем, что он позволяет в явном виде определить действительные состояния для некоторого аспекта вашего приложения и задать соответствующие варианты поведения при переходах приложения из одного состояния в другое	the great strength of the state machine approach is that it enables you to come up with an explicit definition of valid states for some aspect of your application and enforce proper behaviors as an application moves from one state to another (см. "Writing Mobile Code Essential Software Engineering for Building Mobile Applications" by Ivo Salmre 2005)
состояние, определённое конечным автоматом	state of the finite state machine (ssn)