Англійська ⇄ Російська +

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