Ini ialah arahan dfg2dfg yang boleh dijalankan dalam penyedia pengehosan percuma OnWorks menggunakan salah satu daripada berbilang stesen kerja dalam talian percuma kami seperti Ubuntu Online, Fedora Online, emulator dalam talian Windows atau emulator dalam talian MAC OS.
JADUAL:
NAMA
dfg2dfg - kira anggaran masalah
SINOPSIS
dfg2dfg [-tanduk] [-monadic] [-linear] [-cetek] [dalam fail] [fail luar]
DESCRIPTION
dfg2dfg ialah atur cara yang membaca klausa daripada fail input dalam sintaks DFG. Ia kemudian
mengira anggaran set klausa bergantung pada pilihan baris arahan.
Akhirnya ia menulis klausa anggaran yang ditetapkan dalam sintaks DFG ke fail.
Jika tiada dalam fail tidak fail luar diberikan, dfg2dfg membaca daripada input standard dan menulis ke
keluaran standard. Jika satu nama fail diberikan, ia membaca dari fail itu dan menulis output
kepada keluaran standard. Jika lebih daripada satu nama fail diberikan, dfg2dfg membaca dari yang pertama
fail dan tulis ke yang kedua.
Anggaran diterangkan secara terperinci teknikal dalam kertas berasingan dfg2dfg.ps
termasuk dalam pengedaran SPASS.
PILIHAN
dfg2dfg mempunyai empat pilihan baris arahan berbeza yang boleh digabungkan.
-tanduk
Pilihan ini membolehkan perubahan klausa bukan tanduk kepada klausa tanduk. setiap satu
fasal bukan tanduk dengan n literal positif diubah menjadi n fasal tanduk, di mana
i-th klausa mengandungi i-tersurat positif ke- dan semua tersurat negatif daripada bukan-
fasal tanduk. Lihat juga bahagian 3 kertas itu.
-monadic[=n]
Dengan pilihan ini atom dengan simbol predikat bukan monadik diubah menjadi monadik
atom. Sekiranya n ditinggalkan atau n=1 pengekodan istilah digunakan, iaitu, semua bukan monadik
predikat dipindahkan ke peringkat istilah. Dengan n=2 unjuran digunakan. Semua bukan-
atom monadik digantikan dengan unjuran hujah monadiknya. Lihat bahagian 4.1
bahagian 4.2 kertas untuk butiran lanjut.
-linear
Anggaran ini mengubah klausa dengan literal monadik dan pembolehubah bukan linear
kejadian dalam atom berturutan, menjadi klausa baharu dengan kemungkinan lebih negatif
literals, yang tidak mengandungi sebarang pembolehubah bukan linear dalam succedent. Lihat bahagian
5 daripada kertas untuk butiran.
-cetek[=n]
Transformasi ini cuba mengurangkan kedalaman istilah dalam literal positif. The
penjelmaan digunakan pada klausa tanduk dengan literal monadik sahaja. Jika n ditinggalkan
or n=1 transformasi yang ketat digunakan, iaitu pemeliharaan kesetaraan, walau bagaimanapun.
Untuk n=2 beberapa prasyarat dialih keluar. Ini membolehkan transformasi diterapkan
lebih kerap, tetapi penjelmaan itu bukan pemuliharaan kesetaraan lagi. Untuk n=3
malah lebih banyak prasyarat dikeluarkan. Lihat bahagian 6.n daripada kertas untuk
butiran pilihan baris arahan -monadic=n.
Gunakan dfg2dfg dalam talian menggunakan perkhidmatan onworks.net