นี่คือคำสั่ง dfg2dfg ที่สามารถเรียกใช้ในผู้ให้บริการโฮสติ้งฟรีของ OnWorks โดยใช้หนึ่งในเวิร์กสเตชันออนไลน์ฟรีของเรา เช่น Ubuntu Online, Fedora Online, โปรแกรมจำลองออนไลน์ของ Windows หรือโปรแกรมจำลองออนไลน์ของ MAC OS
โครงการ:
ชื่อ
dfg2dfg - คำนวณค่าประมาณของปัญหา
เรื่องย่อ
dfg2dfg [-ฮอร์น] [-monadic] [-เชิงเส้น] [-ตื้น] [แฟ้ม] [ออกจากไฟล์]
DESCRIPTION
dfg2dfg เป็นโปรแกรมที่อ่านส่วนคำสั่งจากไฟล์อินพุตในรูปแบบ DFG มันแล้ว
คำนวณค่าประมาณของชุดคำสั่งย่อยโดยขึ้นอยู่กับตัวเลือกบรรทัดคำสั่ง
ในที่สุดก็เขียนชุดคำสั่งโดยประมาณในรูปแบบ DFG ไปยังไฟล์
ถ้าไม่ใช่ แฟ้ม ไม่ ออกจากไฟล์ จะได้รับ dfg2dfg อ่านจากอินพุตมาตรฐานและเขียนถึง
เอาต์พุตมาตรฐาน หากระบุชื่อไฟล์หนึ่งชื่อ มันจะอ่านจากไฟล์นั้นและเขียนเอาต์พุต
สู่เอาต์พุตมาตรฐาน หากระบุชื่อไฟล์มากกว่าหนึ่งชื่อ dfg2dfg อ่านตั้งแต่ตอนแรก
ไฟล์และเขียนไปยังไฟล์ที่สอง
การประมาณค่าได้อธิบายไว้ในรายละเอียดทางเทคนิคในเอกสารฉบับแยก dfg2dfg.ps
รวมอยู่ในการกระจาย SPASS
OPTIONS
dfg2dfg มีตัวเลือกบรรทัดคำสั่งที่แตกต่างกันสี่ตัวเลือกที่อาจรวมกันได้
- แตร
ตัวเลือกนี้ช่วยให้สามารถแปลงคำสั่งย่อยที่ไม่ใช่แตรเป็นคำสั่งเสียงแตรได้ แต่ละ
ประโยคที่ไม่ใช่เขาด้วย n อักษรบวกจะถูกแปลงเป็น n ประโยคฮอร์นโดยที่
i- ประโยคที่ประกอบด้วย i-ตัวอักษรบวกและตัวอักษรเชิงลบทั้งหมดของตัวอักษรที่ไม่ใช่-
ประโยคฮอร์น ดูส่วนที่ 3 ของบทความด้วย
-monadic[=n]
ด้วยตัวเลือกนี้ อะตอมที่มีสัญลักษณ์ภาคแสดงที่ไม่ใช่ monadic จะถูกแปลงเป็น monadic
อะตอม ถ้า n ละเว้นหรือ n=1 มีการใช้การเข้ารหัสระยะ กล่าวคือ ทั้งหมดที่ไม่ใช่ monadic
เพรดิเคตถูกย้ายไปที่ระดับคำ กับ n=2 มีการฉายภาพ ทั้งหมดที่ไม่ใช่
อะตอมของ monadic จะถูกแทนที่ด้วยการคาดการณ์อาร์กิวเมนต์ของ monadic ดูหัวข้อ4.1
ส่วน 4.2 ของกระดาษสำหรับรายละเอียดเพิ่มเติม
- เชิงเส้น
การประมาณนี้แปลงประโยคด้วย monadic literals และ non-linear variable
เกิดขึ้นในอะตอมที่สืบทอดมาในอนุประโยคใหม่ที่อาจมีค่าลบมากกว่า
อักษรที่ไม่มีตัวแปรที่ไม่เป็นเชิงเส้นในลำดับ ดูหัวข้อ
5 ของกระดาษสำหรับรายละเอียด
-ตื้น[=n]
การเปลี่ยนแปลงนี้พยายามที่จะลดความลึกของเงื่อนไขในตัวอักษรบวก NS
การแปลงจะใช้กับ horn clauses ที่มี monadic literals เท่านั้น ถ้า n ถูกละเว้น
or n=1 มีการใช้การแปลงที่เข้มงวด นั่นคือการรักษาความเท่าเทียมกัน
สำหรับ n=2 เงื่อนไขเบื้องต้นบางอย่างจะถูกลบออก ซึ่งช่วยให้สามารถนำการแปลงไปใช้ได้
บ่อยขึ้น แต่การเปลี่ยนแปลงนั้นไม่รักษาความเท่าเทียมกันอีกต่อไป สำหรับ n=3
เงื่อนไขเบื้องต้นเพิ่มเติมจะถูกลบออก ไปดูภาค 6 กันเลยn ของกระดาษสำหรับ
รายละเอียดของตัวเลือกบรรทัดคำสั่ง -monadic=น.
ใช้ dfg2dfg ออนไลน์โดยใช้บริการ onworks.net