Inglés ⇄ Ruso +

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