Temporal mantık Doğrusal ve deterministik Büchi otomata kıyaslanamaz: DBA ifade edemez ve LTL ifade edemez "Her garip harf 'a' en azından" . Ancak bazen bir DBA dilinin LTL'de ifade edilip edilemeyeceğini bilmek ilginçtir.
Belirli bir DBA dilinin LTL'de açıklanabilir olup olmadığına karar veren bir algoritmaya ihtiyacım var. Bunun için algoritmalar biliyor musunuz?
Diğer yönün karar verilebileceğine inanıyoruz (formülü NBA'ye dönüştürün, güç seti yapısını uygulayın, denkliği kontrol edin) ama şimdiye kadar istediğiniz yön hakkında hiçbir fikrimiz yoktu.
—
Raphael
Bunun mümkün olup olmadığından emin değilim, ancak Buchi otomata insanların genellikle NBA (DBA'dan daha etkileyici) anlamına geldiğini belirtmek isterim. NBA de LTL'den kesinlikle daha etkileyici.
—
Daniil
@Danil'den referans (Birinci Sipariş Tanımlanabilir diller): "Ayrıca, normal bir ∞-dilin açıklık derecesine (yani, birinci dereceden tanımlanabilirlik (LTL ayırt edilebilirliği)) polinom alanında karar verilebildiğini gösteriyoruz.
@Ayrat, teşekkürler, gerçekten iyi bir tanıtım, bulduğumda çok mutlu oldum. Sonsuz kelimeler hakkında bir kitap da var . Ne yazık ki, henüz okumayı başaramadım.
—
Daniil