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

নিম্নলিখিত ভাষার প্রসঙ্গটি কি নিখরচায়? L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ 0,1 \}^+, |u| = |v|, u \neq v, |x| = |y|, x \neq y\} এসডিসিভিভিসি দ্বারা চিহ্নিত হিসাবে, এই ভাষার একটি শব্দকে একই দৈর্ঘ্যের দুটি শব্দের সংমিশ্রণ হিসাবেও বর্ণনা করা যেতে পারে যার হ্যামিং দূরত্ব 2 বা …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

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

25 formal-languages  programming-languages  regular-expressions 

নিয়মিত প্রকাশের জন্য এখানে একটি অনুমান: নিয়মিত অভিব্যক্তি RRR জন্য দৈর্ঘ্যবন্ধনী এবং অপারেটরগুলি উপেক্ষা করে এতে চিহ্নগুলির সংখ্যা হোন। যেমন|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup 1)^*| = 2 অনুমান: যদি এবং এর দৈর্ঘ্যের প্রতিটি স্ট্রিং থাকেবা তার চেয়ে কম, তবে ।|R|>1|R|>1|R| > 1L(R)L(R)L(R)|R||R||R|L(R)=Σ∗L(R)=Σ∗L(R) = \Sigma^* অর্থাৎ, যদি এর দৈর্ঘ্য পর্যন্ত …

25 formal-languages  regular-languages  regular-expressions 

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

24 formal-languages  computability  turing-machines 

আমরা জানি যে ডিএফএগুলি এক্সপ্রেশননেস পাওয়ারে এনএফএর সমতুল্য; এনএফএদের ডিএফএগুলিতে রূপান্তর করার জন্য একটি পরিচিত অ্যালগরিদমও রয়েছে (দুর্ভাগ্যক্রমে আমি এখন সেই অ্যালগরিদমের উদ্ভাবককে জানি) যা আমাদের এনএফএ এর স্টেটস থাকলে সবচেয়ে খারাপ ক্ষেত্রে আমাদের স্টেট দেয় । এস2এস2S2^SএসSS আমার প্রশ্ন: সবচেয়ে খারাপ পরিস্থিতিটি কী নির্ধারণ করছে? অস্পষ্টতার ক্ষেত্রে একটি অ্যালগরিদমের …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

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

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

EPAL, এমনকি প্যালিনড্রোমগুলির ভাষা, নিম্নলিখিত বর্ণনামূলক প্রাসঙ্গিক মুক্ত ব্যাকরণ দ্বারা উত্পন্ন ভাষা হিসাবে সংজ্ঞায়িত করা হয়: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL অনেকগুলি পার্সিং অ্যালগরিদমের 'নিষ্ক্রিয়': আমি এখনও দ্ব্যর্থহীন সিএফজির পক্ষে এমন কোনও পার্সিং অ্যালগরিদমের মুখোমুখি হতে …

23 formal-languages  formal-grammars  parsers 

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

23 formal-languages  regular-expressions 

আনুষ্ঠানিক ব্যাকরণ দিয়ে আনুষ্ঠানিক ভাষা নির্দিষ্ট করা একটি ঘন কাজ: আমাদের কেবলমাত্র ভাষার বর্ণনার জন্য নয়, সেগুলি বিশ্লেষণ করতে, এমনকি সঠিক বিজ্ঞান করার জন্যও ব্যাকরণ প্রয়োজন । সব ক্ষেত্রে, এটি গুরুত্বপূর্ণ যে হাতের ব্যাকরণটি সঠিক , এটি হ'ল পছন্দসই শব্দ উত্পন্ন করে। আমরা প্রায়শই একটি উচ্চ-স্তরে তর্ক করতে পারি যে …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

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

22 formal-languages  formal-grammars 

এমন কোন "প্রাকৃতিক" ভাষা আছে যা অনস্বীকার্য? "প্রাকৃতিক" বলতে বোঝায় এমন একটি ভাষা যার অর্থ সরাসরি স্ট্রিংয়ের বৈশিষ্ট্য দ্বারা সংজ্ঞায়িত করা হয়, মেশিন এবং তাদের সমতুল্য নয়। অন্য কথায়, ভাষাটি যদি looks যেখানে টিএম, ডিএফএ (বা নিয়মিত-এক্সপ্রেস), পিডিএ (বা ব্যাকরণ) ইত্যাদি থাকে প্রাকৃতিক নয় । তবে প্রাকৃতিক।এল = { ⟨ …

22 formal-languages  automata  computability  undecidability 

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

21 formal-languages  computability  context-free  computation-models  context-sensitive 

প্রসঙ্গমুক্ত ভাষা পরিপূরক হিসাবে বন্ধ করা হয় না , আমরা জানি যে। আমি যতদূর বুঝতে পেরেছি, প্রসঙ্গমুক্ত ভাষাগুলি যে কোনও অক্ষর এর জন্য এর উপসেট হয় পরিপূরক (!?) এর অধীনে বন্ধ থাকে? a , ba∗b∗a∗b∗a^*b^*a,ba,ba,b এখানে আমার যুক্তি। প্রতিটি সিএফ ভাষা একটি আধা-রৈখিক পারিখ ইমেজ আছে । পরিপূরক অধীনে সেলিমিনার …

20 formal-languages  reference-request  context-free  closure-properties 

নিয়মিত ল্যাঙ্গুয়েজের জন্য পাম্পিং লেমা সম্পর্কিত উইকিপিডিয়ায় নিম্নলিখিত সংজ্ঞা রয়েছে ... নিয়মিত ভাষা হতে দিন । তারপর একটি পূর্ণসংখ্যা অস্তিত্ব আছে ≥ 1 শুধুমাত্র নির্ভর করে এমন প্রত্যেকটি স্ট্রিংটি মধ্যে অন্তত দৈর্ঘ্যের ( "পাম্পিং দৈর্ঘ্য" বলা হয়) হিসেবে লেখা যেতে পারে = , (অর্থাত তিনটি ভাগে ভাগ করা যায় সাবস্ট্রিংস), …

20 formal-languages  regular-languages  pumping-lemma  finite-sets 

আমি ব্যবহারকারী-সংজ্ঞায়িত ডোমেন নির্দিষ্ট ভাষাগুলি পার্স করতে চাই। এই ভাষাগুলি সাধারণত গাণিতিক স্বরলিপিগুলির নিকটে থাকে (আমি কোনও প্রাকৃতিক ভাষা পার্স করছি না)। ব্যবহারকারীরা তাদের ডিএসএল একটি বিএনএফ স্বরলিপিতে সংজ্ঞায়িত করেছেন: expr ::= LiteralInteger | ( expr ) | expr + expr | expr * expr ইনপুটটিকে 1 + ( 2 …

20 formal-languages  parsers  compilers