置换机（M-Substitution machine）是指一种形式化的计算模型，它是由一个有限个状态和一定规则组成的。该模型的基本操作是将符号串中的某个子串替换为另一个符号串，并在不断地重复此操作的过程中，得到一个最终的符号串。

置换机最初是由荷兰数学家M.P. Schützenberger在20世纪50年代提出的，其研究对象是一类特殊的形式语言，并在计算机科学中得到广泛应用。在计算理论的研究中，置换机被广泛应用于研究自动机、形式语言、算法和计算复杂性等领域。

在置换机的应用中，最常见的是使用置换机进行文本处理和语言翻译。比如，我们可以使用置换机将一段英文文本翻译成中文，或者将中文翻译成其他语言。此外，置换机还可以用于密码学中的密码破解、图像处理中的图像变换、自然语言处理中的语法分析等领域。

总之，置换机是一种重要的计算模型，它可以用于各种领域的计算和处理，其理论和应用价值都非常高。