ltsconvert - ക്ലൗഡിൽ ഓൺലൈനായി

പട്ടിക:

NAME

ltsconvert - ഒരു LTS പരിവർത്തനം ചെയ്യുകയും ഓപ്ഷണലായി ചെറുതാക്കുകയും ചെയ്യുക

സിനോപ്സിസ്

പരിവർത്തനം ചെയ്യുക [ഓപ്ഷൻ]... [INFILE [ഔട്ട്ഫിൽ]]

വിവരണം

അഭ്യർത്ഥിച്ചതിൽ INFILE-ൽ നിന്ന് OUTFILE-ലേക്ക് ലേബൽ ചെയ്‌ത ട്രാൻസിഷൻ സിസ്റ്റം (LTS) പരിവർത്തനം ചെയ്യുക
തിരഞ്ഞെടുത്ത മിനിമൈസേഷൻ രീതി പ്രയോഗിച്ചതിന് ശേഷം ഫോർമാറ്റ് ചെയ്യുക (സ്ഥിരസ്ഥിതി ഒന്നുമല്ല). OUTFILE ആണെങ്കിൽ
വിതരണം ചെയ്തിട്ടില്ല, stdout ഉപയോഗിക്കുന്നു. INFILE നൽകിയിട്ടില്ലെങ്കിൽ, stdin ഉപയോഗിക്കുന്നു.

ഔട്ട്‌പുട്ട് ഫോർമാറ്റ് നിർണ്ണയിക്കുന്നത് OUTFILE എന്നതിന്റെ വിപുലീകരണമാണ്, അതേസമയം ഇൻപുട്ട് ഫോർമാറ്റ് ആണ്
INFILE-ന്റെ ഉള്ളടക്കം നിർണ്ണയിച്ചിരിക്കുന്നു. ഇൻപുട്ട് നിർബന്ധമാക്കാൻ --in and --out ഓപ്ഷനുകൾ ഉപയോഗിക്കാം
ഔട്ട്പുട്ട് ഫോർമാറ്റുകളും. പിന്തുണയ്ക്കുന്ന ഫോർമാറ്റുകൾ ഇവയാണ്:
Aldebaran ഫോർമാറ്റിനുള്ള (CADP) 'aut',
GraphViz ഫോർമാറ്റിനുള്ള 'dot' (ഇൻപുട്ട് ഫോർമാറ്റായി ഇനി പിന്തുണയ്ക്കില്ല),
ഫിനൈറ്റ് സ്റ്റേറ്റ് മെഷീൻ ഫോർമാറ്റിനുള്ള 'fsm', അല്ലെങ്കിൽ
mCRL2 LTS ഫോർമാറ്റിനുള്ള 'lts' (സ്ഥിരസ്ഥിതി)

ഓപ്ഷനുകൾ

ഓപ്ഷൻ ഇനിപ്പറയുന്നവയിൽ ഏതെങ്കിലും ആകാം:

-D, --നിർണ്ണയിക്കുക
LTS നിർണ്ണയിക്കുക

-eNAME, --തുല്യത=NAME
ഒരു തുല്യമായ LTS സൃഷ്ടിക്കുക, തുല്യത സംരക്ഷിക്കുന്നു NAME: 'none' ഐഡന്റിറ്റി
തുല്യത (സ്ഥിരസ്ഥിതി) 'ബിസിം' ശക്തമായ ബിസിമിലാരിറ്റി 'ബിസിം-സിഗ്' ശക്തമായ ബിസിമിലാരിറ്റി
സിഗ്നേച്ചർ റിഫൈൻമെന്റ് ഉപയോഗിച്ച് 'ബ്രാഞ്ചിംഗ്-ബിസിം' ബ്രാഞ്ചിംഗ് ബിസിമിലാരിറ്റി 'ബ്രാഞ്ചിംഗ്-
'dpbranching-bisim' എന്ന സിഗ്നേച്ചർ റിഫൈൻമെന്റ് ഉപയോഗിച്ച് ബിസിം-സിഗ്' ബ്രാഞ്ചിംഗ് ബിസിമിലാരിറ്റി
വ്യത്യസ്‌തത സംരക്ഷിക്കുന്ന ശാഖകളുടെ ദ്വിസാമ്യത 'dpbranching-bisim-sig' വ്യത്യാസം
സിഗ്നേച്ചർ റിഫൈൻമെന്റ് 'വീക്ക്-ബിസിം' ബലഹീനത ഉപയോഗിച്ച് ബ്രാഞ്ചിംഗ് ദ്വിസാമ്യത സംരക്ഷിക്കുന്നു
ബിസിമിലാരിറ്റി 'ദുർബല-ബിസിം-സിഗ്' സിഗ്നേച്ചർ റിഫൈൻമെന്റ് ഉപയോഗിച്ചുള്ള ദുർബലമായ ബിസിമിലാരിറ്റി 'dpweak-
ബിസിം' വ്യതിചലനം ദുർബലമായ ദ്വിസാമ്യത സംരക്ഷിക്കുന്നു 'dpweak-bisim-sig' വ്യതിചലനം
സിഗ്നേച്ചർ റിഫൈൻമെന്റ് 'സിം' ശക്തമായ സിമുലേഷൻ ഉപയോഗിച്ച് ദുർബലമായ ദ്വിസാമ്യത സംരക്ഷിക്കുന്നു
തുല്യത 'ട്രേസ്' ശക്തമായ ട്രെയ്സ് തുല്യത 'ദുർബ്ബല-ട്രേസ്' ദുർബലമായ ട്രെയ്സ് തുല്യത
'ടൗ-സ്റ്റാർ' ടൗ നക്ഷത്രം കുറയ്ക്കൽ

-iഫോർമാറ്റ്, --ഇൻ=ഫോർമാറ്റ്
ഇൻപുട്ട് ഫോർമാറ്റായി ഫോർമാറ്റ് ഉപയോഗിക്കുക

-lFILE, --lps=FILE
ഇൻപുട്ട് LTS സൃഷ്ടിച്ച LPS ആയി FILE ഉപയോഗിക്കുക; ഇത് ആവശ്യമായി വന്നേക്കാം
fsm ഫോർമാറ്റിൽ സേവ് ചെയ്യുമ്പോൾ സംസ്ഥാനങ്ങളുടെ ശരിയായ പാരാമീറ്റർ പേരുകൾ സംഭരിക്കുക
mCRL2 അല്ലാത്ത LTS-കളെ mCRL2 LTS-ലേക്ക് പരിവർത്തനം ചെയ്യുക

--എത്തുന്നില്ല
ഇൻപുട്ട് LTS-ൽ എത്തിച്ചേരാനാകാത്ത പരിശോധന നടത്തരുത്

-n, --ഇല്ല-സംസ്ഥാനം
ഡോട്ട് ഫോർമാറ്റിൽ സംരക്ഷിക്കുമ്പോൾ സംസ്ഥാന വിവരങ്ങൾ ഉപേക്ഷിക്കുക

-oഫോർമാറ്റ്, --പുറത്ത്=ഫോർമാറ്റ്
ഔട്ട്പുട്ട് ഫോർമാറ്റായി ഫോർമാറ്റ് ഉപയോഗിക്കുക

--ടൗ=ACTNAMES
കോമയാൽ വേർതിരിച്ച ലിസ്റ്റിലെ ACTNAMES-ൽ ഒരു പേരുള്ള പ്രവർത്തനങ്ങൾ ആന്തരികമായി പരിഗണിക്കുക
(tau) ഇൻപുട്ട് പ്രകാരം നിർവചിച്ചിരിക്കുന്നവയ്ക്ക് പുറമെയുള്ള പ്രവർത്തനങ്ങൾ

--സമയങ്ങൾ[=FILE]
FILE-ലേക്ക് സമയ അളവുകൾ കൂട്ടിച്ചേർക്കുക. എങ്കിൽ അളവുകൾ സാധാരണ പിശകിന് എഴുതിയിരിക്കുന്നു
ഫയലൊന്നും നൽകിയിട്ടില്ല

സ്റ്റാൻഡേർഡ് ഓപ്ഷനുകൾ:

-q, --നിശബ്ദമായി
മുന്നറിയിപ്പ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കരുത്

-v, --വാക്കുകൾ
ഹ്രസ്വമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

-d, --ഡീബഗ്
വിശദമായ ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

--ലോഗ്-ലെവൽ=ലെവൽ
ലെവൽ ഉൾപ്പെടെയുള്ള ഇന്റർമീഡിയറ്റ് സന്ദേശങ്ങൾ പ്രദർശിപ്പിക്കുക

-h, --സഹായിക്കൂ
സഹായ വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക

--പതിപ്പ്
പതിപ്പ് വിവരങ്ങൾ പ്രദർശിപ്പിക്കുക

onworks.net സേവനങ്ങൾ ഉപയോഗിച്ച് ഓൺലൈനായി ltsconvert ഉപയോഗിക്കുക