Terms for subject Programming containing finite automata theory

English	Russian
finite automata theory	теория конечных автоматов (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 theory behind finite-state automata	теоретические основы функционирования конечных автоматов (ssn)
theory of probabilistic finite state automata	теория вероятностных конечных автоматов (ssn)
theory of probabilistic finite-state automata	теория вероятностных конечных автоматов (ssn)