有没有一种方法可以证明字符串转换的不规则性？

有许多不同的模型来定义语言之间的转换。我最熟悉的两个是有限状态转换器和MSO可定义的字符串图转换。我们知道2向有限状态换能器（比1向相对性换能器更具表现力）和MSO可定义的字符串转换以及使用组合器的其他一些鲜为人知的模型捕获同一组转换。此类转换被认为是常规的，因此如果您可以使用这些模型之一对其进行描述，则很容易表明该转换是常规的。

是否有一种直截了当的方式来说明转换不在本课程之外？我正在寻找类似于常规语言或Myhill-Nerode定理的泵入引理，但对于字符串转换。

您的问题尚未完全明确：您将如何开始进行转换？例如，如果您假设转换是由图灵机提供的，那么显然没有算法来确定其是否为常规转导。

但是，您似乎要问的是字符串转导是否具有“与机器无关”的特征（例如，Myhill-Nerode）。

虽然我一般都不知道这种特征（我很确定没有这样的特征），但是Bojnaczyk开发的带有原始信息的弦传感器具有这种特征。

您可以从这里开始。