একটি ডিএফএ নির্মাণের জন্য কোন অ্যালগরিদম বিদ্যমান যা একটি প্রদত্ত রেইগেক্স দ্বারা বর্ণিত ভাষাটিকে স্বীকৃতি দেয়?


11

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


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

1
আপনি সর্বদা এই টেমপ্লেট মন্তব্যটি ব্যবহার করেন কেন ? স্পষ্টতই কমপক্ষে 5 জন আছেন যারা আপনার সাথে একমত নন। আমি আপনাকে এই জাতীয় প্রশ্নগুলির একটি সুযোগ দেওয়ার পরামর্শ দিচ্ছি।
এজেড

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

উত্তর:


13

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

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

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

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

নিয়মিত এক্সপ্রেশন থেকে অটোমাতার মানক নির্মাণ এ জাতীয় কাজের ক্ষেত্রে পছন্দসই নির্মাণ নয় । পছন্দের নির্মাণগুলি অটোমেটা তৈরি করে যা নিয়মিত অভিব্যক্তির কাঠামোর সাথে সাদৃশ্যপূর্ণ। এই নির্মাণগুলি নিয়মিত প্রকাশের একটি ডেরাইভেটিভের ধারণাটি ব্যবহার করে ।

নিয়মিত অভিব্যক্তিগুলির ডেরিভেটিভস , জেএ ব্রাজোজভস্কি। 1964।

গুলিRএকটিRএকটি

নিয়মিত এক্সপ্রেশন এবং ফিনিট অটোমেটা কনস্ট্রাকশনস এর আংশিক ডেরাইভেটিভস , ভি আন্টিমিরভ ov 1995।

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

নিয়মিত অভিব্যক্তি থেকে ডিটারমিনিস্টিক অটোমেটা , জি। বেরি এবং আর শেঠি, 1986।

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

ওয়ান-অ্যাম্ববিসিউস নিয়মিত ভাষা , এ। ব্রজেগম্যান -ক্লিন এবং ডেরিক উড, 1998।

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

নিয়ন্ত্রক নিয়মিত প্রকাশের অন্যান্য বিশেষ ক্ষেত্রে অধ্যয়ন করার জন্য অনেক কাজ হয়েছে much সাম্প্রতিক একটি গবেষণামূলক গবেষণামূলক গবেষণা যখন এই সমস্যাগুলির কিছু লিনিয়ার সময়ে সমাধান করা যায় ২০১২ সাল থেকে।

লিনিয়ার সময় , বেনোইট গ্রোজ, সেবাস্তিয়ান ম্যানথ, স্লাওমির স্টাওরোকোতে নিয়মিত নিয়মিত অভিব্যক্তি । 2012।


5
আপনি ইতিমধ্যে আপনার উত্তরে ডেরিভেটিভসের কথা উল্লেখ করেছেন, সুতরাং আপনার জেএ ব্রাজোজোভস্কি যুক্ত করা উচিত: নিয়মিত এক্সপ্রেশনগুলির ডেরিভেটিভস, এসিএম জার্নাল 11 (4): 481 (494 (1964), যেহেতু তিনি ডিএফএগুলিতে পুনরায় রূপান্তর করার জন্য সরাসরি অ্যালগরিদম দেন ।
নীল কৃষ্ণস্বামী

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

5
আপনার যদি সময় এবং শক্তি থাকে তবে আমি মনে করি দীর্ঘস্থায়ী সমীক্ষার মতো উত্তরগুলি এখানে খুব উপযুক্ত।
ডেভিড এপস্টিন

1
@ বিজয়ডি: হ্যাঁ, আমি ডেভিডের সাথে একমত। সংক্ষিপ্ত উত্তরগুলি ঠিক আছে, তবে আপনার যদি শক্তি থাকে তবে একটি বিস্তৃত উত্তর দেওয়া ভাল।
নীল কৃষ্ণস্বামী
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.