changes in the generator reflected by recognizing sort and symbol productions