ltsconvert - क्लाउड में ऑनलाइन

कार्यक्रम:

नाम

ltsconvert - LTS को रूपांतरित करें और वैकल्पिक रूप से न्यूनतम करें

SYNOPSIS

ltsconvert [विकल्प]...[फाइल मैं [बाहरी]]

वर्णन

अनुरोधित में लेबल ट्रांज़िशन सिस्टम (LTS) को INFILE से OUTFILE में बदलें
चयनित न्यूनतमकरण विधि को लागू करने के बाद प्रारूपित करें (डिफ़ॉल्ट कोई नहीं है)। यदि आउटफ़ाइल है
आपूर्ति नहीं की गई, stdout का उपयोग किया जाता है। यदि INFILE की आपूर्ति नहीं की गई है, तो stdin का उपयोग किया जाता है।

आउटपुट फॉर्मेट OUTFILE के एक्सटेंशन द्वारा निर्धारित होता है, जबकि इनपुट फॉर्मेट होता है
INFILE की सामग्री द्वारा निर्धारित। विकल्प --in और --out का उपयोग इनपुट को बाध्य करने के लिए किया जा सकता है
और आउटपुट स्वरूप। समर्थित प्रारूप हैं:
एल्डेबरन प्रारूप (सीएडीपी) के लिए 'ऑट',
ग्राफ़विज़ प्रारूप के लिए 'डॉट' (अब इनपुट प्रारूप के रूप में समर्थित नहीं है),
परिमित राज्य मशीन प्रारूप के लिए 'एफएसएम', या
mCRL2 LTS प्रारूप के लिए 'lts' (डिफ़ॉल्ट)

विकल्प

विकल्प निम्नलिखित में से कोई भी हो सकता है:

-D, --निर्धारित करें
एलटीएस निर्धारित करें

-eनाम, --समतुल्यता=नाम
समतुल्य एलटीएस उत्पन्न करें, समतुल्यता को संरक्षित करते हुए नाम: 'कोई नहीं' पहचान
समतुल्यता (डिफ़ॉल्ट) 'बिसिम' मजबूत द्विसमानता 'बिसिम-सिग' मजबूत द्विसमानता
हस्ताक्षर शोधन का उपयोग करना 'ब्रांचिंग-बिसिम' ब्रांचिंग बिसिमिलरिटी 'ब्रांचिंग-
बिसिम-सिग' हस्ताक्षर परिशोधन का उपयोग कर शाखाओं में बंटी समानता 'डीपीब्रांचिंग-बिसिम'
शाखाओं की द्विसमानता को संरक्षित करने वाला विचलन 'डीपीब्रांचिंग-बिसिम-सिग' विचलन
हस्ताक्षर परिशोधन 'कमजोर-बिसिम' कमजोर का उपयोग करके शाखाओं में बंटी समानता को संरक्षित करना
द्विसमानता 'कमजोर-बिसिम-सिग' हस्ताक्षर परिशोधन का उपयोग करते हुए कमजोर द्विसमानता 'dpweak-
बिसिम' विचलन कमजोर द्विसमानता को संरक्षित करता है 'डीपीवीक-बिसिम-सिग' विचलन
हस्ताक्षर परिशोधन 'सिम' मजबूत सिमुलेशन का उपयोग करके कमजोर द्विपक्षीयता को संरक्षित करना
तुल्यता 'ट्रेस' मजबूत ट्रेस तुल्यता 'कमजोर-ट्रेस' कमजोर ट्रेस तुल्यता
'ताऊ-तारा' ताऊ सितारा कमी

-iFORMAT, --में=FORMAT
इनपुट प्रारूप के रूप में FORMAT का उपयोग करें

-lफ़ाइल, --एलपीएस=फ़ाइल
FILE को उस LPS के रूप में उपयोग करें जिससे इनपुट LTS उत्पन्न हुआ था; इसकी आवश्यकता हो सकती है
एफएसएम प्रारूप में बचत करते समय राज्यों के सही पैरामीटर नाम संग्रहीत करें
गैर-mCRL2 LTS को mCRL2 LTS में बदलें

--पहुंच नहीं
इनपुट एलटीएस पर रीचैबिलिटी जांच न करें

-n, --नो-स्टेट
डॉट प्रारूप में सहेजते समय राज्य की जानकारी छोड़ दें

-oFORMAT, --बाहर=FORMAT
आउटपुट स्वरूप के रूप में FORMAT का उपयोग करें

--ताऊ=अधिनियमनाम
अल्पविराम से अलग की गई सूची ACTNAMES में किसी नाम वाली कार्रवाइयों को आंतरिक मानें
(ताऊ) इनपुट द्वारा परिभाषित कार्यों के अतिरिक्त

--समय[=फ़ाइल]
FILE में समय मापन जोड़ें। माप मानक त्रुटि के लिए लिखे जाते हैं यदि
कोई फ़ाइल प्रदान नहीं की गई है

मानक विकल्प:

-q, --शांत
चेतावनी संदेश प्रदर्शित न करें

-v, --शब्दशः
लघु मध्यवर्ती संदेश प्रदर्शित करें

-d, - दाढ़
विस्तृत मध्यवर्ती संदेश प्रदर्शित करें

--छांटने का स्तर=LEVEL
स्तर तक और सहित मध्यवर्ती संदेश प्रदर्शित करें

-h, --मदद
सहायता जानकारी प्रदर्शित करें

--संस्करण
संस्करण जानकारी प्रदर्शित करें

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