Khoa học máy tính automata

1

Thuật toán để dịch Büchi automaton xác định sang LTL (khi có thể)

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

1

Là sự đảo ngược của một DFA tối thiểu cũng tối thiểu?

Câu hỏi là khá nhiều trong tiêu đề. Có khi nào một ngôn ngữ có thể được chấp nhận bởi một DFA tối thiểu với n trạng thái, nhưng L R , sự đảo ngược của L , có thể được chấp nhận bởi một DFA với m trạng thái, …

10 formal-languages reference-request automata finite-automata

4

NFA với số lượng trạng thái theo cấp số nhân khi được phổ biến

Làm cách nào tôi có thể xây dựng một ví dụ về DFA có trạng thái trong đó NFA tương đương có trạng thái. Rõ ràng tập hợp trạng thái của DFA nên chứa tất cả các tập hợp con của tập hợp trạng thái của NFA, nhưng tôi không …

10 automata finite-automata

3

Điều kiện vô cùng của ngôn ngữ của một máy tự động trạng thái hữu hạn

Có một định lý nói rằng: Cho một máy tự động trạng thái hữu hạn có trạng thái, nếu tồn tại một chuỗi có độ dài thỏa mãn thì ngôn ngữ được máy tự động chấp nhận là vô hạn.nnnwwwn≤|w|≤2n−1n≤|w|≤2n−1n \leq |w| \leq 2n-1 Tôi hiểu các ràng buộc , …

9 automata finite-automata

4

Tại sao chúng ta nên nghiên cứu cả ba hình thức biểu diễn của automata hữu hạn?

DFA, NFA và epsilon NFA cả ba đều cho phép chúng tôi đại diện cho một ngôn ngữ thông thường cụ thể. Với bất kỳ biểu diễn nào chúng ta có thể đi đến cùng một biểu thức chính quy, vậy tại sao chúng ta cần nghiên cứu cả ba …

9 automata finite-automata education

3

DFA chấp nhận tất cả các chuỗi nhị phân có sức mạnh hình thức của

Chúng ta có thể hình thành DFA chấp nhận số nhị phân chia hết cho .nnn Ví dụ, DFA chấp nhận số nhị phân chia hết cho 2 có thể được hình thành như sau: Tương tự, DFA chấp nhận số nhị phân chia hết cho 3 có thể được …

9 regular-languages automata finite-automata regular-expressions

4

Các từ có cùng sản phẩm liên kết phải và trái

Tôi đã bắt đầu nghiên cứu automata không xác định bằng cách sử dụng cuốn sách Hopcroft và Ullman . Tôi bị mắc kẹt trong một vấn đề mà tôi thấy rất thú vị: Đưa ra một máy tự động hữu hạn không xác định chấp nhận tất cả các …

9 formal-languages automata regular-languages finite-automata nondeterminism

1

Điều đó có nghĩa gì khi nói rằng một ngôn ngữ được đóng lại một cách hiệu quả trong một hoạt động?

Tôi đã đọc một số bài lý thuyết ngôn ngữ chính thức và tôi đã gặp một thuật ngữ mà tôi không hiểu. Bài viết thường sẽ đề cập đến một tập hợp "được đóng một cách hiệu quả dưới giao lộ" hoặc các hoạt động khác. "Hiệu quả" nghĩa …

9 formal-languages terminology computability automata closure-properties

1

Bằng chứng đóng cửa không chính xác trong hoạt động sao sử dụng kết quả NFA trong NFA nhận ra các chuỗi không mong muốn?

Tôi hiện đang đọc cuốn sách Giới thiệu về Lý thuyết tính toán (Ed thứ 2 hoặc 3) của Michael Sipser , và đã vấp phải một câu hỏi trong Chương 1 - Ngôn ngữ thông thường , cụ thể là khi tác giả trình bày ý tưởng chứng minh …

8 regular-languages automata finite-automata nondeterminism

2

Là số vuông được viết trong nhị phân là một ngôn ngữ thông thường?

Tôi đang gặp vấn đề khi cố gắng xác định xem tất cả các số vuông (1, 4, 9, 16, ...) được viết ở dạng nhị phân (1, 100, 1001, ...) có phải là ngôn ngữ thông thường hay không. Sau một số nỗ lực tìm mô hình chung của …

8 formal-languages regular-languages automata finite-automata

2

Bất kỳ vấn đề nào được giải quyết bằng máy tự động hữu hạn đều nằm trong P

Sau lớp Lý thuyết tính toán của tôi hôm nay, câu hỏi này xuất hiện trong đầu tôi: Nếu một vấn đề có thể được giải quyết bằng một máy tự động hữu hạn, thì vấn đề này thuộc về P. Tôi nghĩ đó là sự thật, vì automata nhận …

8 complexity-theory automata finite-automata polynomial-time

3

Tại sao không đơn giản để đếm số lượng từ trong một ngôn ngữ thông thường?

Cho DFA, A, hãy để L (A) biểu thị số lượng từ A chấp nhận. Tôi nghĩ thật dễ dàng để tính L (A): Dịch mã hóa của A thành một biểu thức thông thường. Nếu ngôi sao Kleene xuất hiện ở bất cứ đâu trong biểu thức - ngôn …

8 regular-languages automata regular-expressions

3

Mối quan hệ của độ phức tạp thuật toán và lớp automata

Tôi đã không thể tìm thấy một biểu đồ mô tả hoặc văn bản trả lời câu hỏi sau: Có mối quan hệ trực tiếp giữa độ phức tạp của thuật toán (chẳng hạn như trường hợp tốt nhất / tồi tệ nhất của sắp xếp nhanh) và lớp automata …

8 complexity-theory automata reference-request complexity-classes

2

Giảm thiểu tự động hữu hạn xác định không có trạng thái chấp nhận

Tôi có một máy tự động hữu hạn không có trạng thái cuối cùng / chấp nhận, vì vậy F trống. Làm thế nào để tôi giảm thiểu nó? Tôi đã đạt được điều này trong một bài kiểm tra và tôi không biết cách tiếp cận vấn đề vì …

8 automata finite-automata

5

Có thể giảm thiểu automata đẩy xuống?

Có thể giảm thiểu automata đẩy xuống? Nếu không, tại sao? Có phải vì để giảm thiểu các lớp tương đương cần phải có một chỉ số hữu hạn và chúng tôi không thể đảm bảo điều đó cho CFG?

8 computability automata pushdown-automata

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