एलबीटी - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

एलबीटी - एलटीएल से बुची ट्रांसलेटर

SYNOPSIS

एलबीटी < सूत्र.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot

वर्णन

यह मैनुअल पेज संक्षेप में दस्तावेज करता है एलबीटी और lbt2dot आदेश। यह मैनुअल पेज था
डेबियन जीएनयू/लिनक्स वितरण के लिए लिखा गया है क्योंकि मूल कार्यक्रम में ए . नहीं है
मैनुअल पेज. इसके बजाय, इसमें HTML प्रारूप में दस्तावेज़ीकरण है; नीचे देखें।

एलबीटी एक फिल्टर है जो लीनियर टेम्पोरल लॉजिक (एलटीएल) फॉर्मूला को संबंधित में अनुवादित करता है
सामान्यीकृत बुची ऑटोमेटन। अनुवाद गेर्थ, पेलेड द्वारा एल्गोरिदम पर आधारित है
और वर्डी को PSTV'95 में प्रस्तुत किया गया, सरल उड़ान पर स्वचालित सत्यापन of रैखिक
अस्थायी तर्क. शायद ही कोई अनुकूलन लागू किया जाता है, और उत्पन्न ऑटोमेटन होता है
अक्सर आवश्यकता से अधिक बड़ा। लेकिन दूसरी ओर, यह हमेशा सही होना चाहिए.
फ़िल्टर lbt2dot से बुची ऑटोमेटा का अनुवाद करने के लिए इस्तेमाल किया जा सकता है एलबीटी आउटपुट स्वरूप
विज़ुअलाइज़ेशन के लिए ग्राफविज़ प्रारूप।

उदाहरण

गूंज जी पी0 | एलबीटी | lbt2dot | दीवाना हो गया -

onworks.net सेवाओं का उपयोग करके एलबीटी ऑनलाइन का उपयोग करें