ACM Transactions on Computational Logic· 2026Q2
Belirlenimsiz Soyut Makineler
Non-Deterministic Abstract Machines
- 3atıf
- Q2SCImago
- 2026yıl
Kısa özet
Süreç hesapları veya tam belirlenimsiz $\beta$-indirgemeli lambda hesap gibi belirlenimsiz programlama dilleri için soyut makinelerin genel bir tasarımı sunulmaktadır; bu makineler, birden fazla yol mümkün olduğunda belirlenimsiz seçimler yapar ve çıkmaza ulaşıldığında geri izleme yapar, terim ek açıklamalarıyla sonlanması garanti edilir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Belirlenimsiz programlama dilleri için genel bir soyut makine tasarımı sunar.
- Makineler belirlenimsiz seçimler yapar ve indirgenemez alt terimlerden geri izleme yapar.
- Sonlanma, tanıtılan terim ek açıklamaları yoluyla garanti edilir.
- Makineler fermuar semantiğinden otomatik olarak türetilir, sağlamlık ve bütünlük sağlar.
- Fermuar semantiği standart indirgeme semantiğinden üretilebilir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
We present a generic design of abstract machines for non-deterministic programming languages such as process calculi or the lambda calculus with full non-deterministic \(\beta\) -reduction. Such a machine traverses a term in the search for a redex, making non-deterministic choices when several paths are possible and backtracking when it reaches a dead end, i.e., an irreducible subterm. The search is guaranteed to terminate thanks to term annotations the machine introduces along the way. We show how to automatically derive a non-deterministic abstract machine from a zipper semantics—a form of structural operational semantics in which the decomposition process of a term into a context and a redex is made explicit. The derivation method ensures the soundness and completeness of the machines w.r.t. the zipper semantics. Zipper semantics themselves can be generated from a reduction semantics, a format commonly used to describe the semantics of sequential languages, in particular effectful ones.
Yazarların özeti; kaynağından alınmıştır. ACM Transactions on Computational Logic, 2026 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Hesaplamalı Kuram ve Matematik
Computational Theory and MathematicsComputer Science