ในวิทยาการคอมพิวเตอร์เชิงทฤษฎีและทฤษฎีภาษาเชิงรูปธรรม การหาค่าเติมเต็ม ( complementation ) เป็นปัญหาการคำนวณที่ใช้กับออโตมาตาออโตมาตาเป็นเครื่องจักรนามธรรมที่ตรวจสอบคุณสมบัติของอินพุต และยอมรับ (ถ้าคุณสมบัติได้รับการตรวจสอบ) หรือปฏิเสธ (ถ้าคุณสมบัติไม่ได้รับการตรวจสอบ) ค่าเติมเต็มของออโตมาตาคือออโตมาตาอีกตัวหนึ่งที่ยอมรับสิ่งที่อีกตัวหนึ่งปฏิเสธ และในทางกลับกัน กล่าวคือ ออโตมาตาAกำหนดภาษาเชิงรูปธรรมLที่ประกอบด้วยอินพุตที่A ยอมรับ และการหาค่าเติมเต็มคือปัญหาการคำนวณออโตมา ตา "ค่าเติมเต็ม" ที่รู้จักคำที่ไม่อยู่ในL อย่างแม่นยำ กล่าว คือค่าเติมเต็มของL

ในการวิจัยทฤษฎีออโตมาตา มีการศึกษาคำถามหลายข้อเกี่ยวกับการดำเนินการเติมเต็ม เช่น:

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

ด้วยออโตมาตาจำกัดแบบไม่กำหนด ความซับซ้อน ของสถานะของออโตมาตาเสริมอาจเป็นเลขชี้กำลัง^{[ 2 ]}ขอบเขตล่างยังเป็นที่รู้จักในกรณีของ ออโต มาตาที่ไม่กำกวม^{[ 3 ]}

การเติมเต็มยังได้รับการศึกษาสำหรับ ออ โตมาตาแบบสองทาง ด้วย ^{[ 4 ​​]}