ন্যূনতম ডিএফএর বিপরীতটিও কি ন্যূনতম?

প্রশ্ন শিরোনামে বেশ। এমন কোনও সময় আছে যেখানে কিছু ভাষা ন্যূনতম ডিএফএ দ্বারা স্টেটগুলির সাথে গ্রহণ করা যেতে পারে , তবে , এর বিপরীত , একটি ডিএফএ দ্বারা স্টেটস সহ গ্রহণ করতে পারে , যেখানে ? $L$ $n$ $L^R$ $L$ $m$ $m<n$

— jmite
সূত্র

একটি ডিএফএর বিপরীতটি অগত্যা সংজ্ঞাবাদীও নয়। একটি ডিএফএ যা রেএজেক্স এএএএ + গ্রহণ করে তার একই টেবিলের সাথে দুটি ইনবাউন্ড তীর সহ একটি টার্মিনাল অবস্থা রয়েছে।

— ইয়ান

নূন্যতম ডিএফএ ভাষাটির বিপরীত গ্রহণযোগ্যতর হতে পারে। সীমাবদ্ধ ভাষা শব্দগুলি , সুতরাং জন্য কোনও ডিএফএ কমপক্ষে 12 টি রাজ্যের প্রয়োজন; আসলে 12 টি রাজ্যের একটি ডিএফএ রয়েছে। বিপরীত ভাষা কেবলমাত্র 9 টি রাজ্যের একটি ডিএফএ দ্বারা গৃহীত হয়: একটি প্রাথমিক রাষ্ট্র, এর সাথে সম্পর্কিত রাষ্ট্রগুলি প্রাথমিক , প্রাথমিক , একটি গ্রহণযোগ্য রাষ্ট্র এবং একটি ব্যর্থ রাষ্ট্রের সাথে সম্পর্কিত; এটি সর্বোত্তম , যেহেতু ।

L = (0 + 1)^{2} 2 + (0 + 2)^{2} 1 + (1 + 2)^{2} 0.

$L = (0+1)^22+(0+2)^21+(1+2)^20.$

ϵ, 0, 1, 2, 00, 01, 02, 11, 12, 22, 000, 001

$\epsilon,0,1,2,00,01,02,11,12,22,000,001$

L

$L$

{এল}^{আর} = 2 (0 + + 1)^{2} + + 1 (0 + + 2)^{2} + + 0 (1 + + 2)^{2}

$L^R = 2(0+1)^2 + 1(0+2)^2 + 0(1+2)^2$

0, 1, 2

$0,1,2$

0 (1 + 2), 1 (0 + 2), 2 (0 + 1)

$0(1+2),1(0+2),2(0+1)$

ϵ, 0, 1, 2, 01, 12, 20, 011, 000

$\epsilon,0,1,2,01,12,20,011,000$

সংক্ষিপ্তসার হিসাবে, জন্য সর্বনিম্ন ডিএফএর জন্য 12 টি রাজ্য প্রয়োজন, যখন জন্য কেবল 9 টি রাজ্যের প্রয়োজন। $L$ $L^R$

Jmite তাদের মন্তব্যে উল্লেখ করেছে যে, একাধিক শুরুর সঙ্গে NFAs জন্য আপনার প্রোফাইলে যান এই প্রপঞ্চ, ঘটতে পারে না থেকে যদি আপনার জন্য একটি NFA সমস্ত তীর অভিমুখে টুসকি তারপর আপনি জন্য একটি বৈধ NFA পেতে । $L$ $L^R$

— যুবাল ফিল্ম
সূত্র

ধন্যবাদ! আমি একরকম এটি আমার মাথায় পেয়েছি যে আপনি কোনও ডিএফএ বিপরীত করতে পারেন এবং (সরাসরি) একটি ডিএফএ ফিরে পেতে পারেন, আমার মনে হয় আমি এটি পরিপূরক নিয়ে বিভ্রান্ত হয়ে পড়েছি।

— jmite

@ জমিট আমার একই মস্তিষ্কের প্যারা ছিল, এবং ভুল উত্তরের দ্বন্দ্বের দ্বারা একটি মার্জিত প্রমাণ টাইপ করেছি। :) এটি পরিপূরক যা আমি ভাবি যেমন কাজ করে, বিপরীত নয়। উফ।

— প্যাট্রিক