English ⇄ Russian +

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