是否可以在此重写系统中派生字符串？

重写系统是在的形式的一组规则。如果我们将该规则应用于字符串我们更换任何子在与子，反之亦然。 $A \leftrightarrow B$ $w$ $A$ $w$ $B$

给定起始字符串 $AAABB$ ，我们可以使用以下规则在系统中派生 $BAAB$ ：

是否有通用的算法？

computability term-rewriting

— 丹尼尔
source

如果您可以为这个问题添加更多标签，或者更改规则集使其看起来更酷，我将不胜感激。

— 丹尼尔（Daniil）2012年

@JD我认为，一般而言，无法解决此重写问题，因为您可以使用这样的重写系统对图灵机进行建模，并且派生问题==在TM中暂停问题

— Daniil 2012年

@JD啊，这很有意义，我应该多读一些，谢谢！

— 丹尼尔（Daniil）2012年

@Daniil和未来的读者：所使用的无法确定的问题是邮政信件问题。

— jmad 2012年

这本质上是马尔可夫的算法思想。

— vonbrand

请注意， s 的奇偶校验不变。由于一个字符串包含一个奇数，另一个包含偶数，因此无法访问它们。 $A$ $A$

我相信一般而言（对于一组任意规则，而不是您的特定示例），这可能是一个无法确定的问题。如果转换是一种方式（即形式规则），则是这样，例如，请参见：标记系统。 $A \to BA$

— Aryabhata
source

是的，IIRC，这是无法确定的，因为您可以使用一组特定的重写规则对TM进行建模。

— 丹尼尔（Daniil）2012年