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

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

14 complexity-theory  formal-languages 

আমি ভাবছিলাম যখন দুটি সাবস্ট্রিংয়ের একই সংখ্যার উদাহরণগুলি অন্তর্ভুক্ত ভাষাগুলি নিয়মিত হবে। আমি জানি যে 1 এবং 0 এর সমান সংখ্যক ভাষাটি নিয়মিত নয়, তবে এটি মতো একটি ভাষা , যেখানে L = { w ∣ "001" স্ট্রিংয়ের উদাহরণগুলির সংখ্যা সমান "100" স্ট্রিংয়ের সংখ্যার সমান হয় } নিয়মিত? নোট করুন …

14 formal-languages  regular-languages  pumping-lemma 

আমি ইনডেন্টেশন-সংবেদনশীল ভাষার জন্য ব্যাকরণগুলির কথা ভাবছিলাম এবং মনে হচ্ছে সিএফ ব্যাকরণগুলি পরামিতিগুলির সাথে একত্রিত হলে কৌশলটি করবে। উদাহরণ হিসাবে, এএনটিএলআর-এর মতো বিন্যাসে সরল পাইথন ব্যাকরণের জন্য এই খণ্ডটি বিবেচনা করুন: // on top-level the statements have empty indent program : statement('')+ ; // let's consider only one compound statement …

13 formal-languages  context-free  formal-grammars  parsers 

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

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

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

13 formal-languages  regular-languages 

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

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

আমি নিম্নলিখিত সমস্যার জন্য একটি দক্ষ অ্যালগরিদম বা এনপি-কঠোরতার প্রমাণ খুঁজছি। যাক একটি সেট এবং হতে এর সাব-সেট নির্বাচন একটি সেট । একটি ক্রম খুঁজুন অন্তত দৈর্ঘ্য যেমন প্রত্যেকের জন্য যে , সেখানে একটি যেমন যে ।একটি ⊆ পি ( Σ ) Σ W ∈ Σ * এল ∈ একজন …

13 algorithms  formal-languages  encoding-scheme 

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

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

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

13 formal-languages  semantics 

আমি নিম্নলিখিত সাহায্যে আপনার সহায়তা সত্যিই পছন্দ করব: যে কোনও নির্দিষ্ট আমাকে নীচের অপারেটরগুলির অধীনে বন্ধ রয়েছে কিনা তা সিদ্ধান্ত নিতে হবে:এল2L2L_2 একজনR( L ) = { x ∣ ∃ y। এল2: x y∈ এল }Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} ।একজনঠ( L ) = { …

13 formal-languages  regular-languages  closure-properties 

উপর বর্ণমালা একটি নিয়মিত ভাষা Σ = { একটি , খ } । বাম ভাগফল এল সংক্রান্ত W ∈ Σ * ভাষা W - 1 এল : = { বনাম | W বনাম ∈ এল }এলLLΣ = { একটি , খ }Σ={a,b}\Sigma = \{a,b\}এলLLW ∈ Σ*w∈Σ∗w \in \Sigma^*W- 1এল : …

13 formal-languages  regular-languages  closure-properties 

আমি জানি যে নিয়মিত নয় এমন ভাষা রয়েছে, যাতে regular নিয়মিত হয় তবে আমি যে সমস্ত উদাহরণ খুঁজে পেতে পারি সেগুলি প্রসঙ্গ-সংবেদনশীল তবে প্রসঙ্গমুক্ত নয়।এল*এল*L^* আপনি যদি এটি প্রমাণ করেন তবে সেখানে কেউ নেই?

13 formal-languages  context-free  regular-languages 

এটি প্রদর্শিত হয় যে POSIX.1-2-2008 দ্বারা সংজ্ঞায়িত "বেসিক নিয়মিত অভিব্যক্তি" বিকল্প পরিবর্তন সমর্থন করে না, a|bযদিও কিছু কিছু গ্রেপ বাস্তবায়ন পালিয়ে যাওয়া সংস্করণকে স্বীকৃতি দেয় \|)। যেহেতু নিয়মিত ভাষা সংজ্ঞার অধীনে ইউনিয়নের অধীনে বন্ধ থাকে, এর অর্থ কি পসিক্স বিআরইতে সসীম অটোমেটনের চেয়ে কম ভাবের শক্তি রয়েছে? বা অন্য কনস্ট্রাক্টস …

13 formal-languages  regular-expressions 

সমস্যাটি রেজেক্সের সাহায্যে অনুমতি পাওয়ার কোনও সহজ উপায় নেই। বিন্যাস: একটি পথ শব্দ আরেকটি অর্ডার ( "aabc") সংখ্যা পরিবর্তন করা বা বর্ণের ধরনের ছাড়া।ডাব্লু = এক্স1… এক্সএনW=এক্স1...এক্সএনw=x_1…x_n রেজেক্স: নিয়মিত অভিব্যক্তি। যাচাই করার জন্য: "পুনরাবৃত্তি ছাড়াই রেজেক্স অনুমান " উত্তরটি একটি রেইজেক্সের পরিবর্তে জাভাস্ক্রিপ্ট কোড তৈরি করে, ধরে নেওয়া এই আরও …

13 formal-languages  regular-languages  regular-expressions 

আমি ভেবেছিলাম সমস্ত নিয়মিত ভাষা নিয়মিত প্রকাশের সাথে প্রকাশ করা যেতে পারে (যদি কোনও ভাষা নিয়মিত হয় তবে এটি রেজেক্সের সাহায্যে প্রকাশ করা যেতে পারে), তবে আমাকে বলা হয়েছে যে এর জন্য আপনার নিয়মিত তিনটি ক্রিয়াকলাপ (কনটেন্টেশন, ইউনিয়ন এবং তারা) দরকার you ধরে রাখা. উদাহরণস্বরূপ, আমাকে বলা হয়েছে যে যদি …

12 formal-languages  regular-languages  regular-expressions  kleene-star