แปล Lingu ชวา

บทคัดย่อเอกสารนี้จะอธิบายวิธีการติดตั้ง (การติดตั้ง) และการใช้ซอฟแวร์ (ซอฟแวร์หรือโปรแกรม) แปล Lingu การเขียนโปรแกรมภาษาจาวา. Lingu ภาษาสเปฐานข้อมูลการออกแบบโปรแกรมที่สามารถตรวจสอบได้. ภาษานี้ได้รับการพัฒนาเป็นส่วนหนึ่งของ RUT นานาชาติ (วิถีทาง) UI Fasilkom, ดูไวยากรณ์ (ไวยากรณ์) สิ่งที่แนบมาของเขา

A. . ภาษาเป็นเรื่องง่ายที่จะอนุญาตให้ผู้ใช้ที่จะให้ข้อมูลโปรแกรมนั้นจะสามารถตรวจสอบ / ตรวจสอบความจริง. แต่ภาษานี้ไม่สามารถรวบรวมเพื่อสร้างผลลัพธ์ที่สามารถนำมาใช้. สำหรับ Lingu ที่พัฒนาขึ้นสำหรับล่าม Java เพื่อให้ได้ผลลัพธ์ที่สามารถใช้สเปคซึ่งเป็นตัวแทนใน Lingu ภาษา. ก่อน, MuPL2Java แปลได้รับการพัฒนาด้วยความตั้งใจที่คล้ายกัน. จากผลการวิจัยที่ดำเนินการ, MuPL พัฒนาต่อไปเป็น Lingu ด้านความเรียบง่ายของการตรวจสอบ. เทคนิคการพัฒนา MuPL2Java, การพัฒนาโดยใช้ JLex และ Javacup, แตกต่างจาก Lingu แปล Java ที่ใช้แอตทริบิวต์เทคนิคไวยากรณ์ UUAG. บทนำโดยทั่วไป, แปลเป็​​นกระบวนการที่จะเปลี่ยนรูปร่าง, คือจากรูปแบบหนึ่งไปสู่​​รูปแบบที่แตกต่างกัน. ในแง่ภาษาศาสตร์, แปลเป็​​นเรื่องที่เกี่ยวข้องอย่างใกล้ชิดกับการเปลี่ยนแปลงของภาษาให้เป็นภาษาอื่น, เพื่อรักษาความหมายที่มีอยู่ในภาษาที่แปล. นักแสดงในการแปลที่เรามักหมายถึงการเป็นล่าม. ระยะสามารถอ้างถึงนักแปลและเครื่องมืออัตโนมัติที่มนุษย์สร้างขึ้นโดยมนุษย์.

1 เป็นส่วนหนึ่งของโครงการ IRUT ครั้งที่สองปี 2003, ได้รับการสนับสนุนจากกระทรวงเทคโนโลยีและการวิจัย, สาธารณรัฐอินโดนีเซีย
แปลไม่ได้เป็นงานที่น่ารำคาญ, ทำได้ดีโดยมนุษย์หรือเครื่องมือ. เพื่อผลิตผลการแปลที่ถูกต้อง, กฎระเบียบที่เกี่ยวข้องกับขั้นตอนที่จำเป็นสำหรับการแปลที่จะทำ. กฎเหล่านี้มีความสัมพันธ์อย่างใกล้ชิดกับภาษาที่จะแปลและภาษาที่จะถูกสร้างขึ้น. ต่อไป, เราจะอ้างถึงภาษาที่สองเป็นภาษาแหล่งที่มาและภาษาเป้าหมาย. ที่จะได้รับผลที่ถูกต้อง, มีด้านที่จำเป็นต้องได้รับการพิจารณา. เป็นพื้น, ด้านที่สำคัญของการแปลประกอบด้วยไวยากรณ์และความหมายของแต่ละภาษาแหล่งที่มาและภาษาเป้าหมาย. ไวยากรณ์กำหนดกฎระเบียบเกี่ยวกับวิธีการที่มันเป็นภาษาเขียนหรือใช้, ในขณะที่ความหมายให้ความหมายของภาษา. ในการเชื่อมต่อกับภาษาการเขียนโปรแกรม, ไวยากรณ์กำหนดกฎระเบียบที่เข้มงวดและเข้มงวดเกี่ยวกับวิธีการที่เราสร้างภาษาเช่น. ภาษาที่ไม่ได้รับอนุญาตให้มีความหมายที่ไม่ชัดเจน, ที่ประโยคในภาษาใดภาษาหนึ่งอาจมีเพียงหนึ่งและมีเพียงหนึ่งความหมาย. Oleh karena itu, เราได้รับความหมายประโยคที่ไม่ซ้ำกันสำหรับแต่ละที่ไม่ซ้ำกัน. ในทางกลับกัน, ภาษาของการสื่อสารเช่น: อังกฤษ, Bahasa Indonesia, ฯลฯ, มีความยืดหยุ่นมากขึ้นในโรงเรียนมัธยม. ถึงแม้ว่าเราจะละเมิดกฎระเบียบบางอย่างของไวยากรณ์ภาษาในการสื่อสาร, บางครั้งก็เป็นไปได้ที่จะเข้าใจความหมายของประโยค. นี่คือเหตุผลที่ภาษาของการสื่อสารที่เป็นที่รู้จักกันเป็นภาษาที่ไม่ชัดเจน, ที่รับรู้ของประโยคระหว่างฝ่ายหนึ่งกับอีกฝ่ายหนึ่งสามารถแตกต่างกัน. ดังนั้น, เราต้องเข้าใจไวยากรณ์และความหมายของแต่ละภาษาในเชิงลึกก่อนที่เราจะสามารถแปล. ขั้นตอนแรกในการแปลคือการเข้าใจความหมายของสิ่งที่เราต้องการที่จะแปล. ขั้นตอนนี้จะทำโดยการจับคู่รายการที่มีอยู่กับไวยากรณ์และความหมายของภาษาต้นฉบับ. จากนั้นความหมายที่ได้รับการเรียบเรียงเป็นภาษาเป้าหมายโดยไวยากรณ์ของภาษาเป้าหมายเพื่อเป็นตัวแทนของความหมายที่สอดคล้องกัน. ขั้นตอนนี้ต้องทำอย่างระมัดระวังในการผลิตความหมายเหมือนกันระหว่างภาษาแหล่งที่มาและภาษาเป้าหมาย. แปล Lingu เพื่อ Lingu Java เป็นภาษาระดับสูงที่มุ่งเน้นไปที่ฐานข้อมูลการทำธุรกรรม. แต่, เมื่อเทียบกับภาษา SQL, Lingu ภาษาที่เรียบง่ายและแตกต่างจากวิธีการของการเขียน. แต่, Lingu มีคุณสมบัติหลายอย่างที่ถือได้ว่าเป็นทางเลือกที่น่าสนใจ, antara lain: 1. Lingu ภาษานามธรรมที่ช่วยให้ตรรกะในการ Lingu ในระดับที่สูง. 2. Lingu เป็นภาษาที่มีขนาดเล็กและเรียบง่าย. ด้วยความเรียบง่าย Lingu, ภาษานี้เป็นเรื่องง่ายที่จะใช้.

3. Lingu มีการสนับสนุนสำหรับการทดสอบและการตรวจสอบ. นี้จะช่วยให้ตัวเลือกในการรักษาโปรแกรมตามมาตรฐานที่สร้างขึ้นด้วยฟังก์ชั่นที่กำหนดไว้. 4. Lingu สามารถตรวจสอบได้โดยการสร้างเงื่อนไขในการตรวจสอบที่สามารถพิสูจน์ได้โดยการใช้เครื่องมือในการพิสูจน์ทฤษฎี (ทฤษฎีบท Prover). สิ่งอำนวยความสะดวกที่มีให้ Lingu อนุญาตให้ใช้เป็นพื้นฐานสำหรับรายละเอียดของระบบ. ด้วยความสามารถในการตรวจสอบและทดสอบ Lingu, การดำเนินงานของระบบ, ธรรมชาติที่สำคัญโดยเฉพาะอย่างยิ่ง, สามารถรับประกันความถูกต้อง. แต่, Lingu เป็นภาษาที่ไม่สามารถดำเนินการ. Oleh karena itu, Lingu จำเป็นการเปลี่ยนแปลงของภาษาในระดับนามธรรมของภาษาที่เป็นรูปธรรม, คือโปรแกรมคอมพิวเตอร์. Java จะมาเป็นภาษาเป้าหมายของทางเลือกสำหรับผลการเปลี่ยนแปลง Lingu. การพัฒนาความคิด Lingu แปล Java เป็นโดยอัตโนมัติการเปลี่ยนแปลงของภาษา Java เป็นภาษา Lingu. Lingu สามารถนำมาใช้ในการตรวจสอบโปรแกรมที่จะสร้าง. โดยใช้นักแปล Lingu ชวา, รายละเอียดที่ได้รับการพิสูจน์อาจถูกสร้างโปรแกรม Java. จะเป็นการดี, โปรแกรมดังกล่าวจะไม่ถูกจับจ้องอยู่ที่การเรียนการสอนภาษา Java. ระบบโฟกัสถือตามข้อกำหนดเขียนใน Lingu แล้วสามารถรับรู้ในความหลากหลายของการเขียนโปรแกรมภาษาเป็นรูปแบบที่เป็นรูปธรรมสอดคล้องกับความต้องการ. แปล Lingu ชวาได้รับการพัฒนาโดยใช้ระบบที่ UUAG เครื่องมือ. UUAG ระบบไวยากรณ์แอตทริบิวต์ที่ผลิตโดยมหาวิทยาลัยอูเทรกต์. ระบบจะช่วยให้การพัฒนาโปรแกรมที่อยู่ในกลุ่มที่มีการแปลคอมไพเลอร์แอพลิเคชัน. ผลลัพธ์ที่ได้คือการดำเนินการของการประยุกต์ใช้ในการเขียนโปรแกรมภาษา Haskell. แปล Lingu ชวาสามารถแก้ไขได้ในการผลิตนักแปลอื่น ๆ ที่มีฟังก์ชั่นคือการแปล Lingu เป็นภาษาโปรแกรมอื่น ๆ. นี้จะกระทำโดยเพียงแค่การกำหนดความหมายของการดำเนินการสำหรับการแปลภาษาเป้าหมายใหม่แล้วนำมาใช้แทนความหมายของการแปลความหมายของการกระทำเก่า.

สามารถอ่านได้จาก ต้นฉบับ