ในวิทยาการคอมพิวเตอร์ออโตมาตาแบบกำหนดได้คือแนวคิดของทฤษฎีออโตมาตาที่ผลลัพธ์ของการเปลี่ยนจากสถานะ หนึ่ง ไปยังอีกสถานะหนึ่งถูกกำหนดโดยอินพุต^{[ 1 ] : 41}

ออโตมาตาเชิงกำหนดทั่วไปคือออโตมาตาจำกัดเชิงกำหนด (DFA) ซึ่งเป็นเครื่องสถานะจำกัด โดยที่สำหรับแต่ละคู่ของสถานะและสัญลักษณ์อินพุตจะมีการเปลี่ยนสถานะไปยังสถานะถัดไปเพียงหนึ่งเดียวเท่านั้น DFA รู้จักเซตของภาษาปกติและไม่มีภาษาอื่น^{[ 1 ] : 52}

วิธีมาตรฐานในการสร้างออโตมาตาจำกัดแบบกำหนดได้จากออโตมาตาจำกัดแบบไม่กำหนดได้คือการสร้างเซตกำลัง^{[ 1 ] : 44}