বিভিন্ন শ্রেণীর গ্রহণযোগ্য রাষ্ট্রের সাথে স্বয়ংক্রিয়তা সীমাবদ্ধ করার জন্য ব্রাজোভস্কির ডিএফএ মিনিমাইজেশন অ্যালগরিদমকে সাধারণীকরণ করছেন?


9

ডিএফএকে সমতুল্য ন্যূনতম-রাষ্ট্রীয় ডিএফএতে রূপান্তর করার জন্য ব্রাজোভস্কির অ্যালগরিদম উল্লেখযোগ্যভাবে সহজ: যদি আর(ডি) ডিএফএ-তে সমস্ত প্রান্তকে বিপরীত করে গঠিত এনএফএকে বোঝায় ডি, পুরানো শুরু রাষ্ট্রকে একটি গ্রহণযোগ্য রাষ্ট্র হিসাবে তৈরি করা, এবং পুরানো গ্রহণযোগ্য রাষ্ট্রকে রাষ্ট্রগুলি শুরু করা এবং যদি হয় পি(এন) এনএফএতে সাবসেট নির্মাণ প্রয়োগের ফলাফলকে বোঝায় এনতাহলে

পি(আর(পি(আর(ডি))))
একই ভাষা সহ ন্যূনতম-রাষ্ট্রীয় ডিএফএ ডি

আমরা একটি ডিএফএকে একটি কম্পিউটেশনাল ডিভাইস হিসাবে ভাবতে পারি যা কোনও ইনপুট স্ট্রিং গ্রহণ করে W এবং তারপরে 0 যদি আউটপুট দেয় W প্রত্যাখ্যানযোগ্য স্থানে এবং 1 যদি শেষ হয় Wগ্রহণযোগ্য অবস্থায় শেষ হয়। ডিএফএগুলির একটি প্রাকৃতিক সাধারণীকরণ ডিএফএতে প্রতিটি রাজ্যকে 0 এবং এর মধ্যে কিছু প্রাকৃতিক সংখ্যার সাথে যুক্ত করে-1, অন্তর্ভুক্ত.

আমার জ্ঞানের সর্বোপরি, হ্যাপক্রফ্টের ক্যানোনিকাল যেমন একটি পার্থক্য-ভিত্তিক মিনিমাইজেশন অ্যালগরিদম ব্যবহার করে ডিএফএগুলির এই পরিবর্তিত শ্রেণিগুলি হ্রাস করা সম্ভব। তবে, আমি দেখতে পাচ্ছি না যে ব্রাজোজস্কির মিনিমাইজেশন অ্যালগরিদমকে নতুন এই শ্রেণীর অটোমাতার সাথে কীভাবে মানিয়ে নেওয়া সম্ভব হবে কারণ এই সাধারণীকৃত সেটিংটিতে কী পদক্ষেপ (অটোম্যাটন বিপরীত) এর আর স্পষ্ট ব্যাখ্যা নেই।

এই ধরণের অটোমেটাকে হ্রাস করার জন্য কি ব্রাজোভস্কির অ্যালগরিদমের জ্ঞাত সাধারণীকরণ রয়েছে? যদি তা না হয় তবে কেন এমন কোনও তাত্ত্বিক কারণ রয়েছে যা আমরা প্রত্যাশা করতাম যে এই ধরণের পরিবর্তিত অ্যালগরিদমের অস্তিত্ব থাকবে না?


"জেনারালাইজেশন" পরিষ্কারভাবে সংজ্ঞায়িত বলে মনে হয় না। কি? এটি কি কেবলমাত্র একটি রাজ্যকে একটি সীমানার পূর্ণসংখ্যার মানের সাথে ডিএফএ-তে যুক্ত করার বিষয়ে কথা বলছে? তারপর কি? একটি উদাহরণ কি? কে এই সাথে কাজ করে? ইত্যাদি
vzn

@vzn আপনি স্বাভাবিক ডিএফএ-তে প্রতিটি রাজ্যকে 0 বা 1 এর সাথে যুক্ত বলে মনে করতে পারেন (যথাক্রমে রাষ্ট্রগুলি প্রত্যাখ্যান ও গ্রহণ করুন)। আমি এই ক্ষেত্রে এটিতে সাধারণীকরণের বিষয়ে ভাবছি যেখানে প্রতিটি ডিএফএ রাষ্ট্র কিছু মানের সাথে যুক্ত{0,1,2,3,,-1}এবং DFA তে বলে যে স্ট্রিং শেষ পর্যন্ত সঙ্গে যুক্ত সংখ্যা আউটপুট দেয়।
templatetypedef

ঠিক আছে, পোস্টে মোটেও যোগাযোগ করা যায় না, "ডিএফএ স্ট্রিংটি শেষ হয়ে যায় এমন রাজ্যের সাথে যুক্ত # কে আউটপুট করে", আপনাকে এটি ঠিক করার পরামর্শ দেয়। এছাড়াও, ডিএফএগুলির প্রযুক্তিগতভাবে কোনও "আউটপুট" থাকে না। হতে পারে আপনি এফএসএম ট্রান্সডুসার বোঝাতে চান? প্রকৃতপক্ষে এফএসএম ট্রান্সডুসার মিনিমাইজেশনের সাথে যুক্ত কিছু আংশিক তত্ত্ব রয়েছে যা স্পষ্টতই ডিএফএ হ্রাস করার সাথে সম্পূর্ণভাবে জড়িত নয় ("এখনও"?)।
vzn

উত্তর:


7

আপনার প্রশ্নের উত্তর হ্যাঁ।

ব্রোজ্জোভস্কির মিনিমাইজেশন অ্যালগরিদম (আরও সাধারণীকরণের সাথে দীর্ঘতর জার্নাল সংস্করণ ) -এ বোনচি, বনসঙ্গু, রুটেন এবং সিলভার কাগজপত্র ব্রজোজোভস্কির অ্যালগোরিদম (সহ) বীজগণিতভাবে (সংক্ষিপ্ত সম্মেলনের সংস্করণ) এবং বীজগণিত-কোলেজিব্রা দ্বৈততা দেখুন।

তারা ব্রজোভস্কির অ্যালগরিদমের একটি (হালকাভাবে) শ্রেণিকল্পিত উপস্থাপনা দেয় এবং মুর অটোমেটা সহ (যা আপনার প্রশ্নের একটি ইতিবাচক উত্তর দেয়) সহ অটোমেটার আরও সাধারণ শ্রেণির জন্য এর সংস্করণগুলি সংগ্রহ করতে এটি ব্যবহার করে।


6

কেবল নীলের জবাবটি যুক্ত করার জন্য, জিন-পল অ্যালোচের সাথে আমার বই অটোমেটিক সিকোয়েন্সে আমরা ডিএফএওর (আউটপুটগুলির সাথে নির্ধারিত সসীম অটোমেটা) নিয়ে আলোচনা করেছি, যা আপনি যা জিজ্ঞাসা করেছিলেন ঠিক সেটাই (প্রতিটি রাজ্যের সাথে আউটপুট যুক্ত করে)। এবং উপপাদ্য ৪.৩.৩ বর্ণনা করে যে এই জাতীয় মেশিনকে কীভাবে বিপরীত করা যায়।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.