প্রশ্ন ট্যাগ «linear-temporal-logic»

এটা একটা পরিচিত সত্য যে প্রতি LTL সূত্র একটি Buchi দ্বারা প্রকাশ করা যেতে পারে -automaton। তবে, স্পষ্টতই, বচি অটোমেটা আরও শক্তিশালী, অভিব্যক্তিপূর্ণ মডেল। আমি কোথাও শুনেছি যে বাচি অটোমেটা লিনিয়ার-টাইম- ক্যালকুলাসের সমান (এটি, usual ক্যালকুলাস সাধারণ ফিক্সপয়েন্ট এবং কেবলমাত্র একটি টেম্পোরাল অপারেটর: )।ωω\omegaμ এক্সμμ\muμμ\muXএক্স\mathbf{X} এই সাম্যের কোনও অ্যালগরিদম (গঠনমূলক …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

আমার একজোড়া সেট আছে। প্রতিটি জুড়ি ফর্মের (x, y) এর মতো যে x, y ব্যাপ্তি থেকে পূর্ণসংখ্যার অন্তর্ভুক্ত [0,n)। সুতরাং, যদি এন 4 হয়, তবে আমার নীচের জোড়াগুলি রয়েছে: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) আমি ইতিমধ্যে জোড়া আছে। এখন, আমাকে জোড় ব্যবহার করে একটি সংমিশ্রণ তৈরি করতে হবে n/2যাতে …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

পার্থক্যটি সন্ধান করতে, আমি উইকিপিডিয়ায় সাময়িক যুক্তি সম্পর্কে কেবল নীচে দৃ as়তার মুখোমুখি হয়েছি : গতিশীল যুক্তির সাথে প্রচলিত সাধারণ বৈশিষ্ট্যগুলি ভাগ করে নেওয়ার মডেল লজিকের আর একটি রূপ, পনুয়ালি "অন্তঃসত্ত্বা" যুক্তি হিসাবে চিহ্নিত হয়েছে, অন্যটি "বহিরাগত" লজিক হিসাবে চিহ্নিত করে উপরে বর্ণিত সমস্ত লজিকের থেকে পৃথক। এর দ্বারা পুনুয়েলের …

12 logic  linear-temporal-logic  temporal-logic 

সময়গত যুক্তি লিনিয়ার এবং নির্ণায়ক Buchi অটোমাটা অনুপম আছেন: DBA প্রকাশ করতে , এবং LTL প্রকাশ করতে পারে না "অন্তত প্রতিটি বিজোড় চিঠি 'একটি'" । তবে কখনও কখনও এটি জেনে রাখা আকর্ষণীয় যে কোনও ডিবিএর ভাষা এলটিএল-তে প্রকাশ করা যায় কিনা।FGaFGaFGa আমার একটি অ্যালগরিদম দরকার যা প্রদত্ত ডিবিএর ভাষা এলটিএল-তে …

10 logic  automata  linear-temporal-logic  buchi-automata