Diğer bir deyişle, mümkün olan her dizenin geçerli sözdizimi olduğu bir dil?

EDIT : Bu teorik bir soru. Böyle bir dili kullanmakla
ilgilenmiyorum ; Sadece bunun mümkün olup olmadığını soruyorum.

Daha fazla düzenleme

Böyle bir dili tasarladım. Bkz hatadan muaf

Evet, buna çok analitik bir şekilde bakarsanız, belirli bir dilin her bir dizesi için her zaman iyi bir son durumda duran bir Deterministik Turing Makinesi yaratırsanız, mümkün olduğunu göstereceksiniz. Gösterme oldukça basittir, sadece bir geçişe sahip bir geçiş işlevine sahip normal bir TM'ye ihtiyacınız vardır, şuna benzer:

TF(w,q) -> (w,Qa) 

Considerations:
    L = { w | w is any possible string }
    w e L
    q e Q
    F is a set with all good final states {Qa,Qr}
    Qa e F

Bir TM'nin herhangi bir gerçek yaşamdaki bilgisayarla aynı hesaplama gücüne sahip olduğu gösterildi, bu yüzden bu kesinlikle mümkün

Evet, elbette mümkün, hatta çok kolay.

<programm> ::= char | char <program> |

Kimsenin nasıl "hayır" diyebileceğini anlamıyorum. Bununla birlikte, böyle bir dil için anlamlı bir semantik tanımlamak oldukça zor olabilir, ancak bu da mümkündür. Sadece boşluğa bak .

Sanırım geçerli sözdizimi ile ne demek istediğinize bağlı.

Herhangi bir dizeyi kabul eden, ancak belirli bir anlama getirilmeyen herhangi bir şeyi göz ardı eden bir dil tasarlayabilirsiniz. Bu temelde "Sözdizimi hatalarından kurtulacak ama hata olmadığını söyleyeceğim" demeye eşdeğerdir - pek çok nedenden dolayı oldukça anlamsız ve son derece istenmeyen bir durum.

Bunun ötesinde, sözdizimi hatası olmayan bir dile sahip olmanın tek yolu, olası her dizenin kendisiyle ilişkilendirilmiş geçerli bir talimat / kullanıma sahip olması olacaktır. Bunu yapabilmemin tek yolu, tüm işlemlerin tek karakter olması ve her karakterin kendisine atanmış bir işlem olmasını sağlamaktır.

Bununla ilgili bir milyon şey yanlış - açıkçası ayrılmış kelimeler yok, her şey bağlamda nerede kullanıldığı hakkında ve sonuç olarak temelde okunaksız olacak ve sözdizimi hatalarından etkilenmeyen her türlü deneyimi yaşama olasılığı daha yüksek olacak hata.

Bu yüzden teorik olarak mümkün (AmmoQ onu benden çok daha düzgün bir şekilde koyuyor) ama tamamen istenmeyen.

Metin tabanlı olmayan bir programlama dilinde kod sözdizimi hatalarına sahip olmayabilir.

BYOB gibi görsel bir dil düşünüyorum . "Sözdizimi" grafiksel bloklar tarafından tanımlandığından, yanlışlıkla "x on else foo" yazarsanız yazamazsınız.

Sözdiziminin amacı, kodu yürütmekten daha hızlı ve daha etkili bir şekilde geçerli ve geçerli olmayan arasında ayrım yapmaktır. Sözdizimi sadece bir optimizasyondur, içine giren ve semantiğe giren şey keyfidir.

Genellikle tam tersini yapmak istersiniz: daha fazla zaman kazanmak için sözdizimini mümkün olduğunca uzatmak, ancak elbette sözdizimini tamamen atlayabilir ve her hatayı anlamsal bir şekilde bildirebilirsiniz: tokenleştirici olmayan bir yorumlayıcı ile sonuçlanırsınız.

Ahbefiasdlk aslerhsofa; f jwi [ asdfasdf ] yeni / & Q! @ # $} {;-P

Peki bunun anlamı nedir?

Dilin yapısı ve dilbilgisi olduğu sürece, her zaman bir sözdizimi hatası kavramı olacaktır. Soru, onu uygulayıp uygulamadığınızdır. İnsanlar hatalar yapacak ve sözdizimi hataları, programcıların aptal hatalardan kaçınmasına yardımcı olmak için çoğu dil tasarımcısının ulaştığı şeydir.

Sözdizimi hatası, dil için hiçbir anlamı olmayan kod yazan programcılar tarafından sunulan bir hatadır.

Yukarıdaki tanıma dayalı sözdizimi hatalarından kurtulmak imkansızdır. Hepimiz yanlış yazılan tanımlayıcıları, hepimiz yanlış yazılmış yöntem adlarını kullandık. Dilin sessizce yanlış yazmayı kabul etmesi ve mutlu bir şekilde hiçbir şey yapmaması keyifli bir deneyim fikrim değildir.

Tanımlayıcı olarak geçerli herhangi bir unicode karakteri (veya karakter dizisini) kullanabilen bir dil tasarlamak mümkündür. Aynı şey olarak tanınmaları için eşdeğer karakterleri / karakter dizilerini normalleştirme gibi zorluklar vardır - ancak bu mümkündür. NOT: dört standart unicode normalizasyonu vardır .