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

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

10 complexity-theory  formal-languages 

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

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

ধরুন একটি আদেশযুক্ত বর্ণমালার উপর নিয়মিত ভাষা। ভাষাটি কি প্রতিটি শব্দ এবং এটিকে সর্বদা নিয়মিত ভাষা বাছাই করে তৈরি করা হয় ?LLLLLL

10 formal-languages  regular-languages 

আছে কি প্রয়োজন জন্য হতে অসীম undecidable হতে?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* আমি কি বলতে চাচ্ছি যদি আমরা একটি ভাষা নির্বাচন করুন L′L′L' একটি হতে এর উত্তরে সসীম সংস্করণ L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* হলো, |L′|≤N|L′|≤N|L'|\leq N , ( N∈NN∈NN \in \mathbb{N} ), L′⊂LL′⊂LL' \subset L । for এরL′L′L' পক্ষে কি অনির্বচনীয় ভাষা হওয়া সম্ভব ? …

10 formal-languages  computability  undecidability 

লিখন ˉ এনn¯\bar n এর দশমিক বিস্তৃতির জন্য (কোন শীর্ষে রয়েছে )। যাক এবং পূর্ণসংখ্যার সঙ্গে হতে । এর গুণিতক দশমিক প্রসারণও ভাষার বিবেচনা করুন প্লাস একটি ধ্রুবক:n nn0a aab bba > 0 a>0a > 0কaa এম = { ¯ এএক্স + + খ |এক্স∈এন}M={ax+b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} …

10 formal-languages  context-free  regular-languages  integers 

আমার পড়া থেকে মনে হয় বেশিরভাগ ব্যাকরণকারী অসীম সংখ্যক স্ট্রিং তৈরির সাথে সম্পর্কিত। আপনি যদি অন্যভাবে কাজ করে থাকেন তবে কি হবে? যদি দৈর্ঘ্যের এন স্ট্রিং দেওয়া থাকে তবে একটি ব্যাকরণ তৈরি করা সম্ভব যা এই স্ট্রিংগুলি তৈরি করতে পারে এবং কেবল সেই স্ট্রিং তৈরি করতে পারে। এটি করার জন্য …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

আমি জানি যে নিয়মিত এক্সপ্রেশন এবং ডিএফএ / এনএফএ (সসীম অটোমেটা) দ্বারা স্বীকৃত ভাষাগুলি যেগুলি সংজ্ঞায়িত করা যায় সেগুলি সমান। এছাড়াও ভাষার জন্য কোনও ডিএফএ বিদ্যমান নেই{0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\}। তবে তবুও এটি নিয়মিত প্রকাশ (যেমন কোনও নিয়মিত ভাষা হতে পারে) ব্যবহার করে রচনা করা যেতে পারে{ϵ}∪{01}∪{0011}......{ϵ}∪{01}∪{0011}......\{ \epsilon \} \cup \{01\} …

10 formal-languages  regular-languages  regular-expressions 

প্রশ্ন শিরোনামে বেশ। এমন কোনও সময় আছে যেখানে কিছু ভাষা ন্যূনতম ডিএফএ দ্বারা স্টেটগুলির সাথে গ্রহণ করা যেতে পারে , তবে , এর বিপরীত , একটি ডিএফএ দ্বারা স্টেটস সহ গ্রহণ করতে পারে , যেখানে ?এলLLএনnnএলআরLRL^RএলLLমিmmমি &lt; এনm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

কেন (যদি তাই হয়) পৃথক দুটি ভাষার মধ্যে পার্থক্য আনছে ?##\# বলতে দাও: L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L={ws:|w|=|s|w,s∈{0,1}∗,w≠s}L=\{ws : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L#={w#s:|w|=|s|w,s∈{0,1}∗,w≠s}L_{\#}=\{w\#s : |w|=|s|\, w,s\in \{0,1\}^{*}, w \neq s \} এখানে একটি প্রমাণ এবং একটি ব্যাকরণ রয়েছে যা কে হিসাবে উপস্থাপন করেLLLCFLCFLCFL এবং নীচে আমি জন্য একটি প্রমাণ যুক্ত …

9 formal-languages  context-free  pumping-lemma 

আমি সম্প্রতি ভাবছিলাম যে যদি আমরা প্রসঙ্গমুক্ত ব্যাকরণগুলিকে অসীম সংখ্যক নিয়ম মেনে চলতে পারি তবে কী হবে happen স্পষ্টতই, আমরা যদি নিয়মগুলির নির্বিচারে সেট করতে পারি, তবে প্রতিটি বর্ণের কিছু বর্ণমালার উপরে একটি সিএফজি দ্বারা দ্বারা বর্ণিত হতে পারে। কিন্তু কি যদি আমরা সীমিত যে প্রেক্ষাপটে বিনামূল্যে ব্যাকরণ দ্বারা তৈরি …

9 formal-languages  context-free  formal-grammars 

সাধারণত আমি দেখতে পাই যে লুপের জন্য স্ট্রাকচারাল অপারেশনাল সিনটিকের উপস্থাপনায় প্রোগ্রামের স্থিতি পরিবর্তন হয় না: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(Wজআমিঠইবিঘণএস,σ)→(আমিচবিটিজইএনএস;(Wজআমিঠইবিঘণএস)ইঠগুলিইএসকেআমিপি,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) আমার জন্য, এটি স্বজ্ঞাত নয়, যদি রাষ্ট্র পরিবর্তন না হয় …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

আমি আনরি ভাষা সম্পর্কে চিন্তা করি LkLkL_k, কোথায় LkLkL_kদৈর্ঘ্যটি স্কোয়ারের যোগফলের সমষ্টি । আনুষ্ঠানিকভাবে: এটি দেখাতে সহজ যে নিয়মিত নয় (যেমন পাম্পিং-লেমার সাথে)। আরও, আমরা জানি যে প্রতিটি প্রাকৃতিক সংখ্যাটি চারটি স্কোয়ারের সমষ্টি যা বোঝায় যে সমস্ত ভাষা থেকে নিয়মিত ।kkkLk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} L1={an2∣n∈N0}L1={an2∣n∈N0}L_1=\{a^{n^2}\mid n\in\mathbb{N_0}\}k≥4k≥4k\ge 4LkLkL_kLk=L(a∗)Lk=L(a∗)L_k=L(a^*) এখন, আমি …

9 formal-languages  regular-languages 

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

9 complexity-theory  formal-languages  reference-request 

আমি একটি প্রসঙ্গ-সংবেদনশীল ব্যাকরণের সন্ধান করছি যা নীচের ভাষাটি বর্ণনা করে: ।L={ww∣w∈{a,b}∗,|w|≥1}এল={WW|W∈{একটি,খ}*,|W|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} মতো কোনও নিয়মের অনুমতি নেই এবং এই কারণে আমি শব্দের "মাঝারি" নির্দেশ করে কোনও অবিচ্ছিন্ন রাখতে পারি না এই সমস্যাটি নিয়ে আমার সমস্যা হয়েছে। সমস্যার কোন কৌশল আছে?X→εএক্স→εX …

9 formal-languages  formal-grammars  context-sensitive 

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

9 formal-languages  reference-request  finite-automata