ภาษาทางการ

เราอธิบายว่าภาษาทางการคืออะไร ลักษณะ ตัวอย่าง และประเภท ยังแตกต่างกับภาษาธรรมชาติ

ภาษาที่เป็นทางการถูกจัดระเบียบโดยกฎการรวมกันที่จำกัด

ภาษาทางการคืออะไร?

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

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

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

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

ตามที่นักภาษาศาสตร์อเมริกัน Noam Chomsky (1928-) ภาษาทางการสามารถจำแนกได้เป็นสี่ประเภท:

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

ตัวอย่างภาษาทางการ

ตัวอย่างภาษาทางการ ได้แก่

  • ดิ ภาษาโปรแกรม โดยที่ ซอฟต์แวร์.
  • เกมหมากรุกที่มีชิ้นส่วนจำกัดและการเคลื่อนไหวอธิบายไว้ล่วงหน้า
  • รหัสมอร์สซึ่งผ่านสัญญาณสั้นและยาวประกอบ คำ Y เลขจำนวนเต็ม.
  • เป็นเจ้าของ ตรรกะ สัญลักษณ์ถือเป็นภาษาที่เป็นทางการ
!-- GDPR -->