Terms for subject Programming containing finite-state automata

English	Russian
finite state automata	конечные автоматы (ssn)
finite-state automata	распознающие конечные автоматы (ssn)
probabilistic finite state automata	вероятностные конечные автоматы (ssn)
probabilistic finite-state automata	вероятностные распознающие конечные автоматы (ssn)
probabilistic finite-state automata	вероятностные конечные автоматы (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)