Terms for subject Programming containing automata theory

English	Russian
cellular automata theory	теория клеточных автоматов (ssn)
central concepts of automata theory	основные понятия теории автоматов (ssn)
finite automata theory	теория конечных автоматов (ssn)
infinite automata theory	теория бесконечных автоматов (ssn)
probabilistic 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 infinite-state automata	теория бесконечных автоматов (ssn)
theory of probabilistic automata	теория вероятностных автоматов (ssn)
theory of probabilistic finite state automata	теория вероятностных конечных автоматов (ssn)
theory of probabilistic finite-state automata	теория вероятностных конечных автоматов (ssn)