4.3 规约形式与非规约形式