Terms for subject Programming containing state-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)