Doğasında belirsiz ve deterministik bağlamsız diller var mı?

36

Bağlamsız bir dili, sadece deterministik bir aşağı otomat tarafından kabul edilebiliyorsa ve yoksa başka türlü belirlenemez olarak belirleyelim.

Yalnızca dili oluşturan tüm bağlamsız gramerler belirsiz ise ve aksi takdirde belirsiz ise, bağlamsız bir dili doğal olarak belirsiz olarak tanımlayalım.

Deterministik ve belirsiz bir dilin örneği dildir: Belirsiz ve belirsiz bir dilin örneği dildir:

{a^{n} b^{n} \in {a, b}^{*} | n \geq 0}

$\{a^{n}b^{n} \in \{a, b\}^{*} | n \ge 0\}$

{w \in {a, b}^{*} | w = w^{R}}

$\{w \in \{a, b\}^{*} | w = w^{R}\}$

Kaynaktan Wikipedia , doğal olarak belirsiz bağlam serbest dilin bir örnek, aynı zamanda, bağlama arındırılmış olmalıdır bağlam serbest dil aşağıdaki birliği vardır:

L = {a^{n} b^{m} c^{m} d^{n} \in {a, b, c, d}^{*} | n, m \geq 0} \cup {a^{n} b^{n} c^{m} d^{m} \in {a, b, c, d}^{*} | n, m \geq 0}

$L = \{a^{n}b^{m}c^{m}d^{n} \in \{a, b, c, d\}^{*} | n, m \ge 0\} \cup \{a^{n}b^{n}c^{m}d^{m} \in \{a, b, c, d\}^{*} | n, m \ge 0\}$

Şimdi sorularınız için:

Deterministik, doğası gereği belirsiz bir bağlamsız dil olup olmadığı biliniyor mu? Eğer öyleyse, (kolay) bir örnek var mı?
Belirsiz, kendine özgü, bağlamsız bir dilin var olup olmadığı biliniyor mu? Eğer öyleyse, (kolay) bir örnek var mı?

Açıkçası, doğası gereği belirsiz bir bağlam içermeyen dil olduğundan ( bir örnektir), nin deterministik mi yoksa klasik olmayan mı olduğu biliniyorsa, bu sorulardan birinin cevabı kolaydır . Ayrıca, deterministik bir tane varsa, belirlenemeyen bir tane olması gerektiğinin de doğru olduğunu kabul ediyorum ... ama daha önce şaşırdım. Referanslar takdir edilir ve eğer bu iyi bilinen, kutlanmış bir sonuçsa şimdiden özür diler (bu durumda, tamamen farkında değilim). $L$ $L$

— Patrick87
kaynak

30

$L$ $L$

Bir dil, yalnızca belirli olmayan belirli bir otomat tarafından tanınabilirse, bağlam içermeyen dilbilgisi ile tanımlanabilir. Bunun özel bir örneği olarak, doğası gereği belirsiz bağlam içermeyen gramerler, bazı özgün olmayan otomasyonlarla ayrıştırılabilir.

Son bir kayda göre, herhangi bir deterministik aşağı itme otomatı aynı zamanda belirleyici değildir (bu, belirleyici olmayan bir kavram tanımlaması için, belirleyici olmayan bir şey için geçerlidir).

— Alex on Brink
kaynak

Tüm deterministik CFL'lerin doğası gereği belirsiz olmadığı gerçeği için referans için +1. Aslında, bu diğer soruyu da cevaplıyor: doğası gereği belirsiz bir dil olduğu ve belirleyici olmadığı için, belirlenemesiz olması gerekiyor (belirleyici olmayan CFL tanımımın standart olmadığını unutmayın, belirleyici CFL'leri hariç tutuyor; kötüye kullanılan terminoloji için). Her durumda, soru (2) için bir örnek verdiniz ve bu sorunun (1) imkansız olduğunu gösterdi. Bekleyeceğim ve birisinin daha ayrıntılı olup olmadığını göreceğim, ancak bunun doğru olduğunu kabul edeceğim. Teşekkürler!

— Patrick87

0

wikipedia 'ı ve cevabını ve bu konudaki yorumunuzu okumak, yeniden (Q2) açıkça belirtmek için, tüm doğal olarak belirsiz CFL'lerin std defn (münferit örnek dahil!) altında belirsiz olması gerekir. bu ref ile karşılaştı

Bazı doğal olarak belirsiz bağlamsız diller / Shamir ve muhtemelen diğerleri literatürde çalışılmaktadır.

— vzn
kaynak