исходные и целевые позиции

Terms for subject Programming containing исходные и целевые позиции | all forms | exact matches only | in specified order only

Russian	English
исходные и целевые позиции	source and target locations (ssn)
исходные и целевые позиции рассматриваемого перехода	source and target locations of the original transition (ssn)
Исходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата	the source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automaton (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)