English state-transition graph: תרגום לשפות אחרות