0

İç içe geçme ve eşitsizliklere sahip bağlam-içermeyen dilbilgisi örnekleri bulamadık.İç içe geçme ve eşitsizliklere sahip içerik içermeyen dilbilgileri

{aibjckdl : (i < l)^(j < k)}

Yani, {aidl : (i < l)} için, CFG basitçe olacaktır:

S -> aSd | dS | d

O için benzer olacak Örneğin

, ben CFG yazmaya çalışıyorum b ve c. Ama iki dilbilgisinin nasıl yuvalanacağını anlayamıyorum. Benzer örnekler veya işaretçiler yardımcı olabilir.

S -> Ad | aSd | Sd 
A -> Ac | c | bAc 

bu gramer arkasında kavramı: Öncelikle bir vardır bir ifade parçasını oluşturmak ve bir koşul verilen ve daha sonra bir yıllardan arasına koymak tatmin d ve Bence

cevap

0

burada Sorunuzun cevabı d, b'ler ve c'ler için tatmin edici koşullar olan bir ifadedir.