এটি হল txt2lps কমান্ড যা আমাদের একাধিক বিনামূল্যের অনলাইন ওয়ার্কস্টেশন যেমন উবুন্টু অনলাইন, ফেডোরা অনলাইন, উইন্ডোজ অনলাইন এমুলেটর বা MAC OS অনলাইন এমুলেটর ব্যবহার করে OnWorks ফ্রি হোস্টিং প্রদানকারীতে চালানো যেতে পারে।
কার্যক্রম:
NAME এর
txt2lps - একটি রৈখিক প্রক্রিয়ার একটি mCRL2 স্পেসিফিকেশন একটি LPS-এ অনুবাদ করে
সাইনোপিসিস
txt2lps [অনুযায়ী OPTION]... [ইনফাইল [আউটফাইল]]
বর্ণনাঃ
INFILE-এ mCRL2 স্পেসিফিকেশন অনুবাদ করে এবং ফলস্বরূপ LPS-কে OUTFILE-এ লেখে। যদি
OUTFILE উপস্থিত নেই, স্ট্যান্ডার্ড আউটপুট ব্যবহার করা হয়। INFILE উপস্থিত না থাকলে, মানক ইনপুট
ব্যবহৃত হয়.
বিকল্প
অনুযায়ী OPTION নিম্নলিখিত যে কোনো হতে পারে:
--সময়[=ফাইল]
সময় পরিমাপ FILE এ যোগ করুন। পরিমাপ স্ট্যান্ডার্ড ত্রুটি লিখিত হয় যদি
কোন FILE প্রদান করা হয় না
স্ট্যান্ডার্ড বিকল্প:
-q, -- শান্ত
সতর্কতা বার্তা প্রদর্শন করবেন না
-v, -- ভারবোস
সংক্ষিপ্ত মধ্যবর্তী বার্তা প্রদর্শন করুন
-d, --ডিবাগ
বিস্তারিত মধ্যবর্তী বার্তা প্রদর্শন করুন
--লগ-স্তর=লেভেল
স্তর পর্যন্ত এবং সহ মধ্যবর্তী বার্তা প্রদর্শন করুন
-h, --help
সাহায্য তথ্য প্রদর্শন
--সংস্করণ
প্রদর্শন সংস্করণ তথ্য
onworks.net পরিষেবা ব্যবহার করে অনলাইনে txt2lps ব্যবহার করুন
