dfg2dfg - מקוון בענן

תָכְנִית:

שֵׁם

dfg2dfg - חישוב קירובים של בעיות

תַקצִיר

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 של הנייר עבור
פרטים על אפשרות שורת הפקודה -מונאדי=n.

השתמש ב-dfg2dfg באינטרנט באמצעות שירותי onworks.net