Bir dilin programlanabilir olması için, bağlamsız bir dilbilgisine dayalı olması zorunlu mu?

Pratik olarak, sonunda derlenebilecek / sistem düzeyinde talimatlara dönüştürülebilecek bir dil için, bağlamsız bir gramer olması gerekli midir?

Örneğin: Tüm programlama / komut dosyası dilleri ücretsiz gramer içeriyor mu? Java, CFG'lere dayanmaktadır, ancak gerçekte tüm programlama dillerinin CFG'lere dayanması söz konusu mu?

Zorunlu görünmüyor, fakat anlayışımda boşluklar var.

Sorunun bazı bağlamları: Dilbilgisi kurallarını da sağlayan Java dili spesifikasyonuna bakıyordum . Bu bana bu soru hakkında düşündürdü.

İki kere hayır.

İlk olarak, çoğu HPL içerik içermez. Genellikle bir CFG'ye dayalı bir sözdizimine sahip olsalar da, insanların statik anlambilim dedikleri şeye de sahiptirler (bu genellikle sözdiziminde de bulunur). Bu, doğru bir program için teslim alması gereken adları ve türleri içerebilir. Örneğin,

class A {
  String a = "a";
  int b = a + d;
}

sözdizimsel olarak doğru bir Java programıdır ancak dtanımlanmadığı ve auygun bir türe sahip olmadığı için derlenmeyecektir .

İkincisi, yapabilirsiniz bağlam serbest (besbelli derleyici varlığının kanıtlanmış) olmayan dilleri ayrıştırmak. Sadece CSG'ler etkin biçimde çözümlenebilirken, CSG'ler genel olarak olamaz. Bununla birlikte, verimli kalırken bağlamsız bazı özellikler ekleyebilirsiniz.

Derleyiciler genellikle aşamalar halinde çalışırlar: önce tokenizasyon (normal), sonra bağlamsız ayrıştırma, sonra ad ve tür analizi (bağlam duyarlı, bazen daha da zor). Bu davranışı, aldığınız hata mesajlarından gözlemleyebilirsiniz.

Perl ayrıştırılması kesin değildir.

http://www.jeffreykegler.com/Home/perl-and-undecidability/perl-and-undecidability-files/TPR3.pdf?attredirects=0

http://www.perlmonks.org/?node_id=663393

Python'un dilbilgisinin bağlamsız olduğuna inanmıyorum. Aynı kod bloğundaki satırların aynı miktarda girintiye sahip olması gerekliliği, serbest gramerlerin bağlamı iyi işleyen bir şey değildir.

Daha doğrusu, formun Python bloklarının diline ait bir homomorfizm varmış gibi görünüyor.

eğer durum:
     satır 1
     hat 2
     satırı3
Başka:
     line4

$0^n10^n10^n$

Bodo Manthey ve Martin Böhme, her C ++ Derleyicisinin mutlaka Turing'in tamamlandığını, yani derleme zamanında herhangi bir kısmi özyinelemeli işlevi hesaplayabileceğini gösteriyor . Bu yüzden içeriğe duyarlı olandan çok daha kötü.

http://wwwhome.math.utwente.nl/~mantheyb/journals/BotEATCS_BoehmeManthey_CompilingCPP.pdf

Ben düşünüyorum kullanımdan önce beyan değişkenlerinin ve fonksiyon polimorfizmi cepten dillerinin context free gramerler tarafından ele alınamaz diller özelliklere programlama diğer örnekler şunlardır:

int myfun(int a) { ... }
int myfun(int a, int b) { ... }
int myfun(int a, int b, int c, ...) { ... }
...
int I_m_I_cfg = myfun(1,2);
...

Küçük bir Google araması yaptım ve şu makaleyi buldum: " Basit bir Boole Dili için Boole Dilbilgisi " A.Okhotin (2004); Ona göre, asıl sorun tamamen resmi bir gramer tarafından tanımlanan bir programlama dili bulmaktır :

Bir oyuncak prosedürel programlama dili tanımlanır ve bu dilde iyi biçimlendirilmiş programlar kümesi için bir Boole dilbilgisi oluşturulur. Bu, görünüşe göre, tamamen bir dilbilgisi ile bir programlama dilinin ilk özelliğidir.

Makalenin Giriş bölümü kısa fakat çok açıklayıcı.

C'nin gramerinin sadece teknik olarak bağlamsız olduğuna inanıyorum, çünkü ayrıştırıcılar Duff'un cihazını desteklemek için her zaman bağlamsız teknikleri kullanıyorlar .

Girinti tabanlı diller, David'in dediği gibi doğal olarak bağlamsız değildir, ancak parametreli hale getirilmiş bir girinti belirtecine göre bağlamsız hale gelirler.

Haskell, operatör önceliğini infix ve infixl ile değiştirmenize izin verir. Perl'in katı pragma modülü, bağlamsal olmayan, muhtemelen başka ayarlar da yapan $ ^ H ve% ^ H sözcükleri kullanılarak gerçekleştirilir.

TeX gibi makro genişletici diller vardır, burada afaik ayrıştırma işlemi yürütülmeden bir anlam ifade etmez.

Muhtemelen kesişimi bağlamsız olmayan fakat hala bir Turing makinesini tanımlayan bağlamsız iki gramer bile vardır.

Java ve assembler muhtemelen doğal olarak bağlam içermez.

Hayır ve birçok pratik dil bağlamsız değildir. Örneğin, C ++ dilbilgisi değildir, çünkü bazı bağlamlarda dilbilgisi çözünürlüğü içerik içermeyen bilgileri yazmaya bağlıdır.

İlk önce bir programlama dilinin sözdizimi ile dilin kendisi arasında bir ayrım yapmama izin verin.

Birçok dilin sözdizimi (en azından temelde) Bağlamsız Dilbilgisi (CFG) 'dir, çünkü bunlar iyi çalışılmıştır ve bir CFG'yi verimli bir şekilde ayrıştırabilecek algoritmalar vardır ve CFG tarafından çözülemeyen kenar durumları özel olarak ele alınabilir

Ancak pek çok dil aslında Bağlamsız değildir (örneğin, java, C (++), D).

Eğlenceli gerçek: D, bir Turing tamamlama derleme zamanı işlev değerlendirmesi ve dilin kendisini Turing'in kararsız hale getirmesini sağlayan şablon genişlemesine sahiptir. Ancak dilin yaratıcısı, sözdizimini bir CFG yapmak için çok uzadı.

"Tüm programlama / kodlama dilleri bağlamında ücretsiz gramer var mı?" Bölüm söz konusu olduğunda, cevap kesin bir No.

Re: “sonunda derlenebilen / sistem düzeyinde talimatlara dönüştürülebilen bir dil için” ana sorusu, neden zorunlu olarak bir CFG olmak zorunda olduğunu bilmiyorum. Ancak, ortaya çıkan daha iyi açıklamalar olabilir.

Bir programlama dili, CFG'lerin bir örneği olduğu bir tür gramer formalizmine dayandırılmalıdır. Her ne kadar CFG'ler en yaygın olsa da (ve üniversitedeki derleyici kurslarında öğrenilen olağan şeyler olsa da), daha fazla ısırık büyüklüğünde bir okuma için burada (pdf) veya Wikipedia'da daha fazla okuyabileceğiniz Ayrıştırma İfade Dilbilgileri gibi başka formaliteler de vardır .