Russian | English |
вершина, на которую указывает эта дуга | node to which the arrow points (ssn) |
вершина у основания этой дуги | node at the tail of the arrow (ssn) |
для представления процессов, обладающих неограниченным поведением, необходимо ещё одно условное обозначение, а именно: непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева | represent processes with unbounded behaviour it is necessary to introduce another convention, namely an unlabelled arrow leading from a leaf circle back to some earlier circle in the tree (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
непомеченная дуга | unlabelled arrow (ssn) |
непомеченная дуга, ведущая из висячей вершины назад к некоторой вершине дерева | unlabelled arrow leading from a leaf circle back to some earlier circle in the tree (ssn) |
основание дуги | tail of arrow (ssn) |
пунктирная дуга | dashed arc (ssn) |
разворот дуги | arc's sweep (Владимир_С) |
развёртывание дуги | arc's sweep (Владимир_С) |
тестирование дуг | arc testing (см. Standard glossary of terms used in Software Testing ssn) |
угол разворота дуги | arc's sweep angle (Владимир_С) |
Условимся, что когда процесс достигает вершины у основания этой дуги, он мгновенно переходит назад к вершине, на которую указывает дуга | the convention is that when a process reaches the node at the tail of the arrow, it immediately and imperceptibly goes back to the node to which the arrow points (см. Communicating Sequential Processes by C.A.R. Hoare 1985) |
эквивалентная линия длины отрезка дуги | eq-line-len-arc-len (сокр. duga57) |