เราอธิบายว่าภาษาทางการคืออะไร ลักษณะ ตัวอย่าง และประเภท ยังแตกต่างกับภาษาธรรมชาติ
ภาษาที่เป็นทางการถูกจัดระเบียบโดยกฎการรวมกันที่จำกัดภาษาทางการคืออะไร?
ใน การคำนวณ และวิทยาการสารสนเทศ เมื่อเราอ้างถึงภาษาที่เป็นทางการแทนที่จะเป็นภาษาธรรมชาติ เราหมายถึงระบบเหล่านั้นของ ป้าย กอปรด้วยสัญลักษณ์ดั้งเดิมและระบบกฎการใช้งานที่กำหนดไว้อย่างเป็นทางการ กล่าวคือ กอปรด้วย ตัวอักษร และของ a ไวยากรณ์ (หรือ ไวยากรณ์) เป็นทางการ:
- ตัวอักษรเป็นที่เข้าใจกันว่าเป็นชุดสัญลักษณ์ดั้งเดิมที่มีขอบเขตและไม่ว่างเปล่า
- ไวยากรณ์ที่เป็นทางการเป็นที่เข้าใจกันว่าเป็นชุดของกฎการรวมตัวของตัวอักษรดังกล่าวเพื่อสร้างห่วงโซ่ จำกัด ที่มีความหมายเฉพาะ
ซึ่งแตกต่างจากภาษาธรรมชาติที่เกิดขึ้นจากความต้องการในการสื่อสารของมนุษย์ ซึ่งกฎเกณฑ์นั้นซับซ้อนและคลุมเครือ และความหมายก็ขึ้นอยู่กับการตีความของ สัญญาณภาษาศาสตร์. ด้วยเหตุนี้ ภาษาธรรมชาติจึงซับซ้อนกว่าการอ่านภาษาที่เป็นทางการซึ่ง กฎ สิ่งเหล่านี้มีขอบเขตจำกัดและกำหนดไว้ล่วงหน้า
ภาษาทางการมีความสำคัญต่อโลกของ คณิตศาสตร์ และของ การคำนวณเพราะมันทำให้เราสามารถสร้าง รหัส การสื่อสารระหว่างมนุษย์กับเครื่องจักร กล่าวคือ การเขียนโปรแกรม. เราไม่ควรสับสนภาษาทางการกับระดับภาษาอย่างเป็นทางการหรือกับ ภาษาทางการซึ่งเป็นการใช้ภาษาวาจาที่เป็นทางการ สุภาพ และเป็นทางการ ตรงข้ามกับการใช้ ภาษาพูด, ไม่เรียบร้อยและ ไม่เป็นทางการ.
ตามที่นักภาษาศาสตร์อเมริกัน Noam Chomsky (1928-) ภาษาทางการสามารถจำแนกได้เป็นสี่ประเภท:
- แบบที่ 3: ภาษาปกติที่มีไวยากรณ์ปกติ กล่าวคือ มีระบบกฎที่สามารถรับได้ด้วยนิพจน์ทั่วไป และอนุญาตให้รับสตริงสัญลักษณ์ที่เป็นไปได้ทั้งหมด
- ประเภทที่ 2: ภาษาที่ไม่ใช่บริบทที่มีไวยากรณ์ที่ไม่ใช่บริบท กล่าวคือ อนุญาตให้รับสตริงสัญลักษณ์ที่เป็นไปได้ทั้งหมด แต่ในระดับความซับซ้อนที่สูงกว่าภาษาปกติมาก
- ประเภทที่ 1: ภาษาเชิงบริบทที่มีไวยากรณ์เชิงบริบท กล่าวคือ อนุญาตให้รับสตริงของสัญลักษณ์ที่ขึ้นต่อกันตามชื่อที่ระบุของ บริบท.
- ประเภท 0: ภาษาฟรีกอปรด้วยไวยากรณ์ฟรี โดยไม่มีข้อจำกัด ซึ่งผลิตภาษาที่นับซ้ำได้
ตัวอย่างภาษาทางการ
ตัวอย่างภาษาทางการ ได้แก่
- ดิ ภาษาโปรแกรม โดยที่ ซอฟต์แวร์.
- เกมหมากรุกที่มีชิ้นส่วนจำกัดและการเคลื่อนไหวอธิบายไว้ล่วงหน้า
- รหัสมอร์สซึ่งผ่านสัญญาณสั้นและยาวประกอบ คำ Y เลขจำนวนเต็ม.
- เป็นเจ้าของ ตรรกะ สัญลักษณ์ถือเป็นภาษาที่เป็นทางการ