标签：某语言的dowhile语句的语法形式为S®doS()WhileE其语义解释为：该语句的一遍扫描翻译模式如下，其中空白处应该填写：R®do{R.quad=nextquad}U®RS()While{U.quad=R.quad;backpatch(S.nextlist，nextquad)}S®UE{;S.nextlist=E.falselist}