dfg2dfg - آنلاین در ابر

برنامه:

نام

dfg2dfg - محاسبه تقریب مسائل

خلاصه

dfg2dfg [-شاخ] [-مونادیک] [-خطی] [-کم عمق] [پرونده] [مجموعه]

شرح

dfg2dfg برنامه ای است که بندهای یک فایل ورودی را در نحو DFG می خواند. سپس آن را
بسته به گزینه های خط فرمان تقریبی از مجموعه بند را محاسبه می کند.
در نهایت عبارت تقریبی مجموعه در نحو DFG را در یک فایل می نویسد.

اگر هیچ کدام پرونده نه مجموعه داده می شود، dfg2dfg از ورودی استاندارد می خواند و به آن می نویسد
خروجی استاندارد اگر نام یک فایل داده شود، از آن فایل می خواند و خروجی را می نویسد
به خروجی استاندارد اگر بیش از یک نام فایل داده شود، dfg2dfg از اول می خواند
فایل و در دومی می نویسد.

تقریب ها با جزئیات فنی در مقاله جداگانه توضیح داده شده است dfg2dfg.ps
در توزیع SPASS گنجانده شده است.

OPTIONS

dfg2dfg دارای چهار گزینه خط فرمان مختلف است که ممکن است با هم ترکیب شوند.

-شیپور
این گزینه تبدیل بند های غیر شاخ به بند های شاخ را امکان پذیر می کند. هر یک
بند غیر شاخ با n لفظهای مثبت تبدیل به n بند های شاخ، که در آن
iبند -ام شامل i-امین لفظی مثبت و تمام لفظهای منفی غیر
بند شاخ به بخش 3 مقاله نیز مراجعه کنید.

-مونادیک[=n]
با این گزینه اتم هایی با نمادهای محمول غیر مونادیک به مونادیک تبدیل می شوند
اتمها اگر n حذف شده است یا n= 1 یک اصطلاح رمزگذاری اعمال می شود، به عنوان مثال، همه غیر مونادیک
محمول ها به سطح ترم منتقل می شوند. با n= 2 یک طرح اعمال می شود. همه غیر
اتم‌های مونادیک با پیش‌بینی‌های استدلال مونادیک جایگزین می‌شوند. بخش 4.1 را ببینید
بخش 4.2 مقاله برای جزئیات بیشتر.

خطی
این تقریب یک بند را با لفظ مونادیک و متغیر غیر خطی تبدیل می کند
وقوع در اتم های متوالی، به یک بند جدید با احتمالاً منفی تر
literals، که شامل هیچ متغیر غیر خطی در succedent نیست. بخش را ببینید
5 از مقاله برای جزئیات.

-کم عمق[=n]
این دگرگونی سعی در کاهش عمق اصطلاحات در لفظهای مثبت دارد. را
تبدیل فقط به جملات شاخ با لفظ مونادیک اعمال می شود. اگر n حذف شده است
or n=1 یک تبدیل دقیق اعمال می شود، اما حفظ هم ارزی است.
برای n=2 برخی از پیش شرط ها حذف شده است. این اجازه می دهد تا تبدیل اعمال شود
اغلب، اما تغییر شکل دیگر حفظ معادل نیست. برای n=3
حتی پیش شرط های بیشتری حذف می شوند. به بخش 6 نگاهی بیندازید.n از کاغذ برای
جزئیات گزینه خط فرمان -monadic=n.

با استفاده از خدمات onworks.net از dfg2dfg به صورت آنلاین استفاده کنید