אנגלית ⇄ רוסית +

reachability computation מתח
.תקשור	вычисление достижимости; композиция (операция построения нового конечного автомата из двух старых)