我正在寻找以下问题的名称和有效解决方案:假设我有一个字符串s='abcdef'
和一组查找/替换规则Pn
P1: ab -> xy
P2: xyc -> 123
P3: ef -> ab
依次将这些规则应用于s
我可以得到以下字符串:
1. xycdef
2. 123def
3. 123dab
4. 123dxy
我的目标是达到一个“稳定”状态,其中所有(大多数?)规则都已应用(此处:)123dxy
。
所以我的问题是,是否有一种定义明确的方法来处理这类问题?规则上是否存在避免无限循环的一般约束(例如,ab -> xy
,xy -> ab
)。有没有办法确定最大迭代次数的界限?
任何指向相关概念/相关工作的指针都表示赞赏。