removed some incorrect rules from the machine syntax