Английский ⇄ Русский +

reachability computation ударения
СМИ.	вычисление достижимости; композиция (операция построения нового конечного автомата из двух старых)