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

এটা একটা পরিচিত সত্য যে প্রতি 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 

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

10 logic  automata  linear-temporal-logic  buchi-automata