Là sự bình đẳng của hai DFA là một vấn đề có thể quyết định?

11

Vì vậy, đưa ra hai DFA, vấn đề tìm kiếm nếu chúng tạo ra cùng một ngôn ngữ là một vấn đề có thể quyết định?

Tôi đã biết rằng Bình đẳng của hai CFL là không thể quyết định

Nhưng những gì về Bình đẳng của hai DFA? xem xét hầu hết các vấn đề với DFA là có thể quyết định, điều này có thể quyết định được không?

— Richard Jones
nguồn

1

Có, nó có thể quyết định trong thời gian tuyến tính drona.csa.iisc.ernet.in/~deepakd/atc-common/ Kẻ

— abc

1

Chào mừng bạn đến với Khoa học máy tính! Bạn đã thử những gì? Bạn bị kẹt ở đâu? Chúng tôi không muốn chỉ đưa cho bạn giải pháp; chúng tôi muốn bạn có được sự hiểu biết Tuy nhiên, vì chúng tôi không biết vấn đề tiềm ẩn của bạn là gì, vì vậy chúng tôi không thể bắt đầu giúp đỡ. Xem ở đây để biết lời khuyên về việc đặt câu hỏi về các vấn đề tập thể dục. Nếu bạn không chắc chắn làm thế nào để cải thiện câu hỏi của mình, tại sao không hỏi xung quanh trong Trò chuyện Khoa học Máy tính ?

— Raphael

22

$A_1,A_2$ $A_\Delta$ $L(A_1) \Delta L(A_2) := (L(A_1) \setminus L(A_2)) \cup (L(A_2) \setminus L(A_1))$ $L(A_\Delta) = \emptyset$

$A_\Delta$ $(F_1 \times \overline{F_2}) \cup (\overline{F_1} \times F_2)$

$L(A_\Delta)$

— Yuval Filmus
nguồn

3

$D_1$ $D_2$ $D_1$ $D_2$ $D_1$ $D_2$

$D_1$ $D_2$

— fade2black
nguồn

1

Tôi tin rằng bạn đang kết hợp "sự tương đương" của các DFA và sự bình đẳng của họ.

— einpoklum

@einpoklum có, tôi sử dụng thuật ngữ "bình đẳng" như một từ đồng nghĩa của "tương đương" vì OP sử dụng thuật ngữ "Bình đẳng".

— fade2black

2

Hai người không giống nhau, mặc dù. Ngay cả sau khi giảm thiểu, automata không bằng nhau . Tuy nhiên, chúng ta biết chúng là đẳng cấu, điều này chắc chắn có thể quyết định (nếu có khả năng khó hơn bình đẳng).

— Raphael