Automata Implementation: Third International Workshop on Implementing Automata, WIA’98 Rouen, France, September 17–19, 1998 Revised Papers

مقالات موجود در این جلد در سومین کارگاه بین‌المللی پیاده‌سازی اتوماتا، که در 17 سپتامبر 1998 در دانشگاه روئن، فرانسه برگزار شد، ارائه شد. نظریه اتوماتا سنگ بنای نظریه علوم کامپیوتر است. در حالی که تجربه عملی زیادی در مورد استفاده از خودکار وجود دارد، این کار موارد مختلفی را شامل می‌شود - از جمله سهولت‌ها، از جمله تجزیه، زبان‌شناسی محاسباتی، تشخیص گفتار، متن، کنترل‌کننده‌های دستگاه، سیستم‌های توزیع‌شده، و آنالیز پروتکل. یکی دیگر. علاوه بر این، تعداد فزاینده‌ای از محیط‌های دستکاری نمادین برای کمک به محققان در آزمایش و آموزش خودکارها و اجرای آنها طراحی شده‌اند. نمونه‌های آن عبارتند از FLAP، FADELA، AMORE، Fire-Lite، Automate، AGL، Turing’s World، FinITE، INR و Grail. توسعه دهندگان چنین سیستم هایی تالار گفتمانی برای نمایش و مقایسه کار خود نداشته اند. هدف از این کارگاه گرد هم آوردن اعضای انجمن های دانشگاهی، پژوهشی، و صنعتی با اتومات های اجرایی جالب، نشان دادن کار خود و توضیح مشکلاتی بود که حل کرده اند. این کارگاه ها در سال های 1996 و 1997 در دانشگاه وسترن انتاریو، لندن، انتاریو، کانادا، با تشویق دریک وود و شنگ یو آغاز شد. انگیزه اصلی برای شروع این کارگاه ها این بود که هیچ انجمن واحدی وجود نداشت که در آن مسائل مربوط به پیاده سازی خودکار مورد بحث قرار گرفته باشد. علاقه نشان داده شده به کارگاه های r st و second نشان داد که نیاز به چنین انجمنی وجود دارد. شرکت در کارگاه سوم بسیار جالب بود: ما شصت و سه ثبت نام، چهار قاره، ده کشور، بیست و سه دانشگاه و سه شرکت را شمارش کردیم.

The papers contained in this volume were presented at the third international Workshop on Implementing Automata, held September 17{19,1998, at the U- versity of Rouen, France. Automata theory is the cornerstone of computer science theory. While there is much practical experience with using automata, this work covers diverse - eas,includingparsing,computationallinguistics,speechrecognition,textsear- ing,device controllers,distributed systems, andprotocolanalysis.Consequently, techniques that have been discovered in one area may not be known in another. In addition, there is a growing number of symbolic manipulation environments designed to assist researchers in experimenting with and teaching on automata and their implementation; examples include FLAP, FADELA, AMORE, Fire- Lite, Automate, AGL, Turing’s World, FinITE, INR, and Grail. Developers of such systems have not had a forum in which to expose and compare their work. The purpose of this workshop was to bring together members of the academic, research,andindustrialcommunitieswithaninterestinimplementingautomata, to demonstrate their work and to explain the problems they have been solving. These workshops started in 1996 and 1997 at the University of Western Ontario, London, Ontario, Canada, prompted by Derick Wood and Sheng Yu. The major motivation for starting these workshops was that there had been no single forum in which automata-implementation issues had been discussed. The interest shown in the r st and second workshops demonstrated that there was a need for such a forum. The participation at the third workshop was very interesting: we counted sixty-three registrations, four continents, ten countries, twenty-three universities, and three companies.