ใน ทาง คอมพิวเตอร์โปรแกรมตรวจสอบไวยากรณ์คือโปรแกรมหรือส่วนหนึ่งของโปรแกรม ที่พยายามตรวจสอบความถูกต้องทางไวยากรณ์ ของข้อความที่เขียน โปรแกรมตรวจสอบไวยากรณ์มักถูกรวมไว้เป็นฟีเจอร์หนึ่งของโปรแกรมขนาดใหญ่ เช่น โปรแกรมประมวลผลคำ แต่ก็มีให้ใช้งานในรูปแบบ แอป พลิเคชัน แบบสแตนด์อะโลนที่สามารถเปิดใช้งานได้จากภายในโปรแกรมที่ทำงานกับข้อความที่แก้ไขได้

การนำระบบตรวจสอบไวยากรณ์มาใช้จะใช้ การประมวลผล ภาษาธรรมชาติ^{[ 1 ] [ 2 ]}

โปรแกรม "ตรวจสอบไวยากรณ์" รุ่นแรกๆ เป็นโปรแกรมที่ตรวจสอบเครื่องหมายวรรคตอนและความไม่สอดคล้องกันของรูปแบบการเขียน มากกว่าที่จะตรวจสอบข้อผิดพลาดทางไวยากรณ์ทั้งหมดที่เป็นไปได้ ระบบแรกเรียกว่าWriter's Workbenchและเป็นชุดเครื่องมือการเขียนที่รวมอยู่ใน ระบบ Unixมาตั้งแต่ทศวรรษ 1970 ^{[ 3 ] [ 4 ]} แพ็ก เกจ Writer's Workbenchทั้งหมดประกอบด้วยเครื่องมือแยกต่างหากหลายอย่างเพื่อตรวจสอบปัญหาการเขียนต่างๆ เครื่องมือ "diction" ตรวจสอบวลีที่เยิ่นเย้อ ซ้ำซาก จำเจ หรือใช้ผิดในข้อความ เครื่องมือนี้จะแสดงรายการวลีที่น่าสงสัยและให้คำแนะนำในการปรับปรุงการเขียน เครื่องมือ "style" วิเคราะห์รูปแบบการเขียนของข้อความที่กำหนด โดยจะทำการทดสอบความสามารถในการอ่านหลายอย่างกับข้อความและแสดงผลลัพธ์ พร้อมทั้งให้ข้อมูลทางสถิติเกี่ยวกับประโยคในข้อความ

บริษัท Aspen Software จากเมืองอัลบูเคอร์คี รัฐนิวเม็กซิโกได้วางจำหน่ายโปรแกรมตรวจสอบการสะกดคำและรูปแบบการเขียนสำหรับคอมพิวเตอร์ส่วนบุคคลรุ่นแรกสุดชื่อ Grammatikในปี 1981 Grammatikมีให้ใช้งานครั้งแรกบนคอมพิวเตอร์Radio Shackรุ่นTRS-80และในไม่ช้าก็มีเวอร์ชันสำหรับCP/MและIBM PC บริษัทReference Software Internationalจากเมืองซานฟรานซิสโก รัฐแคลิฟอร์เนีย ได้เข้าซื้อกิจการ Grammatikในปี 1985 การพัฒนาGrammatik ยังคงดำเนินต่อไป จนกระทั่งกลายเป็นโปรแกรมตรวจสอบไวยากรณ์ที่สามารถตรวจจับข้อผิดพลาดในการเขียนได้มากกว่าแค่การตรวจสอบรูปแบบ การเขียนทั่วไป

โปรแกรมตรวจสอบสำนวนและรูปแบบการเขียนในยุคแรกอื่นๆ ได้แก่Punctuation & Style , Correct Grammar , RightWriterและPowerEdit ^{[ 5 ]} แม้ว่าโปรแกรมในยุคแรกทั้งหมดจะเริ่มต้นจากการเป็นโปรแกรมตรวจสอบสำนวนและรูปแบบการเขียนแบบง่ายๆ แต่ในที่สุดทุก โปรแกรมก็ได้เพิ่มการประมวลผลภาษาในระดับต่างๆ และพัฒนาความสามารถในการตรวจสอบไวยากรณ์ที่แท้จริงในระดับหนึ่ง

จนถึงปี 1992 โปรแกรมตรวจสอบไวยากรณ์ถูกจำหน่ายเป็นโปรแกรมเสริม มีโปรแกรมประมวลผลคำมากมายหลายแบบให้เลือกใช้ในเวลานั้น โดยWordPerfectและMicrosoft Wordเป็นสองโปรแกรมที่มีส่วนแบ่งการตลาดสูงสุด ในปี 1992 ไมโครซอฟต์ตัดสินใจเพิ่มฟังก์ชันตรวจสอบไวยากรณ์ลงใน Word และได้ซื้อลิขสิทธิ์ CorrecText ซึ่งเป็นโปรแกรมตรวจสอบไวยากรณ์จากHoughton Mifflinที่ยังไม่ได้วางจำหน่ายเป็นผลิตภัณฑ์แบบสแตนด์อโลน WordPerfect ตอบโต้การเคลื่อนไหวของไมโครซอฟต์โดยการเข้าซื้อกิจการ Reference Software และโปรแกรมที่พัฒนาต่อยอดมาจากGrammatikก็ยังคงรวมอยู่ใน WordPerfect จนถึงปัจจุบัน

ณ ปี 2019 ระบบตรวจสอบไวยากรณ์ถูกสร้างขึ้นในระบบต่างๆ เช่น^Google Docsส่วนขยายเบราว์เซอร์ เช่นGrammarlyและQordobaแอปพลิเคชันบนเดสก์ท็อป เช่นGingerซอฟต์แวร์โอเพนซอร์สฟรีเช่นLanguageTool [ ^{6 ]}และปลั๊กอินแก้ไขข้อความ เช่น ที่มีให้จาก WebSpellChecker Software

โปรแกรมตรวจสอบรูปแบบการเขียนรุ่นแรกๆ จะตรวจสอบคำฟุ่มเฟือย คำ ซ้ำซากคำจำเจหรือวลีที่ใช้ผิดในข้อความ กระบวนการนี้อาศัยการจับคู่รูปแบบอย่าง ง่าย หัวใจสำคัญของโปรแกรมคือรายการวลีหลายร้อยหรือหลายพันวลีที่ผู้เชี่ยวชาญหลายคนมองว่าเป็นการเขียนที่ไม่ดี รายการวลีที่น่าสงสัยนั้นรวมถึงคำพูดทางเลือกสำหรับแต่ละวลีด้วย โปรแกรมตรวจสอบจะแบ่งข้อความออกเป็นประโยค ตรวจสอบการจับคู่ในพจนานุกรมวลี ทำเครื่องหมายวลีที่น่าสงสัย และแสดงคำพูดทางเลือก โปรแกรมเหล่านี้ยังสามารถทำการตรวจสอบเชิงกลบางอย่างได้ ตัวอย่างเช่น โดยทั่วไปแล้วจะทำเครื่องหมายคำที่ซ้ำกัน เครื่องหมายวรรคตอนที่ซ้ำกัน ข้อผิดพลาด ในการใช้ตัวพิมพ์ใหญ่ บางอย่าง และข้อผิดพลาดเชิงกลง่ายๆ อื่นๆ

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

โปรแกรมตรวจสอบไวยากรณ์จะค้นหาประโยคแต่ละประโยคในข้อความ ค้นหาความหมายของแต่ละคำในพจนานุกรม แล้วพยายามแยกประโยคให้เป็นรูปแบบที่ตรงกับหลักไวยากรณ์ โดยใช้กฎต่างๆ โปรแกรมสามารถตรวจจับข้อผิดพลาดต่างๆ ได้ เช่น ความสอดคล้องของกาลจำนวนคำเรียงลำดับและอื่นๆ นอกจากนี้ยังสามารถตรวจจับปัญหาด้านรูปแบบการเขียนได้อีกด้วย ตัวอย่างเช่น คู่มือการเขียนที่เป็นที่นิยมบางเล่ม เช่นThe Elements of Styleไม่แนะนำให้ใช้ประโยคกรรมวาจก มากเกินไป โปรแกรมตรวจสอบไวยากรณ์อาจพยายามระบุประโยคกรรมวาจกและแนะนำประโยคกริยาที่เป็นทางเลือก

องค์ประกอบซอฟต์แวร์ที่จำเป็นสำหรับการตรวจสอบไวยากรณ์มีความเกี่ยวข้องอย่างใกล้ชิดกับประเด็นการพัฒนาบางประการที่ต้องได้รับการแก้ไขสำหรับ ซอฟต์แวร์ การรู้จำเสียงพูดในการรู้จำเสียงพูด การวิเคราะห์โครงสร้างประโยคสามารถใช้เพื่อช่วยคาดเดาว่าคำใดน่าจะเป็นคำที่ผู้พูดตั้งใจจะพูดมากที่สุด โดยพิจารณาจากส่วนของคำพูดและตำแหน่งในประโยค ในการตรวจสอบไวยากรณ์ การวิเคราะห์โครงสร้างประโยคจะใช้เพื่อตรวจจับคำที่ไม่เป็นไปตามหลักไวยากรณ์ที่ยอมรับกัน

เมื่อไม่นานมานี้ งานวิจัยได้มุ่งเน้นไปที่การพัฒนาอัลกอริธึมที่สามารถตรวจจับข้อผิดพลาดทางไวยากรณ์โดยพิจารณาจากบริบทของคำรอบข้าง

โปรแกรมตรวจสอบไวยากรณ์ถือเป็น เครื่องมือช่วยเขียนภาษาต่างประเทศประเภทหนึ่งที่ผู้พูดภาษาอื่นที่ไม่ใช่เจ้าของภาษาสามารถใช้เพื่อตรวจทานงานเขียนของตนได้ เนื่องจากโปรแกรมเหล่านี้พยายามระบุข้อผิดพลาดทางไวยากรณ์^{[ 7 ]}อย่างไรก็ตาม เช่นเดียวกับเครื่องมือช่วยเขียนด้วยคอมพิวเตอร์อื่นๆ เช่นโปรแกรมตรวจสอบการสะกดคำโปรแกรมตรวจสอบไวยากรณ์ที่เป็นที่นิยมมักถูกวิพากษ์วิจารณ์เมื่อไม่สามารถตรวจจับข้อผิดพลาดและระบุข้อความที่ถูกต้องว่าเป็นข้อผิดพลาดอย่างไม่ถูกต้อง นักภาษาศาสตร์Geoffrey K. Pullumโต้แย้งในปี 2007 ว่าโดยทั่วไปแล้วโปรแกรมเหล่านี้ไม่แม่นยำมากจนก่อให้เกิดผลเสียมากกว่าผลดี: "โดยส่วนใหญ่ การยอมรับคำแนะนำของโปรแกรมตรวจสอบไวยากรณ์คอมพิวเตอร์เกี่ยวกับงานเขียนของคุณจะทำให้งานเขียน แย่ลง มากบางครั้งก็อ่านไม่รู้เรื่องอย่างน่าขบขัน" ^{[ 8 ]}

• โปรแกรมตรวจสอบการสะกดคำ
• ไวยากรณ์การเชื่อมโยง