上下文限制_中文百科全書

上下文限制，轉換生成語法術語。亦稱“上下文敏感”。“上下文自由”的對稱。指重寫規則的運用一定要滿足某種上下文條件，受上下文的限制。這類規則常寫成A→B/X　　Y，其中斜線表示“在……上下文中”，下劃線表示A在上下文中的位置，整個規則表示：當A處於XAY條件時，A改寫成B。在數理語言學中，全部由這類規則構成的語法叫“上下文限制語法”，又稱“1型語法”。上下文限制語法的生成能力小於0型語法，大於2型語法，其生成的語言可以用線性有界自動機來識別。