প্রশ্ন ট্যাগ «automata»

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

15 formal-languages  automata  nondeterminism 

আমি সাধারণত খালি স্ট্রিংয়ের জন্য চিহ্ন ব্যবহার করি (খালি শব্দ বা নাল স্ট্রিং)। কিন্তু আমি জানি কিছু লোক ব্যবহার λ পরিবর্তে ε ।εε\varepsilonλλ\lambdaεε\varepsilon আমার মনে হয় "খালি" শব্দটি থেকে উদ্ভূত হয়েছে। তবে উৎপত্তি কি জানি না λ ।εε\varepsilonλλ\lambda অটোমাতা তত্ত্বে, অটোমেটারের অ্যাপসিলন ট্রানজিশন রয়েছে এবং এটি ল্যাম্বদা ট্রানজিশনও বলে। উদাহরণস্বরূপ, …

14 formal-languages  automata  reference-request  notation  history 

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

14 automata  pushdown-automata  nondeterminism 

আমি খুঁজে পেয়েছি যে আমি যদি সিসি / প্রোগ্রামিং শব্দটির পিছনে ব্যুৎপত্তি বুঝতে না পারি তবে এটির অর্থ সাধারণত আমি কিছু গুরুত্বপূর্ণ অন্তর্নিহিত ধারণাটি মিস করেছি বা ভুল বুঝেছি। আমি বুঝতে পারছি না যে ক্লিন তারকাটিকে ক্লিন ক্লোজারও বলা হয়। এটি কি প্রোগ্রামিংয়ের ক্লোজার, বাউন্ড অ-লোকাল ভেরিয়েবলগুলির সাথে একটি ফাংশন …

14 automata  regular-expressions 

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

14 automata  finite-automata  logic  coq  automated-theorem-proving 

আমি আনুষ্ঠানিক ভাষা এবং উত্পাদন ঘাঁটি সিস্টেমগুলি (নিয়ম-বেস সিস্টেমগুলি) অধ্যয়ন করছি এবং কম্পিউটার বিজ্ঞানের এতগুলি প্রসঙ্গে কেন এই দুটি শব্দ "উত্পাদন" এবং "নিয়ম" বোঝায় তা সম্পর্কে আমি কিছুটা বিভ্রান্ত হয়ে পড়েছি। ইংরাজী ভাষায় তারা একই জিনিস বোঝায় বলে মনে হয় না। আমি নেটিভ ইংলিশ স্পিকার নই তবে আমি জানি যে …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

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

13 automata  finite-automata  nondeterminism 

দুটি এনপিডিএ ছেদ করার বিষয়ে রাফেলের পরামর্শে অ্যাপ্রোপোইস : যাক এবং একটি 2 NPDA জন্য প্রসঙ্গ-মুক্ত ভাষায় এবং যথাক্রমে। ধরে যে আমরা জানি যে , আমরা কি (কার্যকরভাবে) জন্য এনপিডিএ তৈরি করতে পারি ?একজন1A1A_1একজন2A2A_2এল 2 এল = এল 1 ∩ এল 2 এ এলএল1L1L_1এল2L2L_2এল = এল1। এল2L=L1∩L2L = L_1 \cap …

13 computability  automata  pushdown-automata 

আমি উইকিপিডিয়া এবং অন্য কিছু গ্রন্থে পড়েছি যে থামানো সমস্যা হ'ল [...] সীমাবদ্ধ স্মৃতিযুক্ত রৈখিক বাউন্ডেড অটোমাতা (এলবিএ) [এবং] নির্মাতারা মেশিনগুলির জন্য সিদ্ধান্ত গ্রহণযোগ্য। তবে এর আগে এটি লেখা হয়েছিল যে থামানো সমস্যা একটি অনস্বীকার্য সমস্যা এবং এভাবে টিএম এটি সমাধান করতে পারে না! যেহেতু এলবিএকে এক ধরণের টিএম হিসাবে …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

গণিত দলগুলি এবং সিএস ফর্মাল ভাষা বা অন্য কোনও মূল সিএস ধারণা যেমন টুরিং মেশিনগুলি সম্পর্কিত বা লিঙ্ক করার কোনও প্রাকৃতিক বা উল্লেখযোগ্য উপায় আছে ? আমি রেফারেন্স / অ্যাপ্লিকেশন সন্ধান করছি। তবে মনে রাখবেন যে আমি সেমিগ্রুপ এবং সিএস ভাষার (যেমন সসীম অটোমেটার মাধ্যমে ) লিঙ্কটি সম্পর্কে সচেতন । …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

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

12 automata  formal-grammars  regular-expressions 

উদ্দেশ্যটি হ'ল নিয়মিত এক্সপ্রেশন থেকে ডিএফএ তৈরি করা এবং "নিয়মিত এক্সপ্রেস> এনএফএ> ডিএফএ রূপান্তর" ব্যবহার করা কোনও বিকল্প নয়। কিভাবে এটি করা উচিত? আমি এই প্রশ্নটি আমাদের অধ্যাপকের কাছে জিজ্ঞাসা করেছি তবে তিনি আমাকে বলেছিলেন যে আমরা স্বজ্ঞাততা ব্যবহার করতে পারি এবং দয়া করে কোনও ব্যাখ্যা দিতে অস্বীকার করেছি। তাই …

12 automata  finite-automata  regular-expressions  simulation 

নীচের ছবিতে, আমি এই এনএফএ ঠিক কী গ্রহণ করছে তা নির্ধারণ করার চেষ্টা করছি। আমাকে কি বিভ্রান্ত করছে তা হল এ জাম্প ।কিউ 0εϵ\epsilonকুই0q0q_0 যদি একটি প্রবেশ করানো হয়, সিস্টেমটি কি এবং উভয় (গ্রহণযোগ্য রাষ্ট্র) এ চলে যাবে?q 0 q 1000কুই0q0q_0 কুই1q1q_1 যদি টি প্রবেশ করা হয়, তবে সিস্টেমটি কি …

12 automata  finite-automata  nondeterminism 

সমস্যাটি এখানে: সেই একক-টেপ ট্যুরিং মেশিনগুলি প্রমাণ করুন যা ইনপুট স্ট্রিংযুক্ত টেপের অংশে লিখতে পারে না কেবলমাত্র নিয়মিত ভাষাগুলি সনাক্ত করে। আমার ধারণাটি প্রমাণ করার জন্য যে এই নির্দিষ্ট টিএম একটি ডিএফএ এর সমতুল্য। ডিএমএ অনুকরণ করতে এই টিএম ব্যবহার করা খুব সহজ। তবে, যখন আমি এই ডিএফএটি টিএম অনুকরণ …

12 formal-languages  computability  regular-languages  turing-machines  automata 

তাই, আমি যদি একজন নিয়মিত ভাষা পরীক্ষার জানি RRR নিয়মিত ভাষা এর একটি উপসেট SSS নির্ধার্য হয়, যেহেতু আমরা তাদের উভয় DFAs, কম্পিউট রূপান্তর করতে পারেন R∩S¯R∩S¯R \cap \bar{S} যদি এই ভাষা খালি পরীক্ষা করুন, এবং তারপর। যাইহোক, যেহেতু এটির জন্য ডিএফএগুলিতে রূপান্তরকরণ প্রয়োজন, সুতরাং ডিএফএগুলি এবং এইভাবে পরীক্ষার অ্যালগরিদম …

12 algorithms  regular-languages  automata  np-complete  decision-problem