英语 ⇄ 俄语 +

reachability computation 强调
媒体	вычисление достижимости; композиция (операция построения нового конечного автомата из двух старых)