ນີ້ແມ່ນຄໍາສັ່ງ dfg2dfg ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
dfg2dfg - ຄິດໄລ່ປະມານຂອງບັນຫາ
ສະຫຼຸບສັງລວມ
dfg2dfg [-horn] [-monadic] [-linear] [-shallow] [infile] [outfile]
ລາຍລະອຽດ
dfg2dfg ແມ່ນໂຄງການທີ່ອ່ານຂໍ້ຈາກໄຟລ໌ປ້ອນຂໍ້ມູນໃນ syntax DFG. ແລ້ວ
ຄິດໄລ່ປະມານຂອງຂໍ້ກໍານົດໂດຍອີງໃສ່ທາງເລືອກໃນບັນຊີຄໍາສັ່ງ.
ສຸດທ້າຍມັນຂຽນຂໍ້ຄວາມປະມານທີ່ກໍານົດໄວ້ໃນ syntax DFG ໄປຫາໄຟລ໌.
ຖ້າບໍ່ infile neither outfile ແມ່ນໄດ້ຮັບການໃຫ້, dfg2dfg ອ່ານຈາກວັດສະດຸປ້ອນມາດຕະຖານ ແລະຂຽນໃສ່
ຜົນຜະລິດມາດຕະຖານ. ຖ້າມີຊື່ໄຟລ໌ຫນຶ່ງ, ມັນຈະອ່ານຈາກໄຟລ໌ນັ້ນແລະຂຽນຜົນໄດ້ຮັບ
ຜົນຜະລິດມາດຕະຖານ. ຖ້າມີຊື່ໄຟລ໌ຫຼາຍກວ່າໜຶ່ງອັນ, dfg2dfg ອ່ານຈາກຄັ້ງທໍາອິດ
ໄຟລ໌ແລະຂຽນໃສ່ທີສອງ.
ການປະມານການໄດ້ຖືກອະທິບາຍໄວ້ໃນລາຍລະອຽດດ້ານວິຊາການໃນເອກະສານແຍກຕ່າງຫາກ dfg2dfg.ps
ລວມຢູ່ໃນການແຈກຢາຍ SPASS.
OPTIONS
dfg2dfg ມີສີ່ທາງເລືອກແຖວຄໍາສັ່ງທີ່ແຕກຕ່າງກັນທີ່ອາດຈະຖືກລວມເຂົ້າກັນ.
- horn
ທາງເລືອກນີ້ເຮັດໃຫ້ການຫັນປ່ຽນຂອງຂໍ້ທີ່ບໍ່ແມ່ນ horn ເປັນ horn clauses. ແຕ່ລະ
non-horn clause ກັບ n ຕົວໜັງສືທາງບວກຖືກປ່ຽນເປັນ n horn clauses, ບ່ອນທີ່
i-th clause ປະກອບດ້ວຍ i- ຕົວໜັງສືທາງບວກແລະຕົວອັກສອນທາງລົບທັງຫມົດຂອງຕົວອັກສອນທີ່ບໍ່ແມ່ນ
horn ຂໍ້. ເບິ່ງພາກທີ 3 ຂອງເຈ້ຍນຳ.
-monadic[=n]
ດ້ວຍທາງເລືອກນີ້ອະຕອມທີ່ມີສັນຍາລັກທີ່ບໍ່ແມ່ນ monadic ຈະຖືກປ່ຽນເປັນ monadic
ປະລໍາມະນູ. ຖ້າ n ຖືກລະເວັ້ນຫຼື n=1 ການເຂົ້າລະຫັດຄຳສັບຖືກນຳໃຊ້, ເຊັ່ນ, ທັງໝົດທີ່ບໍ່ແມ່ນ monadic
predicates ຖືກຍ້າຍໄປໃນລະດັບຄໍາ. ກັບ n=2 ການຄາດການຖືກນຳໃຊ້. ທັງຫມົດທີ່ບໍ່ແມ່ນ
ອະຕອມ monadic ຖືກແທນທີ່ດ້ວຍການຄາດຄະເນການໂຕ້ຖຽງ monadic ຂອງພວກເຂົາ. ເບິ່ງພາກ 4.1
ພາກທີ 4.2 ຂອງເອກະສານສໍາລັບລາຍລະອຽດເພີ່ມເຕີມ.
- ເສັ້ນ
ການປະມານນີ້ປ່ຽນປະໂຫຍກທີ່ມີຕົວແປ monadic ແລະຕົວແປທີ່ບໍ່ແມ່ນເສັ້ນ
ການປະກົດຕົວຢູ່ໃນອະຕອມທີ່ສືບທອດ, ເຂົ້າໄປໃນຂໍ້ໃຫມ່ທີ່ມີຄວາມເປັນໄປໄດ້ທາງລົບຫຼາຍ
ຕົວຫນັງສື, ທີ່ບໍ່ມີຕົວແປທີ່ບໍ່ມີເສັ້ນຢູ່ໃນ succedent. ເບິ່ງພາກ
5 ຂອງເຈ້ຍສໍາລັບລາຍລະອຽດ.
-ຕື້ນ[=n]
ການຫັນປ່ຽນນີ້ພະຍາຍາມຫຼຸດຜ່ອນຄວາມເລິກຂອງຄໍາສັບຕ່າງໆໃນຕົວຫນັງສືໃນທາງບວກ. ໄດ້
ການຫັນປ່ຽນແມ່ນໃຊ້ກັບປະໂຫຍກ horn ທີ່ມີຕົວອັກສອນ monadic ເທົ່ານັ້ນ. ຖ້າ n ຖືກລະເວັ້ນ
or n=1 ການຫັນປ່ຽນຢ່າງເຂັ້ມງວດຖືກນຳໃຊ້, ນັ້ນແມ່ນການຮັກສາຄວາມສະເໝີພາບ, ແນວໃດກໍ່ຕາມ.
ສໍາລັບການ n=2 ບາງເງື່ອນໄຂຖືກເອົາອອກ. ນີ້ອະນຸຍາດໃຫ້ການຫັນເປັນການນໍາໃຊ້
ເລື້ອຍໆ, ແຕ່ການຫັນປ່ຽນບໍ່ແມ່ນການທຽບເທົ່າຮັກສາໄວ້ອີກຕໍ່ໄປ. ສໍາລັບ n=3
ເຖິງແມ່ນວ່າ preconditions ຫຼາຍໄດ້ຖືກໂຍກຍ້າຍອອກ. ເບິ່ງພາກທີ 6.n ຂອງເຈ້ຍສໍາລັບການ
ລາຍລະອຽດຂອງຕົວເລືອກແຖວຄໍາສັ່ງ -monadic=ນ.
ໃຊ້ dfg2dfg ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net