Translation algorithms for graph covers