एलटीएल के लिए नियतात्मक बुची ऑटोमेटन का अनुवाद करने के लिए एल्गोरिथ्म (जब संभव हो)

Question

रैखिक लौकिक तर्क और नियतात्मक बुची ऑटोमेटा अतुलनीय हैं: डीबीए व्यक्त नहीं कर सकता है , और एलटीएल "कम से कम प्रत्येक विषम पत्र '' ए" नहीं व्यक्त कर सकता है । लेकिन कभी-कभी यह जानना दिलचस्प होता है कि एलटीएल में डीबीए की भाषा व्यक्त की जा सकती है या नहीं।$FGa$

मुझे एक एल्गोरिथ्म की आवश्यकता है जो यह निर्णय लेती है कि किसी दिए गए DBA की भाषा LTL में वर्णन योग्य है या नहीं। क्या आप इसके लिए एल्गोरिदम जानते हैं?

Comments

हम अनुमान लगाते हैं कि दूसरी दिशा निर्णायक है (सूत्र को एनबीए में परिवर्तित करें, पावर-सेट निर्माण लागू करें, समतुल्यता की जांच करें) लेकिन अभी तक आप जो चाहते हैं उसके बारे में कोई विचार नहीं है।

— राफेल

मुझे यकीन नहीं है कि यह बिल्कुल संभव है, लेकिन मैं यह ध्यान रखना चाहूंगा कि बुची ऑटोमेटा लोगों द्वारा आमतौर पर एनबीए (जो कि डीबीए से अधिक अभिव्यंजक है) का मतलब है। एनबीए भी एलटीएल की तुलना में कड़ाई से अधिक अभिव्यंजक है।

— डेनियल

@Daniil से आप संदर्भ (प्रथम आदेश निश्चित भाषाएं): "हम यह भी दिखाते हैं कि एक नियमित ∞-भाषा की aperiodicity (यानी, प्रथम-क्रम निश्चितता (LTL भिन्नता)) बहुपद स्थान में तय की जा सकती है" .nice Ref!

@ एरैट, धन्यवाद, यह वास्तव में एक अच्छा परिचय है, जब मैंने इसे पाया तो मैं बहुत खुश था। अनंत शब्दों पर एक पूरी किताब भी है । दुर्भाग्य से, मुझे इसे पढ़ने के लिए अभी तक नहीं मिला है।

— Daniil

$\mu$

Answer 1

आपको एल्गोरिथ्म मिल सकता है $\omega$