The Synthesizer Generator Reference Manual

Synthesizer Generator سیستمی برای خودکارسازی اجرای محیط های ویرایشی مبتنی بر زبان است. طراح ویرایشگر مشخصاتی را آماده می کند که شامل قوانینی است که مالیات همگام انتزاعی بدون متن، روابط حساس به متن، قالب نمایش و نحو ورودی مشخص را تعریف می کند. از این مشخصات، Synthesizer Generator یک ویرایشگر نمایش برای دستکاری اشیاء طبق این قوانین [Reps84] ایجاد می کند. این جلد، The Synthesizer Generator Reference Manual، به عنوان سند تعریف کننده سیستم در نظر گرفته شده است. یک جلد همراه، The Synthesizer Generator: A System for Constructing Language-based Editors [Reps88]، توضیحات آموزشی بیشتری از سیستم ارائه می دهد. این شامل مثال های متعددی است که مشخصات و استفاده از ویرایشگرهای تولید شده و همچنین فصل هایی را که الگوریتم های مهم پیاده سازی را توضیح می دهند را نشان می دهد. Synthesizer Generator تعمیم سیستم قبلی ما، Cornell Program Synthesizer [Teitelbaum81] است که یک محیط برنامه نویسی برای یک گویش کوچک خاص از PL/I بود. این برنامه دارای یک ویرایشگر دستوری نمایشگر، یک کامپایلر افزایشی، یک سرپرست اجرایی که از اشکال زدایی در سطح منبع پشتیبانی می کند، و یک سیستم فایل حاوی قطعات برنامه تایپ شده نحوی بود. در حالی که PL/I در سینت سایزر برنامه کورنل ساخته شده بود، مولد سینتی سایزر یک تعریف زبان رسمی را به عنوان ورودی می پذیرد. اگرچه در ابتدا به عنوان ابزاری برای ایجاد محیط های سینت سایزر مانند برای زبان های برنامه نویسی دلخواه در نظر گرفته شد، اما Synthesizer Generator به طور گسترده ای مفید است. هر زبان متنی با ساختار عبارت سلسله مراتبی گرامر کاندید است. vi مقدمه قضیه تعاملی که برای مثال برای ریاضیات و منطق رسمی اثبات می‌شود، به‌عنوان یک کاربرد مناسب ظاهر شده است.

The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn­ tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen­ erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor­ nell Program Synthesizer [Teitelbaum81], which was a programming environ­ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax­ directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro­ gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro­ gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.