上下文自由

上下文自由，轉換生成語法術語。“上下文限制”的對稱。指重寫規則的運用不受上下文的限制。這類規則常寫成A→B，表示A改寫成B時，不必考慮A的上下文；也可看成是上下文限制的A→B/X　　Y，在X和Y都是空符號時的特例。在數理語言學中由這類規則構成的語法叫“上下文自由語法”，又稱“2型語法”。不按照一定順序排列的上下文自由重寫規則組成的語法稱“上下文自由短語結構語法”。上下文自由語法的生成能力小於1型語法，大於3型語法，其生成的語言可以用後進先出自動機來識別。