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