New Developments in Formal Languages and Applications

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

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

این جلد مکمل مجلدهای مجموعه Springer Studies in Fuzziness and Soft است. محاسبات، شماره 148، و مطالعات در هوش محاسباتی، 25.

The theory of formal languages is widely recognized as the backbone of theoretical computer science, originating from mathematics and generative linguistics, among others. As a foundational discipline, formal language theory concepts and techniques are present in a variety of theoretical and applied fields of contemporary research which are concerned with symbol manipulation: discrete mathematics, bioinformatics, natural language processing, pattern recognition, text retrieval, learning, cryptography, compression, etc.

This volume presents the main results of some recent, quickly developing subfields of formal language theory in an easily accessible way and provides the reader with extensive bibliographical references to go deeper. Open problems are formulated too. The intended audience consists of undergraduates and graduates in computer science or mathematics. Graduates in other disciplines (linguistics, electrical engineering, molecular biology, logic) with some basic level of mathematical maturity may find the volume appealing and useful too. The book represents "a gate to formal language theory and its applications" and a source of information in computation theory in general.

This volume is complementary of the volumes in the Springer series Studies in Fuzziness and Soft Computing, number 148, and Studies in Computational Intelligence, 25.