English ordered binary decision diagram: תרגום לשפות אחרות