dfg2dfg - ক্লাউডে অনলাইন

কার্যক্রম:

NAME এর

dfg2dfg - সমস্যার আনুমানিক হিসাব করুন

সাইনোপিসিস

dfg2dfg [-হর্ন] [-মনাডিক] [-রৈখিক] [-অগভীর] [ইনফাইল] [আউটফাইল]

বর্ণনাঃ

dfg2dfg একটি প্রোগ্রাম যা DFG সিনট্যাক্সে একটি ইনপুট ফাইল থেকে ধারাগুলি পড়ে। এটা তারপর
কমান্ড লাইন বিকল্পের উপর নির্ভর করে ধারা সেটের একটি আনুমানিক হিসাব করে।
অবশেষে এটি একটি ফাইলে DFG সিনট্যাক্সে সেট করা আনুমানিক ধারাটি লিখে।

যদি না হয় ইনফাইল না আউটফাইল দেওয়া হয়, dfg2dfg স্ট্যান্ডার্ড ইনপুট থেকে পড়ে এবং লেখে
স্ট্যান্ডার্ড আউটপুট। যদি একটি ফাইলের নাম দেওয়া হয়, তবে এটি সেই ফাইল থেকে পড়ে এবং আউটপুট লিখে
স্ট্যান্ডার্ড আউটপুটে। যদি একাধিক ফাইলের নাম দেওয়া হয়, dfg2dfg প্রথম থেকে পড়ে
ফাইল করে এবং দ্বিতীয়টিতে লেখে।

অনুমানগুলি পৃথক কাগজে প্রযুক্তিগত বিশদে বর্ণনা করা হয়েছে dfg2dfg.ps
SPASS বিতরণে অন্তর্ভুক্ত।

বিকল্প

dfg2dfg চারটি ভিন্ন কমান্ড লাইন বিকল্প রয়েছে যা একত্রিত হতে পারে।

-শিং
এই বিকল্পটি অ-হর্ন ধারাগুলিকে হর্ন ক্লজে রূপান্তর করতে সক্ষম করে। প্রতিটি
সঙ্গে নন-হর্ন ক্লজ n ইতিবাচক আক্ষরিক রূপান্তরিত হয় n হর্ন ক্লজ, যেখানে
i-ম ধারা রয়েছে i-ম ধনাত্মক আক্ষরিক এবং অ-এর সমস্ত নেতিবাচক আক্ষরিক
হর্ন ক্লজ এছাড়াও কাগজের বিভাগ 3 দেখুন।

-মোনাডিক[=n]
এই বিকল্পের সাহায্যে নন-মোনাডিক প্রিডিকেট চিহ্ন সহ পরমাণুগুলি মোনাডিকে রূপান্তরিত হয়
পরমাণু যদি n বাদ দেওয়া হয় বা n=1 একটি শব্দ এনকোডিং প্রয়োগ করা হয়, অর্থাত্ সমস্ত নন-মোনাডিক৷
predicates শব্দ স্তরে সরানো হয়. সঙ্গে n=2 একটি অভিক্ষেপ প্রয়োগ করা হয়। সব অ-
মোনাডিক পরমাণুগুলি তাদের মোনাডিক যুক্তি অনুমান দ্বারা প্রতিস্থাপিত হয়। বিভাগ 4.1 দেখুন
আরো বিস্তারিত জানার জন্য কাগজের অধ্যায় 4.2.

-রৈখিক
এই অনুমান মোনাডিক লিটারাল এবং নন-লিনিয়ার ভেরিয়েবল সহ একটি ধারাকে রূপান্তরিত করে
সংঘটিত পরমাণুতে, সম্ভবত আরও নেতিবাচক সহ একটি নতুন ধারায়
আক্ষরিক, যেটিতে কোনো অ-রৈখিক ভেরিয়েবল নেই। বিভাগ দেখুন
বিস্তারিত জানার জন্য কাগজ 5.

-অগভীর[=n]
এই রূপান্তরটি ইতিবাচক লিটারেলে পদের গভীরতা কমানোর চেষ্টা করে। দ্য
রূপান্তর শুধুমাত্র মোনাডিক লিটারেল সহ হর্ন ক্লজে প্রয়োগ করা হয়। যদি n বাদ দেওয়া হয়
or n=1 একটি কঠোর রূপান্তর প্রয়োগ করা হয়, যা সমতুল্যতা সংরক্ষণ করে।
জন্য n=2 কিছু পূর্বশর্ত মুছে ফেলা হয়েছে। এটি রূপান্তর প্রয়োগ করার অনুমতি দেয়
প্রায়শই, কিন্তু রূপান্তরটি আর সমতা রক্ষা করে না। জন্য n=3
এমনকি আরো পূর্বশর্ত মুছে ফেলা হয়. অধ্যায় 6 দেখুন.n জন্য কাগজ
কমান্ড লাইন বিকল্পের বিশদ বিবরণ -monadic=n.

onworks.net পরিষেবাগুলি ব্যবহার করে অনলাইনে dfg2dfg ব্যবহার করুন৷