Câu hỏi được gắn thẻ «buchi-automata»

Đó 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 

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 

Tôi đang xem xét một số lưu ý về automata cây và tôi đang cố gắng kết luận một bằng chứng cho thấy giáo sư chưa hoàn thành. Tuyên bố là: Đặt và . Chứng minh rằng không thể nhận ra Buchi.A={a,b}A={a,b}A = \{a,b\}T={t∈TωA∣every path in t contains a finite …

7 automata  trees  buchi-automata