이 재 작성 시스템에서 문자열을 도출 할 수 있습니까?

재 작성 시스템은 형식의 규칙 집합입니다 . 우리는 문자열에 해당 규칙을 적용하면 우리는 어떤 문자열 대체 에 하위 문자열과 반대 및 부사장. $A \leftrightarrow B$ $w$ $A$ $w$ $B$

시작 문자열 $AAABB$ 가 주어지면 다음 규칙을 사용하여 시스템에서 $BAAB$ 를 파생시킬 수 있습니다 .

그것에 대한 일반적인 알고리즘이 있습니까?

computability term-rewriting

— 다닐
소스

이 질문에 태그를 더 추가하거나 더 멋지게 보이도록 규칙 세트를 변경할 수 있다면 감사하겠습니다.

— Daniil

@JD 나는 당신이 TM에서 이러한 재 작성 시스템 및 유도 문제 == 정지 문제와 튜링 기계를 모델링 할 수 있기 때문에 일반적으로,이 재 작성 문제가 해결 될 수없는, 생각

— 다닐

@JD 아, 이해가 되네요. 감사합니다.

— Daniil

@Daniil 및 향후 독자 : 사용 가능한 결정 불가능한 문제는 Post 대응 문제 입니다.

— jmad

이것은 본질적으로 Markov의 알고리즘 아이디어입니다.

— vonbrand

개수의 패리티는 변경되지 않습니다. 한 문자열은 홀수 와 다른 짝수를 포함하기 때문에 도달 할 수 없습니다. $A$ $A$

나는 일반적으로 (당신의 특정 예제가 아닌 임의의 규칙 집합에 대해) 이것이 결정 불가능한 문제 일 것이라고 생각합니다. 변환이 단방향 (예 : 형식 규칙 ) 인 경우에는 그렇습니다 (예 : 태그 시스템) . $A \to BA$

— 아리 아바타
소스

예, IIRC, 특정 재 작성 규칙 세트로 TM을 모델링 할 수 있기 때문에 결정 불가능합니다.

— Daniil