«semantics» etiketlenmiş sorular

Anlambilim, bazı sözdizimlerinin anlamını resmi olarak tanımlar.


5
-calculus yansıması
Çalışan programların iç içe geçmesi ve manipülasyonu gibi yansıma mantığını destekleyen basit bir hesabı arıyorum . Birinin λ- termleri sözdizimsel olarak manipüle edilebilecek ve daha sonra değerlendirilebilecek bir forma dönüştürmesini sağlayan türetilmemiş bir hesabı uzantısı var mı?λλ\lambdaλλ\lambda Analizin iki ana ek terimi olduğunu hayal ediyorum: : alır v ve bir …


2
Biçimsel kurallar için kullanılan kesir benzeri “ayrık matematik” tarzı gösterim nedir?
"Bir Uyuşmaz Çoğaltılmış JSON Veri Türü" makalesinde , resmi olarak "kurallar" tanımlamak için bu gösterimle karşılaştım: Bu gösterime ne denir? Nasıl okurum? Örneğin: DOCKural onun "payında" bir şey yok - neden olmasın? EXECve GETkurallar Bu ne anlama geliyor, ne çizgisinin üzerinde iki ayrı terim var görünüyor? VARdiğer birçok kural okun …

3
İşlev Dışı Ayarlarda Kapatma Uygulama Sorunları
Programlama dillerinde, kapaklar popüler ve sıklıkla istenen bir özelliktir. Wikipedia diyor ki (benimki vurgu): Bilgisayar biliminde, kapatma (...), o işlevin yerel olmayan değişkenleri için bir referans ortamıyla birlikte bir işlevdir. Kapatma, bir işlevin anlık sözcük kapsamı dışındaki değişkenlere erişmesini sağlar. Dolayısıyla, kapanış esasen değişkenleri kendi kapsamının dışında kullanabilen (anonim?) Bir …

2
Scott-sürekli fonksiyonlar: alternatif bir tanım
Gerçekten bu özellik ile mücadele ediyorum: Let olmak tutarlılık alanlarda ve olduğu bir monoton fonksiyonu. , tüm için yalnızca iseX,YX,YX,Yf:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y)ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X) , öyle ki yönlendirilmiş bir kümesidir.DDD Yönlendirilmiş küme şu şekilde tanımlanır: POSETD⊆D⊆D \subseteq yönlendirilmiş bir dizi IFF olan ∃ z ∈ …

4
Bir program dili, programların dil semantiğini genişletmesine izin verecek kadar biçimlendirilebilir mi?
Bir programcının sınıfları tanımladıktan sonra herhangi bir zamanda genişletmesine / geçersiz kılmasına izin veren (String gibi sınıflar dahil) ruby ​​(ve javascript) gibi dillerdeki özelliklere referansla, teorik olarak programların daha sonra genişletilmesine izin verebilecek bir dil tasarlamak mümkün müdür? anlambilimi. örnek: Ruby çoklu kalıtıma izin vermez, ancak çoklu kalıtım uygulamasına izin …

2
Anlamsal anlambilim, işletimsel anlambilimin cevaplayamayacağı sorular nelerdir?
Programlama dillerini tanımlamak için operasyonel anlambilim (hem küçük hem de büyük adım) hakkında bilgi sahibiyim. Ben de anlamsal semantiği öğrenmekle ilgileniyorum, ama çabaya değip değmeyeceğinden emin değilim. Aynı materyali farklı bir bakış açısıyla öğrenecek miyim, yoksa yalnızca anlamsal anlambilimi anlayarak elde edebileceğim bilgiler var mı?

2
Basit bir yeniden yazma sistemi için izdiham kanıtı
Terimlerden oluşan basit bir dilimiz olduğunu varsayın: truetrue\mathtt{true} falsefalse\mathtt{false} Eğer t1,t2,t3t1,t2,t3t_1,t_2,t_3 terimlerdir sonra so ift1thent2elset3ift1thent2elset3\mathtt{if}\: t_1 \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 Şimdi aşağıdaki mantıksal değerlendirme kurallarını kabul edin: iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t′1ift1thent2elset3→ift′1thent2elset3[E-If]iftruethent2elset3→t2[E-IfTrue]iffalsethent2elset3→t3[E-IfFalse]t1→t1′ift1thent2elset3→ift1′thent2elset3[E-If] \begin{gather*} \dfrac{} {\mathtt{if}\: \mathtt{true} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_2} \text{[E-IfTrue]} \quad \dfrac{} {\mathtt{if}\: \mathtt{false} \:\mathtt{then}\: t_2 \:\mathtt{else}\: t_3 \to t_3} \text{[E-IfFalse]} …

3
Analiz ve programlama dili arasındaki fark nedir?
Sanırım matematik ve programlama dili olarak adlandırılan şeyler hakkında oldukça kafam karıştı. Bir analizin, programların denkliği hakkında muhakeme için resmi bir sistem olduğunu düşünmeye eğilimliyim ve söylenmiş olabilirim. Programların, bir makine tarafından belirlenmiş, (bence?) Belirleyici olması gereken işlevsel bir semantiği vardır. Bu şekilde, dili için (doğru) bir hesap , program …

1
Anlambilim nedir?
Birçok popüler dil var. Ancak, bilgisayar bilimcileri bize, bu dillerdeki programların davranışlarını kesinlikle ve açık bir şekilde program davranışına (örneğin kimliklerini kanıtlamaya) karşı koymak için, bunları başka, iyi anlaşılmış bir dile çevirmemiz gerektiğini söylüyor. Böyle bir dile "anlambilim" diyorlar. Yazarlar birçok anlambilimden birini önermektedir. Yapılarının anlamını ve dilinizi nasıl onların …

1
Programlama dili anlambilim prototipleme aracı
Bir programlama dili anlambilimi ve tür sistemini prototiplemek için herhangi bir araç var mı ve bu da tür sağlamlığı gibi standart özelliklerin bir çeşit model kontrolüne izin veriyor mu? Bunu soruyorum, çünkü Alloy hakkında bir kitap okuyorum ve tam olarak istediğim işlevselliği sağlıyor, ancak ilişkisel mantık kullanarak ifade edilen modeller …

1
Çıkarım arıtma türleri
İş yerinde dinamik bir dil hakkında bazı tür bilgiler çıkarmakla görevlendirildim. letİfade dizilerini iç içe ifadelere yeniden yazar , şöyle: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …
11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

2
Hoare tarzı doğruluk kanıtları sırasında dizilerle nasıl başa çıkılır?
Bu sorunun etrafındaki tartışmada Gilles, dizileri kullanan bir algoritmanın herhangi bir doğruluk kanıtının, sınır ötesi dizi erişiminin olmadığını kanıtlamak zorunda olduğunu; çalışma zamanı modeline bağlı olarak, bu bir çalışma zamanı hatasına veya dizi olmayan öğelere erişime neden olur. Bu tür doğruluk kanıtlarını gerçekleştirmek için yaygın bir teknik (en azından lisans …

3
Program Analizine başlarken
Program analizine başlamak için kaynaklar arıyorum . Bu konuda bulduğum tek kitap Nielson & Nielson kitabı. Bunun dışında, "program analizi" nin bir bölüm ya da bu satırlar boyunca bir şey olacağı sadece "derleyici" kitaplar var gibi görünüyor. İnsanlar başka kaynakları biliyorlar mı?

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.