有限状态文法(finite state grammar)形式文法的一种类型.在文法G= (VN，V丁，S，尸)中，如果重写规则的形式为A->aQ或A->a，其中A和Q是非终极符号，a是终极符号，那么就把这种文法称为有限状态文法，又称3型文法.如果在重写规则A->aQ中，把A和Q看成不同的状态，那么当从状态A到状态Q时，就可生成一个终极符号a，这样便可把有限状态文法想象为一种生成装置，这种装置每次只能生成一个终极符号，而每一个非终极符号都与一个特定的状态相联系，由此可以建立有限状态文法与有穷状态自动机的关系.