این دستور ltscompare است که می تواند در ارائه دهنده هاست رایگان OnWorks با استفاده از یکی از چندین ایستگاه کاری آنلاین رایگان ما مانند Ubuntu Online، Fedora Online، شبیه ساز آنلاین ویندوز یا شبیه ساز آنلاین MAC OS اجرا شود.
برنامه:
نام
ltscompare - مقایسه دو LTS
خلاصه
مقایسه کن [گزینه]... [INFILE1] INFILE2
شرح
تعیین کنید که آیا سیستم های انتقال برچسب (LTS) در INFILE1 و INFILE2 هستند یا خیر
مربوط به مقداری معادل یا پیش سفارش. اگر INFILE1 ارائه نشده باشد، از stdin استفاده می شود.
فرمت های ورودی با محتویات INFILE1 و INFILE2 تعیین می شوند. گزینه ها --in1
و --in2 را می توان برای تحمیل فرمت ورودی INFILE1 و INFILE2 به ترتیب استفاده کرد. در
فرمت های پشتیبانی شده عبارتند از:
"au" برای قالب Aldebaran (CADP)،
"نقطه" برای قالب GraphViz (دیگر به عنوان فرمت ورودی پشتیبانی نمی شود)،
'fsm' برای قالب ماشین حالت محدود، یا
'lts' برای قالب mCRL2 LTS
OPTIONS
گزینه می تواند یکی از موارد زیر باشد:
-c, --مثال نقض
اگر ltsهای ورودی معادل نباشند، ردهای مثال شمارنده ایجاد کنید
-eنام), --معادل=نام)
استفاده از معادل NAME (مجاز نیست در ترکیب با -p/--preorder): "هیچ"
معادل هویت (پیش فرض) 'bisim' دو شباهت قوی 'branching-bisim'
انشعاب دو شباهت 'dpbranching-bisim' واگرایی حفظ انشعاب
دو شباهت 'weak-bisim' دو شباهت ضعیف 'dpweak-bisim' واگرایی حفظ
دو شباهت ضعیف 'sim' معادل شبیه سازی قوی 'ردیابی' رد قوی
هم ارزی 'weak-trace' equivalence trace ضعیف
-iFORMAT, --در 1=FORMAT
استفاده از FORMAT به عنوان فرمت INFILE1 (یا stdin)
-jFORMAT, --در 2=FORMAT
از FORMAT به عنوان فرمت INFILE2 استفاده کنید
-pنام, --پیش سفارش=نام
استفاده از پیش‌سفارش NAME (در ترکیب با -e/--معادل مجاز نیست): "ناشناس"
پیش‌سفارش ناشناخته (پیش‌فرض) «sim» شبیه‌سازی قوی پیش‌سفارش «ردیابی» ردیابی قوی
preorder 'weak-trace' ضعیف trace preorder
-- تاو=ACTNAMES
اقدامات دارای نام در لیست جدا شده با کاما ACTNAMES را داخلی در نظر بگیرید
(tau) اقداماتی علاوه بر اقداماتی که توسط ورودی به این صورت تعریف شده است
-- زمان بندی[=فایل]
اندازه گیری های زمان بندی را به FILE اضافه کنید. اندازه‌گیری‌ها با خطای استاندارد نوشته می‌شوند
هیچ فایلی ارائه نشده است
گزینه های استاندارد:
-q, --ساکت
پیام های هشدار را نمایش ندهید
-v, -- پرحرف
نمایش پیام های میانی کوتاه
-d, - رفع اشکال
نمایش پیام های میانی دقیق
---log-level=سطح
نمایش پیام های میانی تا سطح و شامل
-h, --کمک
نمایش اطلاعات راهنما
- نسخه
نمایش اطلاعات نسخه
با استفاده از خدمات onworks.net از ltscompare آنلاین استفاده کنید
