यह कमांड dfg2dfg है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।
कार्यक्रम:
नाम
dfg2dfg - समस्याओं के अनुमान की गणना करें
SYNOPSIS
dfg2dfg [-हॉर्न] [-मोनाडिक] [-रैखिक] [-उथला] [फाइल में] [आउटफाइल]
वर्णन
dfg2dfg एक प्रोग्राम है जो DFG सिंटैक्स में एक इनपुट फ़ाइल से क्लॉज़ पढ़ता है। यह तो
कमांड लाइन विकल्पों के आधार पर क्लॉज सेट के अनुमान की गणना करता है।
अंत में यह एक फ़ाइल में DFG सिंटैक्स में अनुमानित क्लॉज सेट लिखता है।
यदि न तो फाइल में न आउटफाइल दिया जाता है, dfg2dfg मानक इनपुट से पढ़ता है और लिखता है
मानक आउटपुट. यदि एक फ़ाइल नाम दिया गया है, तो यह उस फ़ाइल से पढ़ता है और आउटपुट लिखता है
मानक आउटपुट के लिए. यदि एक से अधिक फ़ाइल नाम दिया गया है, dfg2dfg पहले से पढ़ता है
फ़ाइल करें और दूसरे को लिखें।
अनुमानों को अलग पेपर में तकनीकी विवरण में वर्णित किया गया है dfg2dfg.ps
SPASS वितरण में शामिल है।
विकल्प
dfg2dfg इसमें चार अलग-अलग कमांड लाइन विकल्प हैं जिन्हें जोड़ा जा सकता है।
-सींग
यह विकल्प गैर-हॉर्न क्लॉज को हॉर्न क्लॉज में बदलने में सक्षम बनाता है। प्रत्येक
गैर-हॉर्न उपवाक्य के साथ n सकारात्मक शाब्दिक रूपांतरित हो जाता है n सींग उपवाक्य, जहां
i-वें खंड में शामिल है i-वें सकारात्मक शाब्दिक और गैर के सभी नकारात्मक शाब्दिक
सींग उपवाक्य. पेपर का खंड 3 भी देखें।
-मोनैडिक[=n]
इस विकल्प से अमोनैडिक विधेय चिन्हों वाले परमाणु मोनाडिक में परिवर्तित हो जाते हैं
परमाणु। अगर n छोड़ा गया है या n=1 एक शब्द एन्कोडिंग लागू किया जाता है, अर्थात, सभी गैर-मोनैडिक
विधेय को पद स्तर पर ले जाया जाता है। साथ n=2 एक प्रक्षेपण लागू किया जाता है. सभी गैर-
मोनैडिक परमाणुओं को उनके मोनैडिक तर्क प्रक्षेपणों द्वारा प्रतिस्थापित किया जाता है। अनुभाग 4.1 देखें
अधिक विवरण के लिए पेपर का अनुभाग 4.2.
-रैखिक
यह सन्निकटन एक खंड को मोनैडिक शाब्दिक और गैर-रेखीय चर के साथ बदल देता है
क्रमिक परमाणुओं में होने वाली घटनाएँ, संभवतः अधिक नकारात्मक के साथ एक नए खंड में
शाब्दिक, जिसमें अनुवर्ती में कोई भी गैर-रेखीय चर शामिल नहीं है। खंड देखें
विवरण के लिए पेपर के 5.
-उथला[=n]
यह परिवर्तन सकारात्मक शाब्दिक शब्दों की गहराई को कम करने का प्रयास करता है।
परिवर्तन केवल मोनैडिक शाब्दिक के साथ सींग उपवाक्यों पर लागू किया जाता है। अगर n छोड़ा गया है
or n=1 एक सख्त परिवर्तन लागू किया जाता है, जो कि समतुल्य संरक्षण है।
के लिए n=2 कुछ पूर्व शर्तें हटा दी गई हैं। यह परिवर्तन को लागू करने की अनुमति देता है
अधिक बार, लेकिन परिवर्तन अब तुल्यता संरक्षण नहीं है। के लिए n=3
और भी पूर्व शर्तें हटा दी गई हैं। धारा 6 पर एक नजर डालें.n के लिए पेपर का
कमांड लाइन विकल्प का विवरण -मोनैडिक=एन.
onworks.net सेवाओं का उपयोग करके dfg2dfg का ऑनलाइन उपयोग करें