Attribute Grammar Inversion and Source-to-source Translation

با گسترش زبان‌ها و گویش‌های رایانه‌ای، ایجاد ابزارهایی برای کمک به ساخت مترجم‌های منبع به منبع مهم است. با اجازه دادن به کاربران برای استفاده از نرم افزار (یا داده) نوشته شده برای سیستم دیگر، این ابزارها جزء مهمی را در تلاش برای استفاده مجدد نرم افزار تشکیل می دهند. پس از بحث در مورد مسائل نظری و عملی وارونگی گرامر صفت، این کتاب نشان می دهد که چگونه می توان از این تکنیک برای ساخت مترجم های منبع به منبع استفاده کرد. این کار با شناسایی یک شکل متعارف متعارف که در آن زبان‌های مبدأ مختلف را نشان می‌دهد و سپس نوشتن گرامرهای ویژگی از هر منبع به شکل متعارف انجام می‌شود. با معکوس کردن خودکار این گرامرهای ویژگی، مترجمانی از شکل متعارف به هر زبان مبدأ برمی‌گردند و با ترکیب جفت‌های مترجم مناسب، مترجم‌های منبع به منبع به دست می‌آیند. برای اثبات امکان‌پذیری رویکرد وارونگی برای ترجمه منبع به منبع، از آن برای تولید مترجم بین زبان‌های برنامه‌نویسی پاسکال و سی استفاده شده است.

With the proliferation of computer languages and dialects, it is important to create tools to aid in the construction of source-to-source translators. By allowing users to make use of software (or data) written for another system, these tools form an important component in the quest for software reusability. After discussing the theoretical and practical issues of attribute grammar inversion, this book demonstrates how the technique can be used to build source-to-source translators. This is done by first identifying a common canonical form in which to represent the various source languages and then writing attribute grammars from each source to the canonical form. By automatically inverting these attribute grammars one obtains translators from the canonical form back to each source language and by composing the appropriate pairs of translators one obtains source-to-source translators. To prove the feasibility of the inversion approach to source-to-source translation, it has been used to generate translators between the programming languages Pascal and C.