产生式

产生式（production），计算机科学技术名词，文法的核心成分，是一个二元组(α， β)（通常写成α→β），其中α和β是由变量和终极符组成的串，且α中必须含有变量。文法推导时，若句型中有一个子串α，那么可以用β替换这个子串。