প্রশ্ন ট্যাগ «normal-forms»

আমি কীভাবে প্রমাণ করতে পারি যে সিএনএফ থেকে ডিএনএফ রূপান্তরটি এনপি-হার্ড? আমি কোনও উত্তর চাইছি না, এটি প্রমাণ করতে কীভাবে যেতে হবে সে সম্পর্কে কিছু পরামর্শ।

20 complexity-theory  np-hard  satisfiability  sat-solvers  normal-forms 

প্রযোজ্য ক্রম: ফাংশনটি নিজে মূল্যায়নের আগে কোনও ক্রিয়াকর্মের যুক্তিগুলি সর্বদা সম্পূর্ণ মূল্যায়ন করুন, যেমন - (λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(λx.x2(λx.(x+1) 2)))→(λx.x2(2+1))→ (λx.x2(3))→ 32 → 9(\lambda x. x^2(\lambda x.(x+1) \ \ 2))) \rightarrow (\lambda x. x^2(2+1))\rightarrow \ (\lambda x. x^2(3)) \rightarrow \ 3^2 \ \rightarrow \ 9 সাধারণ ক্রম: এক্সপ্রেশনটি …

14 logic  lambda-calculus  normal-forms 

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

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

থ্রেডের সাথে প্রমাণ করে যে সিএনএফ থেকে ডিএনএফ-তে রূপান্তর হ'ল এনপি-হার্ড (এবং সম্পর্কিত ম্যাথ থ্রেড ): ডিএনএফ থেকে সিএনএফ পর্যন্ত অন্য দিকটি কেমন? এটা সহজ না শক্ত? এই কাগজের পৃষ্ঠা 2- এ , তারা ইঙ্গিত করে বলে মনে হচ্ছে যে উভয় দিকই সমানভাবে কঠোর যখন তারা বলে " সিএনএফ প্রতিনিধিত্ব …

10 complexity-theory  logic  satisfiability  normal-forms