สิ่งที่เป็นภาษาอย่างเป็นทางการสามารถนำมาประกอบ? ตัวอย่างของการใช้

อะไรคือภาษาที่เป็นทางการและวิธีการที่แตกต่างจากธรรมชาติ? วิธีมันถูกสร้างขึ้น? สิ่งที่เป็นภาษาอย่างเป็นทางการสามารถนำมาประกอบ? และมันถูกนำมาใช้ในการอ้างถึงเขา?

ลักษณะของภาษาอย่างเป็นทางการ

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

คำนิยาม

สิ่งที่เป็นภาษาอย่างเป็นทางการสามารถนำมาประกอบที่เรามีอยู่แล้วอธิบายสั้น ๆ แต่สิ่งที่เราสามารถพูดเกี่ยวกับพวกเขา? ภาษาที่เป็นทางการจะได้รับจำนวนมากของคำนิยามที่แตกต่างกัน รายการพวกเขาทั้งหมดก็จะออกเป็นจำนวนมากเวลาเพื่อจะดูที่นิยมมากที่สุด:

1. รายการที่เรียบง่ายของคำในภาษา - มักจะพูดเช่นนั้นด้วยความเคารพในประเภทสุดท้ายของการก่อสร้างและเกี่ยวกับคนที่มีโครงสร้างที่เรียบง่าย
2. คำที่สร้างโดยไวยากรณ์อย่างเป็นทางการบางอย่าง
3. โครงสร้างที่สร้างขึ้นโดยการแสดงออกปกติ
4. คำที่สร้างโดย BPF ออกแบบ
5. โครงสร้างที่รู้จักโดยหุ่นยนต์ จำกัด

ลองดูตัวอย่าง สมมติว่าเรามีตัวอักษรทั้งหมดได้รับสองหมายเลข 1 และ 0 ในการแสดงตัวอักษร "O" เราจะใช้การรวมกันของ 1010001. นี้คือการใช้ภาษาอย่างเป็นทางการ นอกจากนี้ยังเป็นไปได้ที่จะใช้คำที่ว่างเปล่า (เมื่อสตริงที่มีความยาวเป็นศูนย์และมีอะไร) มีการแต่งตั้งพิเศษในรูปแบบที่คุ้นเคยกับเรา แต่ในรายละเอียดมากขึ้นที่จะเข้าใจในสิ่งที่เป็นภาษาอย่างเป็นทางการช่วย 4 ตัวอย่างที่จะได้รับต่อไป มันทำอะไร? ความเข้าใจของผู้อ่านที่เป็นภาษาอย่างเป็นทางการสามารถนำมาประกอบ แต่เล็ก ๆ น้อย ๆ เกี่ยวกับวิธีที่พวกเขาจะถูกสร้างขึ้น

การก่อสร้างของภาษาอย่างเป็นทางการ

แต่ละภาษาเป็นโครงสร้างอย่างเป็นทางการที่ถูกสร้างขึ้นครั้งเดียวและคน พวกเขามักจะสร้างขึ้นบนรูปแบบเดียวกัน:

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

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

ตัวอย่างที่ 1

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

ตัวอย่างที่ 2

พิจารณาตรรกะตัวอย่างที่มีการผกผัน (ฌ) ร้าวฉาน (∧) ที่ร่วม (∨) และความหมาย (⇒) และอื่น ๆ หลาย ในบันทึกดังกล่าวของภาพที่จะได้รับเป็น:

1. ;
2. A∧V⇒ฌเฐ
3. ¬ (A∨¬S)

ในฐานะที่เป็นตัวอักษร A, B, C, แทนตัวแปรและคุณได้รับ การดำเนินการเชิงตรรกะ สถานที่ที่จะใช้ภาษาอย่างเป็นทางการของประเภทนี้หรือไม่? ใช้อย่างแพร่หลายของกลไกดังกล่าวจะพบในการเขียนโปรแกรมภาษาคณิตศาสตร์สัมพันธ์ฟังก์ชั่นตรรกะและคณิตศาสตร์หรือส่วนที่ได้รับการอธิบายโดยโปรแกรมเมอร์

ตัวอย่างที่ 3

ลองดูที่มีความซับซ้อนมากขึ้นสูตรตรรกะ:

¬ (A∨¬S) ⇔¬A∧S = 1

นั่นเป็นเหตุผลที่เราต้องภาษาอย่างเป็นทางการ ลองจินตนาการถึงสิ่งที่จะเกิดขึ้นหากมีการอธิบายไว้ในคำ? ตอนนี้ขึ้นอยู่กับสูตรที่เราได้ข้อสรุปข้อสรุป สำนวนที่มีความหมายที่สามารถรับได้ในภาษาที่เป็นทางการก็ต่อเมื่อมีกฎระเบียบบางอย่างมีความเคารพนับถือก่อนการสร้างการเปลี่ยนแปลงและ "เข้าใจ" ของสูตรและเงื่อนไขของการที่พวกเขาจะทำ:

1. สูตรระยะก่อสร้างและ;
2. การศึกษาในด้านความหมายและการตีความ;
3. ลำดับที่หนึ่งของสูตรและคำอื่น ๆ

แต่ละภาษาที่เป็นทางการควรจะจัดตั้งขึ้นรวมทั้งชุดของกฎ

ตัวอย่างที่ 4

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

ข้อสรุป

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