Terms for subject Programming containing Transition Graph

English	Russian
formal semantics for timed automata in terms of infinite state transition graphs	формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn)
infinite state transition graph	граф переходов с бесконечным числом состояний (ssn)
infinite state transition graphs	графы переходов с бесконечным числом состояний (ssn)
state-transition graph	граф переходов состояний (ssn)
transition graphs	графы переходов (ssn)