Angielski ⇄ Rosyjski +

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