syntax directed translation 3138508