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