Aceasta este comanda dfg2dfg care poate fi rulată în furnizorul de găzduire gratuit OnWorks folosind una dintre multiplele noastre stații de lucru online gratuite, cum ar fi Ubuntu Online, Fedora Online, emulator online Windows sau emulator online MAC OS
PROGRAM:
NUME
dfg2dfg - calculează aproximări ale problemelor
REZUMAT
dfg2dfg [-corn] [-monadic] [-liniar] [-shallow] [infile] [outfile]
DESCRIERE
dfg2dfg este un program care citește clauze dintr-un fișier de intrare în sintaxa DFG. Atunci
calculează o aproximare a setului de clauze în funcție de opțiunile liniei de comandă.
În cele din urmă, scrie clauza aproximativă setată în sintaxa DFG într-un fișier.
Dacă nici unul infile nici outfile sunt date, dfg2dfg citește de la intrarea standard și scrie în
ieșire standard. Dacă este dat un nume de fișier, acesta citește din acel fișier și scrie rezultatul
la ieșirea standard. Dacă sunt date mai multe nume de fișier, dfg2dfg citeste din prima
fișier și scrie în al doilea.
Aproximațiile sunt descrise în detaliu tehnic în lucrarea separată dfg2dfg.ps
incluse în distribuția SPASS.
OPŢIUNI
dfg2dfg are patru opțiuni diferite de linie de comandă care pot fi combinate.
-corn
Această opțiune permite transformarea clauzelor fără corn în clauze corn. Fiecare
clauza non-horn cu n literalele pozitive se transformă în n clauze de corn, unde
i--a clauză conține i-al-lea literal pozitiv și toate literalele negative ale non-
clauză de corn. Vezi și secțiunea 3 a lucrării.
-monadic[=n]
Cu această opțiune, atomii cu simboluri predicate non-monadice sunt transformați în monadic
atomi. Dacă n este omis sau n=1 se aplică o codificare a termenilor, adică toate non-monadice
predicatele sunt mutate la nivelul termenului. Cu n=2 se aplică o proiecție. Toate non-
atomii monadici sunt înlocuiți cu proiecțiile argumentului lor monadic. Vezi secțiunea 4.1
secțiunea 4.2 a lucrării pentru mai multe detalii.
-liniar
Această aproximare transformă o clauză cu literale monadice și variabilă neliniară
apariții în atomi succesenți, într-o nouă clauză cu posibil mai multe negative
literali, care nu conține variabile neliniare în succesent. Vezi secțiunea
5 din lucrare pentru detalii.
-procent[=n]
Această transformare încearcă să reducă profunzimea termenilor în literali pozitivi. The
transformarea se aplică numai clauzelor corn cu literale monadice. Dacă n este omis
or n=1 se aplică o transformare strictă, adică păstrarea echivalenței, totuși.
Pentru n=2 unele condiții preliminare sunt eliminate. Acest lucru permite aplicarea transformării
mai des, dar transformarea nu mai este păstrarea echivalenței. Pentru n=3
chiar mai multe precondiții sunt eliminate. Aruncă o privire la secțiunea 6.n a hârtiei pentru
detalii despre opțiunea liniei de comandă -monadic=n.
Utilizați dfg2dfg online folosind serviciile onworks.net
