উল্লেখযোগ্য নিয়মিত অভিব্যক্তি অটোমেটারের শ্রমশক্তি


10

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

আমি বেশ কয়েকটি 'বড়' নাম সম্পর্কে অবগত, যেমন,


থম্পসন

"নিয়মিত এক্সপ্রেশন অনুসন্ধান অ্যালগরিদম", থম্পসন, 1968

Glushkov

"একটি নিয়মিত এক্সপ্রেশনকে একটি অটোমেটনে রূপান্তর করার জন্য একটি নতুন চতুষ্কোণ অ্যালগরিদম", পন্টি, ইত্যাদি। আল, 1996

Antimirov

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

অনুসরণ

"Automata অনুসরণ করুন", Ilie, এবং। আল, 2003;

"একটি অভিব্যক্তির ফলো অটোমেটন গণনা করা হচ্ছে", চম্পারনৌড, ইত্যাদি। আল, 2002

Hromkovic

"ছোট ই-ফ্রি ননডেটারেস্টিনিস্টিক ফিনাইট অটোমেটাতে নিয়মিত এক্সপ্রেশনগুলি অনুবাদ করা", হার্মকোভিক, ইত্যাদি। আল, 2001


এবং তাদের স্বতন্ত্র বৈশিষ্ট্যগুলি (এপসিলন-মুক্ত-নেস, নির্ধারণবাদ, আকার, ক্ষুদ্রকরণ ইত্যাদি) তবে আমি জানি এটি কোনও বিস্তৃত তালিকা নয়।

আমি বিশেষত অ্যালগরিদমগুলিতে আগ্রহী যা উপরের তালিকাভুক্তগুলির মধ্যে উল্লেখযোগ্যভাবে বিভিন্ন সময় জটিলতা এবং / অথবা উল্লেখযোগ্যভাবে পৃথক টোপোলজিকে উপস্থাপন করে।

আপনি যদি অন্যদের সম্পর্কে জানেন, তবে একটি কাগজের লিঙ্কটি যা নির্মাণের অ্যালগরিদমকে বিশদভাবে বর্ণনা করে তা প্রশংসা হবে (আমি এটি বাস্তবায়ন করতে চলেছি তবে প্রয়োজনীয় পড়ুন!)

সম্পাদনা করুন: অনুরোধ অনুসারে কিছু উল্লেখ যুক্ত করা হয়েছে।


@ রাদু জিরিগোর আমি কিছু উল্লেখ যুক্ত করেছি। এই অটোম্যাটার জন্য আমি জানলাম এটি সেরা রেফারেন্স, তবে অন্যগুলিও থাকতে পারে।
s8soj3o289

1
গ্লুস্কভের জন্য আমার স্বাভাবিক রেফারেন্স হ'ল জে বার্স্টেল এবং জে.ই. পিন, "স্থানীয় ভাষা এবং বেরি – সেথি অ্যালগরিদম", 1996
সিলভাইন

1
যাইহোক, আপনি এই অ্যালগরিদমগুলি নির্মাণের বিষয়ে রেফারেন্সের জন্য ভোকানসন সি ++ লাইব্রেরিতে সেই অ্যালগরিদমগুলির কয়েকটি বাস্তবায়ন পেতে পারেন। trac.lrde.org/vaucanson/browser/include/vaucanson/algorithms (যেখানে standard_of = Glushkov, thompson_of = থম্পসন, derived_term_automaton = Antimirov, brzozowski = Brzozowski)
মাইকেল Cadilhac

@ মাইকেল-কাদিলহ্যাক পয়েন্টারের জন্য ধন্যবাদ। আমি নিজে অন্যদের প্রয়োগ করার আগে এই বিষয়টি জানতাম! আমি অবশ্যই একবার দেখে নেব।
s8soj3o289

উত্তর:


7

ওয়াটসন (টেক। রিপ্রেট। ইউনিভ। আইডহোভেন 1995) সীমাবদ্ধ অটোমেটা নির্মাণের অ্যালগরিদমগুলির একটি শ্রেনী রচনা লিখেছেন; আরও কয়েকটি সাম্প্রতিক ঘটনা নীচে পাওয়া যায়।

এপসিলন-ট্রানজিশনযুক্ত এনএফএগুলির জন্য, সিপ্পু / সোসালন-সোইনিনেন (স্প্রিংগার, 1998) এর পার্সিং তত্ত্বের বইটিতে থম্পসনের নির্মাণের একটি বৈকল্পিক রয়েছে। ইলি এবং ইউ (আইএন্ডসি 2003) এবং গুলান এবং ফারনাউ (এফএসটিটিসিএস ২০০৮) ক্লাসিকাল নির্মাণের সংশোধিত সংস্করণ দেয় give নিয়মিত প্রকাশের সাথে সম্পর্কিত ন্যূনতম প্রয়োজনীয় এপসিলন-এনএফএগুলি আরও গ্রুবার এবং গুলান (লটা 2010) দ্বারা অধ্যয়ন করা হয়। থম্পসনের নির্মাণের ফলে অন্তর্নিহিত ডিগ্রাফগুলির কাঠামোটি গিয়ামার্রেসি, পন্টি, উড এবং জিয়াডি (ডিসার। অ্যাপল। ম্যাথ 2004) এবং গুলান (টেক।

অ্যাপসিলনমুক্ত এনএফএ সম্পর্কিত, আমি বেরি অ্যান্ড শেঠি (টিসিএস 1986) এবং ব্রাজেমন-ক্লেইন (টিসিএস 1993) র পূর্বের কাজটি উল্লেখ করতে চাই, তবে সম্ভবত এটি ওয়াটসনের শৈলীতে আবৃত।

এন2হে(লগ*এন)

এছাড়াও দ্রষ্টব্য: নিয়মিত প্রকাশের মিলের জন্য দ্রুত অ্যালগরিদম সম্পর্কে, আমি বিল এবং থারুপের সাম্প্রতিক কাজ সম্পর্কে অবহিত (আইসিএলপি 2009, সোডা 2010)) তারা ধ্রুপদী থম্পসন নির্মাণ ব্যবহার করে (গতি পাওয়ার জন্য অবশ্যই আরও অনেক কৌশল)।


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

উত্তর নির্বাচন করার ক্ষেত্রে শালীনতা কী নির্দেশ করে তা আমি পুরোপুরি নিশ্চিত নই। আপনার উত্তরটি আমি আগে নির্বাচন করেছিলাম তার থেকে স্পষ্টতর উচ্চতর।
s8soj3o289

কেবল বইয়ের টিজার অনলাইনে বিনামূল্যে পাওয়া যায়।
হারমান গ্রুবার

গড় ক্ষেত্রে রাষ্ট্রের জটিলতা সম্পর্কে, এম। হোলজার (টিসিএস 2007) সহ সীমাবদ্ধ ভাষার জন্য গড়ে এনএফএ আকারের কাগজও রয়েছে; তবে সর্বাধিক সম্পর্কিত মনে হচ্ছে গ্লুশকভ অটোম্যাটা (লটা 2009) -তে নিকডের কাজ; আকর্ষণীয় শিরোনাম সহ নিকোড, পিভোটো এবং রাজেট (এফএসটিটিসিএস ২০১০) এর একটি আসন্ন কাগজও রয়েছে - আমি এখনও একবার নজর দিতে পারি নি।
হারমান গ্রুবার

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

5

আপনার তালিকায় বিবেচনা করা হয় না এমন হ'ল জনুস ব্রজোজোভস্কির নিয়মিত এক্সপ্রেশনগুলির ডেরিভেটিভস, এসিএমের জার্নাল ১৯ 19৪, যা স্কট ওভেনস, জন রেপি এবং অ্যারন টুরন দ্বারা নিয়মিত-এক্সপ্রেশন ডেরিভেটিভসগুলিতে পুনরায় পরীক্ষা করা হয়েছিল। জার্নাল অফ ফাংশনাল প্রোগ্রামিং (২০০৯), ১৯: ১3৩-১৯০ , যারা নিয়মিত প্রকাশের জন্য বর্ধিত স্বরলিপিটির জন্য প্রযুক্তির ব্যবহারিক বাস্তবায়ন সরবরাহ করেন।


2
অ্যান্টিমিরভ হ'ল ব্রাজোভস্কির একটি অ-প্রতিরোধমূলক রূপ।
সিলভাইন

নামটি অবশ্যই পরিচিত লাগছিল।
ডেভ ক্লার্ক

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