در نظریه اتوماتا، ماشین جایگشت یا ماشین pure-group یک ماشین تعیین پذیر حالات متناهی است. به طوری که هر نماد ورودی جایگشت مجموعه ای از حالت هاست. به عبارت دیگر DFA A را ممکن است با چند تایی (Q, Σ, δ, q0, F) نمایش دهند که Q مجموعهٔ وضعیت های ماشین، Σ مجموعهٔ نمادهای ورودی، δ تابع انتقال که وضعیت q و نماد ورودی x را می گیرد و q را به وضعیت جدید (δ(q,x انتقال می دهد. q0 وضعیت شروع ماشین است؛ و F مجموع...