নির্ধারিত সসীম অটোমেটাতে প্রতিটি সম্ভাব্য বর্ণমালায় রূপান্তরগুলি সংজ্ঞায়িত করা কি বাধ্যতামূলক?

Question

আগামীকাল আমার উপস্থাপনা এবং আমি আমার ধারণাগুলি সাফ করতে চাই…

আমি ডিএফএ-তে পড়েছি, "প্রতিটি রাজ্যের জন্য, সমস্ত সম্ভাব্য চিহ্ন (বর্ণমালা) এর স্থানান্তর সংজ্ঞায়িত করা উচিত।"

প্রতিটি রাজ্যের জন্য, ডিএফএ-তে সমস্ত সম্ভাব্য প্রতীকগুলির স্থানান্তরকে বাধ্যতামূলক করা হবে? যদি তা না হয়, তবে দয়া করে কোনও উদাহরণ দিন?

Comments

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

— DW

উষ্ণ অভ্যর্থনার জন্য আপনাকে ধন্যবাদ, আমি আসলে এই সাইটে এবং

— গুগলেও

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

— DW

যাইহোক, এটি cs.stackexchange.com/q/12587/755 দ্বারা আচ্ছাদিত বলে মনে হচ্ছে । জনগণের ভোট, দয়া করে: এটি কি একটি সদৃশ?

— DW

আমি সত্যিই আপনার প্রশ্ন বুঝতে পারি না। দেখে মনে হচ্ছে "আমি পড়েছি যে সংজ্ঞাটি এক্স। সংজ্ঞাটি কি এক্স?"

— ডেভিড রিচার্বি

Answer 1

ডিএফএ নিম্নলিখিত তথ্য দ্বারা নির্দিষ্ট করা হয়:

• একটি বর্ণমালা ।$\Sigma$
• রাজ্যের একটি সেট ।$Q$
• একটি প্রাথমিক অবস্থায় ।$q_0 \in Q$
• চূড়ান্ত একটি সেট যুক্তরাষ্ট্রের ।$F \subseteq Q$
• একটি রূপান্তর ফাংশন ।$\delta\colon Q \times \Sigma \to Q$

আপনি যেমন এর স্বাক্ষর থেকে দেখতে পাচ্ছেন , এটি প্রতিটি চিহ্নের জন্য প্রতিটি রাজ্যে একটি স্থানান্তর নির্দিষ্ট করে।$\delta$

Comments

ডিএফএগুলি ব্যতীত কখনও কখনও আংশিক ট্রানজিশন ফাংশন দিয়ে সংজ্ঞায়িত করা হয়।

— গিলস 21'31

আপনি ঠিক বলেছেন, কোনও ডিএফএর কোনও "অফিসিয়াল" সংজ্ঞা নেই। তবে ওপি'র পাঠ্য এই নির্দিষ্ট সংজ্ঞাটির প্রভাবকে বিশ্বাস করে।

— যুবাল ফিল্মাস 21

স্পষ্টভাবে বলতে হবে যে রূপান্তর ফাংশনটি মোট।

— রায়ান

Answer 2

মনে করুন কোনও ডিএফএ-র ক্ষতিকারক ট্রানজিশন থাকার অনুমতি দেওয়া হয়েছিল। আপনি যদি এমন একটি চিহ্নের মুখোমুখি হন যার কোনও সংক্রমণ সংজ্ঞা দেওয়া হয়নি? ফলাফল অনির্ধারিত। এটি কোনও ডিএফএর "ডিটারমিনিস্টিক" বৈশিষ্ট্য লঙ্ঘন করবে বলে মনে হয়।

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

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

Comments

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

— দারখোগ

@ দারখগ, আমি অগত্যা একমত নই, তবে কোনও অসম্পূর্ণ ডিফএর সিদ্ধান্ত নির্ধারণ নির্ভর করবে না যে কোনও নির্দিষ্ট বাস্তবায়ন কীভাবে এই অপরিজ্ঞাত / নিখোঁজ রূপান্তরগুলি পরিচালনা করে? এবং এই ধরনের বাস্তবায়ন স্পষ্টভাবে ডিএফএ সম্পূর্ণ করবে না?

— নাথান ডেভিস

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

— দারখোগ

বিটিডাব্লু: আপনি কনভার্স রূপান্তর করতে পারেন। একটি "সম্পূর্ণ অটোমেটন" নিন এবং একটি "অসম্পূর্ণ অটোমেটন" পেতে একটি ডোবার অবস্থা সরিয়ে দিন। শেষ পর্যন্ত কেবলমাত্র পার্থক্যটি হ'ল মোট অটোমেটন সর্বদা শেষ পর্যন্ত একটি শব্দ পড়তে সক্ষম হয় এবং এর পরে এটি সিদ্ধান্ত নেয় যে এটি শব্দটি গ্রহণ করে বা না, যখন একটি আংশিক অটোমেটন তাদের সমস্তগুলি পড়ার আগে কিছু শব্দ প্রত্যাখ্যান করতে সক্ষম হয় চরিত্র.

— বাকুরিউ

Answer 3

$\Sigma$$Q$$\rho \subseteq Q \times \Sigma \times Q$$\delta : (Q \times \Sigma) \to 2^Q$$|\delta(q,\sigma)| \leq 1$$q\in Q$$\sigma \in \Sigma$$\delta(q,\sigma) \neq \emptyset$$q \in Q$$\sigma \in \Sigma$

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

কিছু লেখক ট্রিম অটোম্যাটাকে সংজ্ঞায়িত করেন যেখানে প্রতিটি রাজ্য প্রাথমিক অবস্থা থেকে চূড়ান্ত অবস্থার দিকে চলে যায়। নির্দিষ্ট ভাষার জন্য, আপনার অটোমেটা থাকতে পারে না যা উভয় ছাঁটাই এবং সম্পূর্ণ। এই ক্ষেত্রে, সম্পূর্ণতা প্রয়োজনীয়তা ডিটারমিনিস্টিক অটোমেটনের সংজ্ঞা থেকে দূরে রাখা সুবিধাজনক।