മോണ - ക്ലൗഡിൽ ഓൺലൈനിൽ

പട്ടിക:

NAME

മോണ - WS1S, WS2S എന്നീ ലോജിക്കുകൾക്കുള്ള ഒരു തീരുമാന നടപടിക്രമം

സിനോപ്സിസ്

കുരങ്ങൻ [ ഓപ്ഷനുകൾ ] മോണ-ഫയൽ

വിവരണം

മോണ WS1S അല്ലെങ്കിൽ WS2S ലോജിക്കുകളിലെ ഫോർമുലകളെ പരിമിത-നിലയിലേക്ക് വിവർത്തനം ചെയ്യുന്ന ഒരു ഉപകരണമാണ്
BDD-കൾ പ്രതിനിധീകരിക്കുന്ന ഓട്ടോമാറ്റ. ഫോർമുലകൾ തിരയൽ പാറ്റേണുകൾ പ്രകടിപ്പിക്കാം, താൽക്കാലികം
റിയാക്ടീവ് സിസ്റ്റങ്ങളുടെ സവിശേഷതകൾ, പാഴ്സ് ട്രീ നിയന്ത്രണങ്ങൾ മുതലായവ. മോണയും വിശകലനം ചെയ്യുന്നു
കംപൈലേഷന്റെ ഫലമായുണ്ടാകുന്ന ഓട്ടോമാറ്റൺ, ഫോർമുല സാധുതയുള്ളതാണോ എന്ന് നിർണ്ണയിക്കുന്നു,
സൂത്രവാക്യം സാധുവല്ലെങ്കിൽ, ഒരു എതിർ-ഉദാഹരണം സൃഷ്ടിക്കുന്നു.

ആർഹസിലെ കമ്പ്യൂട്ടർ സയൻസ് വകുപ്പിലെ ഒരു ഗവേഷണ പദ്ധതിയാണ് മോണ പ്രോജക്റ്റ്
സർവ്വകലാശാല.

പൂർണ്ണ ഡോക്യുമെന്റേഷൻ, ജിപിഎൽ സോഴ്സ് കോഡ്, അനുബന്ധ ഗവേഷണ പേപ്പറുകൾ എന്നിവയിൽ നിന്ന് ലഭ്യമാണ്
മോണ പ്രോജക്റ്റ് ഹോം പേജ് എന്നതിൽ http://www.brics.dk/mona

ഓപ്ഷനുകൾ

-w ഔട്ട്പുട്ട് മുഴുവൻ ഓട്ടോമാറ്റൺ. ഡിഫോൾട്ട് അതിന്റെ വലിപ്പം മാത്രം ഔട്ട്പുട്ട് ചെയ്യുക എന്നതാണ്.

-n ഓട്ടോമാറ്റൺ വിശകലനം ചെയ്യരുത്. സാധുതയ്ക്കും അസംതൃപ്തിക്കും വേണ്ടി വിശകലനം ചെയ്യുകയാണ് ഡിഫോൾട്ട്
തൃപ്തികരമായ ഒരു ഉദാഹരണവും എതിർ-ഉദാഹരണവും സൃഷ്ടിക്കാൻ.

-t ഓരോ ഘട്ടത്തിനും പ്രിന്റ് സമയം കഴിഞ്ഞു. -s ഉപയോഗിക്കുകയാണെങ്കിൽ, ഓരോ ഓട്ടോമാറ്റണിന്റെയും സമയം
പ്രവർത്തനവും അച്ചടിച്ചിട്ടുണ്ട്.

-s പ്രിന്റ് സ്ഥിതിവിവരക്കണക്കുകൾ. ഓരോ ഓട്ടോമാറ്റൺ ഓപ്പറേഷനുമുള്ള വിവരങ്ങളും ഒരു സംഗ്രഹവും പ്രിന്റ് ചെയ്യുന്നു.

-i പ്രിന്റ് ഇന്റർമീഡിയറ്റ് ഓട്ടോമാറ്റ (-s സൂചിപ്പിക്കുന്നു).

-d Dump AST, ചിഹ്ന പട്ടിക, DAG കോഡ്. ഡീബഗ്ഗിംഗിന് ഉപയോഗപ്രദമാണ്.

-q നിശബ്ദത, പുരോഗതി അച്ചടിക്കരുത്.

-ഇ പ്രത്യേക സമാഹാരം പ്രവർത്തനക്ഷമമാക്കുക. (ചുവടെയുള്ള MONALIB പരിസ്ഥിതി വേരിയബിൾ കാണുക.)

-oN കോഡ് ഒപ്റ്റിമൈസേഷൻ ലെവൽ N (0=ഒന്നുമില്ല, 1=സുരക്ഷിതം, 2=ഹ്യൂറിസ്റ്റിക്) (ഡിഫോൾട്ട് 1).

-r BDD സൂചിക പുനഃക്രമീകരിക്കൽ പ്രവർത്തനരഹിതമാക്കുക, സൂചിക ക്രമപ്പെടുത്തലായി ഡിക്ലറേഷൻ ഓർഡർ ഉപയോഗിക്കുക. സ്ഥിരസ്ഥിതി
BDD സൂചികകൾ ഹ്യൂറിസ്റ്റിക് ആയി പുനഃക്രമീകരിക്കുക എന്നതാണ്.

-f നിർബന്ധിത സാധാരണ ട്രീ-മോഡ് ഔട്ട്പുട്ട് ശൈലി. WSRT മോഡിന് മാത്രം ബാധകമാണ്.

-m ഇതര M2L-Str എമുലേഷൻ (v1.3 ശൈലി).

-h പാരമ്പര്യ സ്വീകാര്യത വിശകലനം പ്രാപ്തമാക്കുക.

-u അനിയന്ത്രിതമായ ഔട്ട്പുട്ട് ഓട്ടോമാറ്റ. "ഡോണ്ട് കെയർ" പരിവർത്തനം ചെയ്തുകൊണ്ട് പരമ്പരാഗത ഓട്ടോമാറ്റ സൃഷ്ടിക്കുക
സംസ്ഥാനങ്ങൾ "നിരസിക്കാൻ" സംസ്ഥാനങ്ങളും ചെറുതാക്കുന്നു.

ഗ്രാഫ്വിസ് ഫോർമാറ്റിൽ -gw ഔട്ട്പുട്ട് മുഴുവൻ ഓട്ടോമാറ്റൺ (-n -q സൂചിപ്പിക്കുന്നു). (ഗ്രാഫ്വിസ് ലഭ്യമാണ്
at http://www.graphviz.org/)

-gs ഔട്ട്പുട്ട് തൃപ്തികരമായ ഉദാഹരണ ട്രീ ഗ്രാഫ്വിസ് ഫോർമാറ്റിൽ (-ക്യു സൂചിപ്പിക്കുന്നു).

-gc ഔട്ട്പുട്ട് കൌണ്ടർ-ഉദാഹരണം ഗ്രാഫ്വിസ് ഫോർമാറ്റിലുള്ള ട്രീ (-ക്യു സൂചിപ്പിക്കുന്നു).

-gd ഡമ്പ് കോഡ് DAG ഗ്രാഫ്വിസ് ഫോർമാറ്റിൽ (-n -q സൂചിപ്പിക്കുന്നു).

-xw ബാഹ്യ ഫോർമാറ്റിൽ മുഴുവൻ ഓട്ടോമാറ്റൺ ഔട്ട്പുട്ട് (-n -q സൂചിപ്പിക്കുന്നു). "ബാഹ്യ ഫോർമാറ്റ്" ആണ്
dfalib ഉം gtalib ഉം ഉപയോഗിക്കുന്ന ഫോർമാറ്റ്, ഉറവിട പാക്കേജ് കാണുക.

ENVIRONMENT

മൊണാലിബ്
പ്രത്യേക കംപൈലേഷൻ ഓട്ടോമാറ്റയ്‌ക്കായി ഉപയോഗിക്കുന്ന ഡയറക്‌ടറി നിർവചിക്കുന്നു (ഡിഫോൾട്ട് കറന്റ് ആണ്
ഡയറക്ടറി).

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