ltsconvert - ক্লাউডে অনলাইন

কার্যক্রম:

NAME এর

ltsconvert - রূপান্তর করুন এবং ঐচ্ছিকভাবে একটি LTS ছোট করুন

সাইনোপিসিস

রূপান্তর [অনুযায়ী OPTION]... [ইনফাইল [আউটফাইল]]

বর্ণনাঃ

অনুরোধে লেবেলযুক্ত ট্রানজিশন সিস্টেম (LTS) কে INFILE থেকে OUTFILE তে রূপান্তর করুন৷
নির্বাচিত মিনিমাইজেশন পদ্ধতি প্রয়োগ করার পরে বিন্যাস (ডিফল্ট কোনটি নয়)। যদি OUTFILE হয়
সরবরাহ করা হয় না, stdout ব্যবহার করা হয়। যদি INFILE সরবরাহ করা না হয়, stdin ব্যবহার করা হয়।

আউটপুট বিন্যাস OUTFILE এর এক্সটেনশন দ্বারা নির্ধারিত হয়, যেখানে ইনপুট বিন্যাস হয়
INFILE এর বিষয়বস্তু দ্বারা নির্ধারিত। ইনপুট জোর করার জন্য বিকল্প --in এবং --out ব্যবহার করা যেতে পারে
এবং আউটপুট ফরম্যাট। সমর্থিত ফর্ম্যাটগুলি হল:
Aldebaran বিন্যাসের জন্য 'aut' (CADP),
গ্রাফভিজ ফরম্যাটের জন্য 'ডট' (ইনপুট ফরম্যাট হিসেবে আর সমর্থিত নয়),
ফিনিট স্টেট মেশিন ফরম্যাটের জন্য 'fsm', বা
mCRL2 LTS ফরম্যাটের জন্য 'lts' (ডিফল্ট)

বিকল্প

অনুযায়ী OPTION নিম্নলিখিত যে কোনো হতে পারে:

-D, --নির্ধারণ করা
এলটিএস নির্ধারণ করুন

-eNAME এর, --সমতা=NAME এর
একটি সমতুল্য এলটিএস তৈরি করুন, সমতুল্য NAME সংরক্ষণ করুন: 'কোনও নয়' পরিচয়
সমতা (ডিফল্ট) 'বিসিম' শক্তিশালী দ্বিসাম্যতা 'বিসিম-সিগ' শক্তিশালী দ্বিসাম্যতা
স্বাক্ষর পরিমার্জন ব্যবহার করে 'শাখা-বিসিম' শাখা-প্রশাখা বিসিমিলারিটি 'শাখা-
bisim-sig' স্বাক্ষর পরিমার্জন 'dpbranching-bisim' ব্যবহার করে ব্রাঞ্চিং bisimilarity
ডাইভারজেন্স সংরক্ষণ ব্রাঞ্চিং দ্বিসাম্যতা 'dpbranching-bisim-sig' ডাইভারজেন্স
স্বাক্ষর পরিমার্জন 'দুর্বল-বিসিম' দুর্বল ব্যবহার করে শাখার দ্বি-সমতা রক্ষা করা
দ্বি-সমতা 'দুর্বল-বিসিম-সিগ' স্বাক্ষর পরিমার্জন ব্যবহার করে দুর্বল দ্বি-সাম্যতা 'dpweak-
bisim' অপসারণ দুর্বল দ্বি-সাম্যতা রক্ষা করে 'dpweak-bisim-sig' বিচ্যুতি
স্বাক্ষর পরিমার্জন 'সিম' শক্তিশালী সিমুলেশন ব্যবহার করে দুর্বল দ্বি-সমতা রক্ষা করা
সমতা 'ট্রেস' শক্তিশালী ট্রেস সমতা 'দুর্বল-ট্রেস' দুর্বল ট্রেস সমতুল্য
'তাউ-তারা' তাউ তারকা হ্রাস

-iবিন্যাসে, --ভিতরে=বিন্যাসে
ইনপুট বিন্যাস হিসাবে FORMAT ব্যবহার করুন

-lফাইল, --এলপিএস=ফাইল
FILE কে LPS হিসাবে ব্যবহার করুন যেখান থেকে ইনপুট LTS তৈরি হয়েছিল; এই প্রয়োজন হতে পারে
fsm ফরম্যাটে এবং to সংরক্ষণ করার সময় রাজ্যের সঠিক প্যারামিটার নাম সংরক্ষণ করুন
নন-mCRL2 LTSগুলিকে mCRL2 LTS-এ রূপান্তর করুন

--না-পৌছান
ইনপুট LTS-এ একটি পৌঁছানোর যোগ্যতা পরীক্ষা করবেন না

-n, --না-রাষ্ট্র
ডট বিন্যাসে সংরক্ষণ করার সময় রাষ্ট্রীয় তথ্য ত্যাগ করুন

-oবিন্যাসে, --আউট=বিন্যাসে
আউটপুট ফর্ম্যাট হিসাবে FORMAT ব্যবহার করুন

--তাউ=ACTNAMES
কমা দ্বারা বিভক্ত তালিকা ACTNAMES-এ একটি নামের সাথে কাজগুলিকে অভ্যন্তরীণ বলে বিবেচনা করুন৷
(tau) ক্রিয়াগুলি ইনপুট দ্বারা সংজ্ঞায়িত করা ছাড়াও

--সময়[=ফাইল]
সময় পরিমাপ FILE এ যোগ করুন। পরিমাপ স্ট্যান্ডার্ড ত্রুটি লিখিত হয় যদি
কোন FILE প্রদান করা হয় না

স্ট্যান্ডার্ড বিকল্প:

-q, -- শান্ত
সতর্কতা বার্তা প্রদর্শন করবেন না

-v, -- ভারবোস
সংক্ষিপ্ত মধ্যবর্তী বার্তা প্রদর্শন করুন

-d, --ডিবাগ
বিস্তারিত মধ্যবর্তী বার্তা প্রদর্শন করুন

--লগ-স্তর=লেভেল
স্তর পর্যন্ত এবং সহ মধ্যবর্তী বার্তা প্রদর্শন করুন

-h, --help
সাহায্য তথ্য প্রদর্শন

--সংস্করণ
প্রদর্শন সংস্করণ তথ্য

onworks.net পরিষেবা ব্যবহার করে ltsconvert অনলাইন ব্যবহার করুন