Ini adalah perintah dfg2dfg yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa workstation online gratis kami seperti Ubuntu Online, Fedora Online, emulator online Windows atau emulator online MAC OS
PROGRAM:
NAMA
dfg2dfg - menghitung perkiraan masalah
RINGKASAN
dfg2dfg [-tanduk] [-monadis] [-linier] [-dangkal] [masuk] [file keluar]
DESKRIPSI
dfg2dfg adalah program yang membaca klausa dari berkas masukan dalam sintaks DFG. Kemudian
menghitung perkiraan set klausa tergantung pada opsi baris perintah.
Akhirnya ia menuliskan set klausa perkiraan dalam sintaksis DFG ke dalam sebuah berkas.
Jika tidak masuk maupun file keluar diberikan, dfg2dfg membaca dari input standar dan menulis ke
keluaran standar. Jika satu nama berkas diberikan, ia membaca dari berkas tersebut dan menulis keluarannya
ke keluaran standar. Jika lebih dari satu nama berkas diberikan, dfg2dfg membaca dari yang pertama
file dan menulis ke yang kedua.
Perkiraan ini dijelaskan secara rinci secara teknis dalam makalah terpisah dfg2dfg.ps
termasuk dalam distribusi SPASS.
PILIHAN
dfg2dfg memiliki empat opsi baris perintah berbeda yang dapat digabungkan.
-klakson
Opsi ini memungkinkan transformasi klausa non-horn menjadi klausa horn. Setiap
klausa non-tanduk dengan n literal positif diubah menjadi n klausa tanduk, dimana
iKlausa ke- berisi i-th literal positif dan semua literal negatif dari non-
klausa tanduk. Lihat juga bagian 3 makalah ini.
-monadik[=n]
Dengan opsi ini atom dengan simbol predikat non-monadik diubah menjadi monadi
atom. Jika n dihilangkan atau n=1 istilah pengkodean diterapkan, yaitu semua non-monadik
predikat dipindahkan ke tingkat istilah. Dengan n=2 proyeksi diterapkan. Semua non-
Atom monadi digantikan oleh proyeksi argumen monadinya. Lihat bagian 4.1
bagian 4.2 makalah untuk rincian lebih lanjut.
-linier
Perkiraan ini mengubah klausa dengan literal monadi dan variabel non-linier
kejadian pada atom-atom berikutnya, menjadi klausa baru dengan kemungkinan lebih negatif
literal, yang tidak mengandung variabel non-linier apa pun di dalam suksesi. Lihat bagian
5 dari makalah ini untuk rinciannya.
-dangkal[=n]
Transformasi ini mencoba untuk mengurangi kedalaman istilah dalam literal positif.
Transformasi hanya diterapkan pada klausa horn dengan literal monadi. Jika n dihilangkan
or n=1 transformasi ketat diterapkan, yakni dengan menjaga kesetaraan.
Untuk n=2 beberapa prasyarat dihilangkan. Hal ini memungkinkan transformasi diterapkan
lebih sering, tetapi transformasinya tidak lagi mempertahankan kesetaraan. Untuk n=3
Lebih banyak prasyarat dihapus. Lihat bagian 6.n dari kertas untuk
detail opsi baris perintah -monadik=n.
Gunakan dfg2dfg online menggunakan layanan onworks.net
