置換機（M-Substitution machine）是指一種形式化的計算模型，它是由一個有限個狀態(tài)和一定規(guī)則組成的。該模型的基本操作是將符號串中的某個子串替換為另一個符號串，并在不斷地重復(fù)此操作的過程中，得到一個最終的符號串。

置換機最初是由荷蘭數(shù)學(xué)家M.P. Schützenberger在20世紀(jì)50年代提出的，其研究對象是一類特殊的形式語言，并在計算機科學(xué)中得到廣泛應(yīng)用。在計算理論的研究中，置換機被廣泛應(yīng)用于研究自動機、形式語言、算法和計算復(fù)雜性等領(lǐng)域。

在置換機的應(yīng)用中，最常見的是使用置換機進行文本處理和語言翻譯。比如，我們可以使用置換機將一段英文文本翻譯成中文，或者將中文翻譯成其他語言。此外，置換機還可以用于密碼學(xué)中的密碼破解、圖像處理中的圖像變換、自然語言處理中的語法分析等領(lǐng)域。

總之，置換機是一種重要的計算模型，它可以用于各種領(lǐng)域的計算和處理，其理論和應(yīng)用價值都非常高。