সীমাবদ্ধ অটোমেটার উপস্থাপনের তিনটি রূপই কেন আমাদের অধ্যয়ন করা উচিত?


9

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


2
তিনজনেরও বেশি রয়েছে। এগুলি কেবলমাত্র পাঠ্যপুস্তকে পাওয়া যায়। অ্যাপসিলন স্থানান্তরগুলি উপপাদাগুলি প্রমাণ করার জন্য দরকারী, তবে আমি নিশ্চিত নই যে আমি তাদের নিজস্ব স্বার্থে মডেলগুলিতে ব্যবহার করেছি।
wvxvw

3
@Wvxvw, একটি এনএফএ ব্যবহারগুলিতে নিয়মিত অভিব্যক্তি অনুবাদ করার জন্য অ্যালগরিদম ϵএকটি খুব প্রাকৃতিক উপায়ে রূপান্তর। এগুলি "কেবল প্রমাণের জন্য" নয়, তারা একটি অ-সংজ্ঞাবিরোধী সেটিং এ বেশ স্বাভাবিক।
ভনব্র্যান্ড

উত্তর:


13

চতুর্থ জন্য নিয়মিত ব্যাকরণ যুক্ত করুন। অন্যরাও আছেন ...

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

নিয়মিত এক্সপ্রেশন (এবং নিয়মিত ব্যাকরণও) সম্পূর্ণ ভিন্ন রীতি হয় যা ভাষার একই সেটকে বর্ণনা করে। আবার, এই সত্য প্রমাণ গুরুত্বপূর্ণ ক্রস সম্পর্ক প্রতিবেদক, এবং একটি উদাহরণ formalisms পারে চেহারা খুব diffent, আমূল বিসদৃশ ধারণা উপর ভিত্তি করে, কিন্তু একই ভাষায় বর্ণনা করা হবে। আবার, বরং একটি সহজ সেটিং এ।

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

পরে যুক্ত করা হয়েছে: রাফেল দ্বারা উল্লিখিত হিসাবে, অনুসন্ধানের জন্য সরাসরি এনএফএ ব্যাখ্যা করা আরও দক্ষ হতে পারে, কারণ একটি ডিএফএ তৈরি করা ব্যয়বহুল হতে পারে, এবং এনএফএ আরও ছোট হতে পারে।


1
"সেখানে অন্যরা রয়েছে" - কয়েক ডজন ....
রাফেল

1
আপনি উল্লেখ করতে চাইতে পারেন যে এনএফএ দরকারী হতে পারে (যদি ডিএফএ একমাত্র বিকল্প হয়) কারণ এটি অনেক ছোট হতে পারে তবে কোনও শব্দ গৃহীত হয়েছে কিনা তা যাচাই করার জন্য একটি ব্যবহার করা খুব বেশি ব্যয়বহুল নয়।
রাফেল

5

ডিএফএ বনাম এনএফএগুলির বিভিন্ন ফর্ম / চিঠিপত্রগুলি অধ্যয়ন করার বিভিন্ন কারণ রয়েছে। উন্নত জটিলতা তত্ত্ব থেকে এখানে কয়েকটি নির্বাচিত হাইলাইট রয়েছে।

  • এনএফএগুলি "সমান্তরাল গণনা" এর জন্য একটি আকর্ষণীয় মডেল। এনএফএর মাধ্যমে রাষ্ট্রগুলির অগ্রগতিকে কেউ ডিএফএ গণনার সমান্তরাল সংস্করণ হিসাবে বিবেচনা করতে পারে। সুতরাং ডিএফএ বনাম এনএফএ গণনা অনুক্রমিক বনাম সমান্তরাল গণনার কিছু পার্থক্য প্রতিফলিত করে। উভয় প্রসঙ্গে তুলনা করে এটি সমস্যার সহজাত অ্যালগরিদমিক জটিলতা অধ্যয়ন করতে সহায়তা করে।

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

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

  • এছাড়াও কিছু সম্পর্কিত অন্তর্দৃষ্টি জন্য cstheory.se উপর এই আধা / উচ্চ উত্সাহিত প্রশ্ন দেখুন : সীমাবদ্ধ অটোমেটা অধ্যয়ন করার পরে আমি যে জ্ঞান অর্জন করতে হবে বলে মনে হয়?

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


2

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


2
সংক্ষিপ্তসার: এনএফএগুলি অ-নির্ধারণবাদের ধারণা দেয় যা একটি অত্যন্ত গভীর ধারণা (এর "উদ্ভাবক", মাইকেল ও রবিন এবং ডানা এস স্কট, এই ধারণাগুলির জন্য ট্যুরিং পুরষ্কার জিতেছে)
রান জি।

1

ডিএফএগুলির রাজ্যের সংখ্যা সম্পর্কে একটি বাজে জিনিস আছে। এটি কখনও কখনও ফেটে যায় ।

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

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