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

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

16 regular-languages  context-free  finite-automata  formal-grammars 

ব্রাজোজস্কির ডিএফএ মিনিমাইজেশন অ্যালগরিদম ডিএফএ জন্য একটি ন্যূনতম ডিএফএ তৈরি GGGকরে: সমস্ত প্রান্ত reversing GGG , প্রাথমিক অবস্থায় উপার্জন একটি রাষ্ট্র গ্রহণ, এবং একটি NFA পেতে প্রাথমিক রাজ্যের গ্রহণ, N′N′N' রিভার্স ভাষার জন্য, পাওয়ারসেট নির্মাণ ব্যবহার পেতে G′G′G' রিভার্স ভাষার জন্য, মূল ভাষার জন্য এনএফএ এন পেতে G′G′G' তে প্রান্তগুলি …

16 algorithms  finite-automata  runtime-analysis 

সম্প্রতি একটি আকর্ষণীয় প্রশ্ন জিজ্ঞাসা করা হয়েছিল এবং পরে মুছে ফেলা হয়েছিল। একটি নিয়মিত ভাষা , এর ডিএফএ জটিলতা হ'ল নূন্যতম ডিএফএ এটি গ্রহণ করে এবং তার এনএফএ জটিলতা হ'ল এটি ন্যূনতম এনএফএ গ্রহণ করার আকার। এটি সুপরিচিত যে দুটি জটিলতার মধ্যে ক্ষতিকারক পৃথকীকরণ রয়েছে, কমপক্ষে বর্ণমালার আকার সীমাহীন হলে। …

15 regular-languages  finite-automata 

একটি ভাষা দেওয়া হয়েছে, L : L S ( L ) = { | শব্দের LLLদৈর্ঘ্যের সেট হিসাবে এর দৈর্ঘ্যের সেটটিকে সংজ্ঞায়িত করুন { u | | তোমার দর্শন লগ করা ∈ এল }LLLLLLএল এস (এল)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} কোন পূর্ণসংখ্যার সেটগুলি কোনও নিয়মিত ভাষার দৈর্ঘ্য …

15 formal-languages  computability  regular-languages  finite-automata 

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

14 finite-automata  nondeterminism 

একটি বর্ণমালা দেওয়া হয়েছে Σ={a,b}Σ={a,b}\Sigma = \{ a,b \} , কতগুলি নিয়মিত ভাষা আছে যা nnn -স্টেট নন-ডিস্ট্রিমেন্টিক সসীম অটোমেটন গ্রহণ করতে পারে ? উদাহরণ হিসাবে, আসুন আমরা বিবেচনা করি n=3n=3n=3। তারপরে আমাদের কাছে 2182182^{18} আলাদা রূপান্তর কনফিগারেশন এবং 23232^3 পৃথক শুরু- এবং শেষের রাষ্ট্রীয় কনফিগারেশন রয়েছে, সুতরাং আমাদের কাছে …

14 formal-languages  regular-languages  finite-automata  combinatorics 

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

14 complexity-theory  finite-automata  nondeterminism 

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

14 computability  finite-automata 

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

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

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

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

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

13 automata  finite-automata  nondeterminism 

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

13 finite-automata  efficiency  nondeterminism 

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

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 complexity-theory  formal-languages  reference-request  automata  finite-automata