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