migrate syntax to sdf3: lexical syntax to productive form