English ordered binary decision diagram: translation to other languages