Anglais ⇄ Russe +

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