Pertanyaan yang diberi tag «buchi-automata»

Ini adalah fakta yang diketahui bahwa setiap formula LTL dapat diekspresikan oleh Büchi -automaton. Tetapi, tampaknya, Büchi automata adalah model yang lebih kuat dan ekspresif. Saya pernah mendengar bahwa Büchi automata setara dengan linear-time -calculus (yaitu, -calculus dengan fixpoint biasa dan hanya satu operator temporal: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Apakah ada algoritma (bukti …

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

Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

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 

Linear logika temporal dan deterministik automata Büchi yang tak tertandingi: DBA tidak bisa mengungkapkan , dan LTL tidak bisa mengungkapkan "setidaknya setiap huruf aneh adalah 'a'" . Tetapi kadang-kadang menarik untuk mengetahui apakah bahasa DBA dapat diekspresikan dalam LTL.FG aFGSebuahFGa Saya membutuhkan algoritma yang memutuskan apakah bahasa DBA yang diberikan …

10 logic  automata  linear-temporal-logic  buchi-automata