यह कमांड lbt2dot है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
एलबीटी - एलटीएल से बुची ट्रांसलेटर
SYNOPSIS
एलबीटी < सूत्र.txt > automaton.txt
lbt2dot < automaton.txt > automaton.dot
वर्णन
यह मैनुअल पेज संक्षेप में दस्तावेज करता है एलबीटी और lbt2dot आदेश। यह मैनुअल पेज था
डेबियन जीएनयू/लिनक्स वितरण के लिए लिखा गया है क्योंकि मूल कार्यक्रम में ए . नहीं है
मैनुअल पेज. इसके बजाय, इसमें HTML प्रारूप में दस्तावेज़ीकरण है; नीचे देखें।
एलबीटी एक फिल्टर है जो लीनियर टेम्पोरल लॉजिक (एलटीएल) फॉर्मूला को संबंधित में अनुवादित करता है
सामान्यीकृत बुची ऑटोमेटन। अनुवाद गेर्थ, पेलेड द्वारा एल्गोरिदम पर आधारित है
और वर्डी को PSTV'95 में प्रस्तुत किया गया, सरल उड़ान पर स्वचालित सत्यापन of रैखिक
अस्थायी तर्क. शायद ही कोई अनुकूलन लागू किया जाता है, और उत्पन्न ऑटोमेटन होता है
अक्सर आवश्यकता से अधिक बड़ा। लेकिन दूसरी ओर, यह हमेशा सही होना चाहिए.
फ़िल्टर lbt2dot से बुची ऑटोमेटा का अनुवाद करने के लिए इस्तेमाल किया जा सकता है एलबीटी आउटपुट स्वरूप
विज़ुअलाइज़ेशन के लिए ग्राफविज़ प्रारूप।
उदाहरण
गूंज जी पी0 | एलबीटी | lbt2dot | दीवाना हो गया -
onworks.net सेवाओं का उपयोग करके lbt2dot का ऑनलाइन उपयोग करें