Ini adalah perintah dfg2dfg yang dapat dijalankan di penyedia hosting gratis OnWorks menggunakan salah satu dari beberapa stasiun kerja 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] [-monadik] [-linear] [-dangkal] [masuk] [file keluar]
DESKRIPSI
dfg2dfg adalah program yang membaca klausa dari file input dalam sintaks DFG. Itu kemudian
menghitung perkiraan set klausa tergantung pada opsi baris perintah.
Akhirnya ia menulis klausa perkiraan yang diatur dalam sintaks DFG ke file.
Jika tidak masuk maupun file keluar diberikan, dfg2dfg membaca dari input standar dan menulis ke
keluaran standar. Jika satu nama file diberikan, ia membaca dari file itu dan menulis hasilnya
ke keluaran standar. Jika lebih dari satu nama file diberikan, dfg2dfg membaca dari pertama
file dan menulis ke yang kedua.
Perkiraan dijelaskan secara rinci teknis di kertas terpisah dfg2dfg.ps
termasuk dalam distribusi SPAS.
PILIHAN
dfg2dfg memiliki empat opsi baris perintah berbeda yang dapat digabungkan.
-tanduk
Opsi ini memungkinkan transformasi klausa non-tanduk menjadi klausa tanduk. Setiap
klausa non-tanduk dengan n literal positif diubah menjadi n klausa tanduk, di mana
i-klausa ke-th berisi i-literal positif ke-th dan semua literal negatif dari non-
klausa tanduk. Lihat juga bagian 3 dari makalah ini.
-monadik[=n]
Dengan opsi ini atom dengan simbol predikat non-monadik diubah menjadi monadik
atom. Jika n dihilangkan atau n=1 istilah pengkodean diterapkan, yaitu, semua non-monadik
predikat dipindahkan ke term level. Dengan n=2 proyeksi diterapkan. Semua non-
atom monadik digantikan oleh proyeksi argumen monadiknya. Lihat bagian 4.1
bagian 4.2 dari makalah ini untuk lebih jelasnya.
-linier
Pendekatan ini mengubah klausa dengan literal monadik dan variabel non-linear
kejadian dalam atom yang berurutan, menjadi klausa baru dengan kemungkinan lebih negatif
literal, yang tidak mengandung variabel non-linear apa pun di succedent. Lihat bagian
5 dari kertas untuk rincian.
-dangkal[=n]
Transformasi ini mencoba mengurangi kedalaman istilah dalam literal positif. NS
transformasi diterapkan pada klausa tanduk dengan literal monadik saja. Jika n dihilangkan
or n= 1 transformasi ketat diterapkan, yaitu mempertahankan kesetaraan.
Untuk n=2 beberapa prasyarat dihilangkan. Ini memungkinkan transformasi diterapkan
lebih sering, tetapi transformasi tidak lagi mempertahankan kesetaraan. Untuk n=3
bahkan lebih banyak prasyarat dihilangkan. Perhatikan bagian 6.n kertas untuk
rincian opsi baris perintah -monadik=n.
Gunakan dfg2dfg online menggunakan layanan onworks.net
