Có thể lấy được một chuỗi trong hệ thống viết lại này?

Hệ thống viết lại là một bộ các quy tắc trong các hình thức của . Nếu chúng ta áp dụng quy tắc đó cho chuỗi chúng ta sẽ thay thế bất kỳ chuỗi con trong bằng chuỗi con và ngược lại. $A \leftrightarrow B$ $w$ $A$ $w$ $B$

Cho một chuỗi bắt đầu chúng ta có thể rút ra trong hệ thống với các quy tắc sau: $AAABB$ $BAAB$

$A \leftrightarrow BA$
$BABA \leftrightarrow AABB$
$AAA \leftrightarrow AB$
$BA \leftrightarrow AB$

Có một thuật toán chung cho điều đó?

computability term-rewriting

— Daniil
nguồn

Tôi sẽ đánh giá cao nếu bạn có thể thêm nhiều thẻ vào câu hỏi này hoặc thay đổi bộ quy tắc để làm cho nó trông ngầu hơn.

— Daniil

@JD Tôi nghĩ, nói chung, vấn đề viết lại này không thể giải quyết được, bởi vì bạn có thể mô hình hóa máy Turing với một hệ thống viết lại và vấn đề phái sinh như vậy == vấn đề tạm dừng trong TM

— Daniil

@JD ah, điều đó có ý nghĩa, tôi nên đọc thêm về nó, cảm ơn!

— Daniil

@Daniil và độc giả tương lai: Vấn đề không thể giải quyết được sử dụng là vấn đề tương ứng Post .

— jmad 17/03 '

Đây thực chất là ý tưởng của Markov về thuật toán.

— vonbrand

$A$ $A$

$A \to BA$

— Aryabhata
nguồn

Vâng, IIRC, không thể tin được vì bạn có thể mô hình hóa một TM với một bộ quy tắc viết lại cụ thể.

— Daniil