Handbook of Formal Languages: Volume 1 Word, Language, Grammar

نیاز به ارائه یک نمایش جامع از نوع نظرسنجی در مورد زبان‌های رسمی و حوزه‌های اصلی مرتبط با علوم رایانه برای چند سال مشهود بوده است. اگر! در اوایل دهه 1970، زمانی که کتاب زبان‌های رسمی برای نگارش یک ویرایشگر جامع ذکر شده امکان‌پذیر بود، هنوز کتابی با آن عنوان بود و موضوعات مورد علاقه تحقیقاتی را نیز در بر می‌گرفت. این دیگر امکان پذیر نخواهد بود. یک کتاب با اندازه استاندارد در مورد زبان های رسمی یا باید در سطح نسبتاً پایینی باقی بماند یا در غیر این صورت تخصصی و محدود به بخش محدودی از این رشته باشد. این مجموعه در مجموعه ای از مشارکت ها به شدت متفاوت می شود، جایی که بهترین مقامات جهان با یکدیگر متحد می شوند و هر یک از آنها بر حوزه های تخصصی خود تمرکز می کنند. هندبوک سه جلدی حاضر چنین مجموعه بی نظیری را تشکیل می دهد. در این سه جلد ما وضعیت فعلی هنر در نظریه زبان رسمی را ارائه می کنیم. ما از پاسخ مشتاقانه ای که به درخواست ما برای مشارکت توسط متخصصان نمایندگی زیر شاخه های مختلف داده شد، بسیار راضی بودیم. نیاز به کتابچه راهنمای زبان های رسمی در پاسخ های بسیاری به طرق مختلف بیان شده است: به عنوان مرجعی که به راحتی قابل دسترسی است، منبعی کلی از اطلاعات، یک دوره آموزشی کلی، و مجموعه ای فشرده از مطالب برای خودآموزی. ما متقاعد شده ایم که نتیجه نهایی چنین نیازهای مختلفی را برآورده خواهد کرد. تئوری زبان‌های رسمی ریشه یا ستون فقرات حوزه علم را تشکیل می‌دهد که امروزه عموماً به عنوان علم کامپیوتر نظری شناخته می‌شود.

The need for a comprehensive survey-type exposition on formal languages and related mainstream areas of computer science has been evident for some years. If! the early 1970s, when the book Formal Languages by the second­ quite feasible to write a comprehensive mentioned editor appeared, it was still book with that title and include also topics of current research interest. This would not be possible anymore. A standard-sized book on formal languages would either have to stay on a fairly low level or else be specialized and restricted to some narrow sector of the field. The setup becomes drastically different in a collection of contributions, where the best authorities in the world join forces, each of them concentrat­ ing on their own areas of specialization. The present three-volume Handbook constitutes such a unique collection. In these three volumes we present the current state of the art in formal language theory. We were most satisfied with the enthusiastic response given to our request for contributions by specialists representing various subfields. The need for a Handbook of Formal Languages was in many answers expressed in different ways: as an easily accessible his­ torical reference, a general source of information, an overall course-aid, and a compact collection of material for self-study. We are convinced that the final result will satisfy such various needs. The theory of formal languages constitutes the stem or backbone of the field of science now generally known as theoretical computer science.