Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg

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

This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the normal refereeing procedure was applied as well. All of the articles deal with some issue that has been under vigorous study during recent years. Still, the topics range from very classical ones to issues raised only two or three years ago. Both survey articles and papers attacking speci?c research problems are included. The book highlights some key issues of theoretical computer science, as they seem to us now at the beginning of the new millennium. Being a comprehensive overview of some of the most active current research in theoretical computer science, it should be of de?nite interest for all researchers in the areas covered. The topics range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding and self-assembly. Special e?ort has been given to lucid presentation. Therefore, the book should be of interest also for advanced students.