প্রশ্ন ট্যাগ «formal-languages»

আমি এই প্রশ্নটি পেরিয়ে এসেছি: "দুটি নিয়মিত ভাষার উদাহরণ দিন যা তাদের ইউনিয়ন একটি নিয়মিত ভাষা আউটপুট দেয় না।" এটি আমার কাছে বেশ চমকপ্রদ কারণ আমি বিশ্বাস করি যে নিয়মিত ভাষাগুলি ইউনিয়নের অধীনে বন্ধ রয়েছে। যার অর্থ আমার কাছে যে আমি যদি দুটি নিয়মিত ভাষা গ্রহণ করি এবং সেগুলি একত্রিত …

12 formal-languages  regular-languages  closure-properties 

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

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

আমি বুঝতে পারি যে প্রসঙ্গ-মুক্ত ব্যাকরণগুলি প্রসঙ্গ-মুক্ত ভাষাগুলি উপস্থাপন করতে ব্যবহার করা যেতে পারে t এতে অস্পষ্টতা থাকতে পারে। আমরা মত স্বাভাবিক ফর্ম আছে চমস্কি এবং Greibach স্বাভাবিক ফর্ম। আমি এর প্রয়োজন বুঝতে পারি না। কেন তারা ভাষা তত্ত্ব গুরুত্বপূর্ণ? আমি উল্লেখ করা সমস্ত পাঠ্যপুস্তকগুলিতে এই সাধারণ ফর্মগুলি সম্পর্কে বলতে …

12 formal-languages  context-free  formal-grammars  normal-forms 

বলুন, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* । তারপর আমরা যে কিভাবে প্রমাণ করতে পারেন L∗L∗L^* নিয়মিত হয়? তাহলে LLL নিয়মিত হয়, তাহলে অবশ্যই L∗L∗L^* নিয়মিত হয়। তাহলে LLL সসীম হয়, তাহলে এটা নিয়মিত এবং আবার L∗L∗L^* নিয়মিত হয়। এছাড়াও আমি লক্ষ্য করেছি যে, জন্য আছে L={0p∣p is a prime}L={0p∣p is a prime}L …

12 formal-languages  regular-languages 

তাহলে নিয়মিত হয়, এটা অনুসরণ করে যে নিয়মিত হয়? এA2A2A^2AAA প্রমাণের জন্য আমার প্রচেষ্টা: হ্যাঁ, বৈপরীত্যের জন্য ধরে নিন যে নিয়মিত নয়। তারপর ।এ 2 = এ ⋅ এAAAA2=A⋅AA2=A⋅AA^2 = A \cdot A যেহেতু দুটি অ-নিয়মিত ভাষার সংমিশ্রণ নিয়মিত নয় নিয়মিত হতে পারে না। এটি আমাদের অনুমানের বিরোধিতা করে। সুতরাং …

12 formal-languages  regular-languages  closure-properties 

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

12 formal-languages  turing-machines 

যাক নিয়মিত হও, নিয়মিত, নিয়মিত না। দেখান যে নিয়মিত নয় বা কাউন্টারিক ।এল 1 ∩ এল 2 এল 2 এল 1 ∪ এল 2L1L1L_1L1∩L2L1∩L2L_1 \cap L_2L2L2L_2L1∪L2L1∪L2L_1 \cup L_2 আমি এটি চেষ্টা করে দেখলাম: । এটি নিয়মিত। আমি এর জন্য একটি সসীম অটোমেটন তৈরি করতে পারি: নিয়মিত, নিয়মিত, সুতরাং সমস্ত পাথ …

12 formal-languages  regular-languages 

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

12 formal-languages  parsers  regular-expressions  pushdown-automata 

তাদের ইউনিয়ন / ছেদটি / একচেটিয়া ভাষা সিদ্ধান্ত গ্রহণযোগ্য, এমন কি অনস্বীকার্য ভাষা রয়েছে? এই ধরনের উদাহরণগুলির শারীরিক ব্যাখ্যা কী? কারণ সাধারণভাবে, অবিশ্বাস্য ভাষাগুলি এই ক্রিয়াকলাপগুলির অধীনে বন্ধ হয় না? ক্লিন বন্ধের বিষয়ে আমরা কী বলতে পারি? আমাদেরও কি এর জন্য উদাহরণ রয়েছে? অর্থাত্ একটি অনির্বচনীয় ভাষা বন্ধ করা কি …

12 formal-languages  undecidability  closure-properties 

আমি এই চিত্রটি জুড়ে এসেছি যা দেখায় যে প্রসঙ্গমুক্ত এবং নিয়মিত ভাষাগুলি দক্ষ সমস্যার (অনুমিতভাবে ) ) proper আমি পুরোপুরি বুঝতে পেরেছি যে দক্ষ সমস্যাগুলি হ'ল সিদ্ধান্ত গ্রহণযোগ্য সমস্যার একটি উপসেট কারণ আমরা সেগুলি সমাধান করতে পারি তবে এটি খুব দীর্ঘ সময় নিতে পারে।পিP\mathrm{P} কেন সব দক্ষতার নির্ধার্য প্রসঙ্গ-মুক্ত এবং …

12 formal-languages  regular-languages  context-free  efficiency 

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

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

আমি ভাবছিলাম, যেহেতু itself নিজেই একটি তারকা-মুক্ত ভাষা, তাই কোনও নিয়মিত ভাষা কি তারা-মুক্ত ভাষা নয়? আপনি একটি উদাহরণ দিতে পারেন?একটি*একটি*a^* ( উইকিপিডিয়া থেকে ) লসন তারকা-মুক্ত ভাষাগুলি এইভাবে সংজ্ঞায়িত করেছেন: বর্ণমালার বর্ণগুলি, খালি সেট প্রতীক, সমস্ত বুলিয়ান অপারেটর - পরিপূরক সহ - এবং কনটেন্টেশন সহ তবে কোনও ক্লিন তারকা …

12 formal-languages  regular-languages  automata 

আমি প্রমাণ করতে চাই যে { 0 n 1 n ∣ n ≥ এর পরিপূরক ≥ অবসান বৈশিষ্ট্য ব্যবহার নিয়মিত নয়।{ 0এন1এন| এন ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} আমি পাম্পিং বুঝতে থিম প্রমাণ করতে হবে যে ব্যবহার করা যেতে পারে একটি নিয়মিত ভাষা নয়। আমি আরও বুঝতে পারি নিয়মিত …

12 formal-languages  regular-languages  closure-properties 

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

11 formal-languages  computability  mathematical-foundations 

একটি নিয়মিত এক্সপ্রেশন পুনরাবৃত্ত হিসাবে হিসাবে সংজ্ঞায়িত করা হয় aaa কিছু জন্যa∈Σa∈Σa \in \Sigma , একটি রেগুলার এক্সপ্রেশন হয় εε\varepsilon , একটি রেগুলার এক্সপ্রেশন হয় ∅∅\emptyset একটি রেগুলার এক্সপ্রেশন হয়, (R1∪R2)(R1∪R2)(R_1 \cup R_2) যেখানেR1R1R_1 এবংR2R2R_2 নিয়মিত প্রকাশ হয় তা নিয়মিত প্রকাশ হয়, (R1∘R2)(R1∘R2)(R_1 \circ R_2) যেখানেR1R1R_1 এবংR2R2R_2 নিয়মিত প্রকাশ হয় …

11 formal-languages  regular-languages  regular-expressions