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