Câu hỏi được gắn thẻ «linear-temporal-logic»

Đó là một thực tế được biết rằng tất cả các công thức LTL có thể được thể hiện bằng một Buchi -automaton. Nhưng, rõ ràng, Büchi automata là một mô hình mạnh mẽ hơn, biểu cảm hơn. Tôi đã nghe đâu đó rằng Buchi automata tương đương với tuyến …

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

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

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 

Để tìm sự khác biệt, tôi chỉ gặp phải các xác nhận bên dưới về logic thời gian trong Wikipedia : một biến thể khác của logic phương thức chia sẻ nhiều đặc điểm chung với logic động, khác với tất cả các logic đã đề cập ở trên bởi …

12 logic  linear-temporal-logic  temporal-logic 

Logic thời gian tuyến tính và Büchi automata xác định là không thể so sánh được: DBA không thể biểu thị và LTL không thể biểu thị "ít nhất mỗi chữ cái lẻ là 'a'" . Nhưng đôi khi thật thú vị khi biết liệu ngôn ngữ của một DBA …

10 logic  automata  linear-temporal-logic  buchi-automata 

Được biết, các logic thời gian LTL, CTL, CTL * có thể được dịch / nhúng vào -calculus. Nói cách khác, (phương thức) -calculus bao gồm các logic này, (nghĩa là nó có ý nghĩa hơn.)μμ\muμμ\mu Bạn có thể vui lòng giải thích / chỉ cho tôi các giấy tờ …

9 logic  simulation  linear-temporal-logic  mu-calculus  computation-tree-logic