规约，一般是指在国际社会具有重大意义的条约，通常指国际组织的章程。例如，1966年《经济、社会及文化权利国际公约》、1945年《联合国宪章》、1924年《
国际联盟盟约》、1945年《国际法院规约》。
推导的逆过程称为规约。规约就是选择一个
文法规则：X→ABC,依次从栈顶弹出C、B、A，再将X压进栈。规范规约是文法中句子的一个最右推导的逆过程，而
最左推导对应的是最右规约。
另外在程序设计中的规约：∏和∏'是两个判定性问题,如果存在一个确定性算法A使得对于一个∏的实例I,A可以将I在多项式时间里转换成∏'的实例P,使得I得到肯定的回答,当且仅当I'得到肯定回答,则称∏在
多项式时间里规约到∏',记为∏∝poly∏'.