Bağlamdan bağımsız gramerler için Önce ve Sonra kümeleri her zaman bağlamdan bağımsız mıdır?


14

Let bir bağlam-dilbilgisi. Terminalleri ve nonterminallerin bir dize G bir olduğu söylenir cümlesel formu arasında G Eğer üretimlerini uygulayarak alamazlarsa G başlangıç simgesi sıfır ya da daha fazla kez S . Let SF ( G ) arasında cümlesel formlarının kümesi G .GGGGSSF(G)G

Let ve izin β bir alt dizisi a - adlandırdığımız β bir fragmanını ve SF ( G ) . Şimdi izin verαSF(G)βαβSF(G)

Before(β)={γ | δ.γβδSF(G)}

ve

.After(β)={δ | γ.γβδSF(G)}

Are ve sonra ( β ) bağlamdan-bağımsız diller? G açıksa ne olur ? Eğer G belirginsizlik vardır önce ( P ) ve sonra ( P ) açık bir bağlam serbest dil de tanımlanabilir?Before(β)After(β)GGBefore(β)After(β)

Bu, sorumun daha kolay cevaplanmasına yönelik daha önceki bir girişimden sonra, önceki sorumun bir takibi başarısız oldu. Olumsuz bir cevap üzerinde çalıştığım kuşatıcı soruyu cevaplamak çok zor olacaktır.

Yanıtlar:


8

ve Sonra ( β ) için bir his alalım . İhtiva eden bir türev ağaç düşünün β ; Burada "içerir" böylece alt ağaçlar kesip anlamına gelir β ağacın önünde bir alt-kelime olduğunu. Sonra, daha önce (sonra) belirlenmiş ağacın kısmının tüm potansiyel cepheleri (sağ) sol şunlardır P :Before(β)After(β)βββ

önce ve sonra setleri ile ağaç
[ kaynak ]

Bu yüzden ağacın yatay çizgili (dikey çizgili) kısmı için bir dilbilgisi oluşturmalıyız. Tüm ağaç için bir dilbilgisine sahip olduğumuz için bu yeterince kolay görünüyor; Biz sadece emin tüm cümlesel formları uzakta kelimeler (alfabe değiştirme), filtre içermeyen olanlardır yapmak zorunda (bu kadar düzenli bir özelliktir β sabittir) ve (önceki) sonra her şeyi kesip p dahil P . Bu kesim de mümkün olmalıdır.ββββ


Şimdi resmi bir kanıt. Dilbilgisini belirtildiği gibi dönüştüreceğiz ve filtreleme ve kesme işlemi için kapatma özelliklerini kullanacağız , yani yapıcı olmayan bir kanıt gerçekleştiriyoruz.CFL

Let bir bağlam-gramer. SF ( G ) ' nin bağlamdan bağımsız olduğunu görmek kolaydır ; inşa G ' = ( N ' , T ' , δ ' , N G ) aşağıdaki gibi:G=(N,T,δ,S)SF(G)G=(N,T,δ,NS)

  • N={NAAN}
  • T=NT
  • δ={α(A)α(β)Aβδ}{NAAAN}

ile Tüm T T ve α ( A ) = N Bir tüm bir N . O açık olan L ( G ' ) = SF ( G ) ; bu nedenle karşılık gelen ön ek kapatması Pref ( SF ( G ) ) ve son ek kapatması Suff ( SF ( G ) ) da bağlamsızdır¹.α(t)=ttTα(A)=NAaNL(G)=SF(G)Pref(SF(G))Suff(SF(G))

Şimdi, herhangi bir için L ( β ( N T ) ) ve L ( ( N T ) β ) normal diller vardır. As C F L kavşak ve altında kapalı olan sol / sağ bölüm düzenli dillerle, biz olsunβ(NT)L(β(NT))L((NT)β)CFL

Before(β)=(Pref(SF(G))  L((NT)β))/βCFL

ve

.After(β)=(Suff(SF(G))  L(β(NT)))βCFL


¹ olan doğru (ve sol) bölüm altında kapalı ; Pref ( L ) = L / Σ ve Suff verim öneki için sırasıyla benzer . sonek kapatma.CFLPref(L)=L/ΣSuff


Bir cevap yazmaya başladım ve kanıtımın seninkiyle aynı olduğunu fark ettim. Bir dilbilgisi oluştururlar: ben o (burada uyacak şekilde sıkıştırılmış) bu şekilde koymak olurdu yeni terminali ekleyerek A olmayan her terminali (a metavariable) A ve üretim A A . Daha sonra G'nin duygusal formları, G tarafından tanınan ve meta değişkenlerden oluşan kelimelerdir . Bu, bir CFG'nin normal bir dil ile kesişmesidir ve bu nedenle de düzenlidir. Bir CFG'nin önek kümesi bir CFG'dir (bir PDA alın ve her durumu sonlandırın). B e f o r e ( γ ) =GA^AAA^GG bir daha YPL olup. Before(γ)={γγβL(Prefix(G^))}
Gilles 'SO

1
@Gilles, bununla ilgili üç yorum: 1) tipik formlar (düzgün) dili içerir. 2) "her devleti nihai yap" - bu işe yaramaz; kelime olmayan önekleri de kabul edersiniz. 3) Bir soneki "kesmenin" son adımı, titiz hale gelmek için zor görünüyor. : / Benimkinden daha sıkı ama daha kompakt bir kanıtınız var mı?
Raphael

Gbb

9

Before(β)After(β)L

Before(L,β)={γ | δ.γβδL}

ve

After(L,β)={γ | δ.δβγL}

CF'dir.

Before(L,β)TββTββββTβββ

βababββ

Tβ(L)=Before(L,β)Before(L,β)

After(L,β)Before(L,β)

After(L,β)=rev(Before(rev(L),rev(β)))

After(L,β)βββ

XGXXXX

Belirsizlik konusundaki sorunuz hakkında düşünmem gerekecek.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.