Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24–25, 2000 Revised Papers

پنجمین کنفرانس بین المللی پیاده سازی و کاربرد - گوجه فرنگی (CIAA 2000) در دانشگاه انتاریو غربی در لندن، انتاریو، کانادا در 24 تا 25 جولای 2000 برگزار شد. این مجموعه کنفرانس قبلاً کارگاه بین المللی در مورد نامیده می شد. پیاده سازی خودکار (WIA) این جلد از مجموعه یادداشت های سخنرانی در علوم کامپیوتر شامل تمام مقالاتی است که در CIAA 2000 ارائه شده اند و همچنین چکیده مقالات پوستری که در طول کنفرانس نمایش داده شده اند. این کنفرانس به مسائل مربوط به کاربرد و پیاده سازی خودکار پرداخت. موضوعات مقالات ارائه شده در این کنفرانس از کاربردهای خودکار در مهندسی نرم‌افزار، تشخیص زبان طبیعی و گفتار و پردازش تصویر گرفته تا نمایش‌ها و الگوریتم‌های جدید برای پیاده‌سازی مؤثر اتوماتا و ساختارهای مرتبط را شامل می‌شود. نظریه اتوماتا یکی از قدیمی ترین حوزه ها در علوم کامپیوتر است. تحقیقات در تئوری اتوماتا از مراحل اولیه توسعه همواره با انگیزه کاربردهای آن بوده است. در دهه‌های 1960 و 1970، تحقیقات اتومات‌ها به‌شدت به دلیل مشکلات ناشی از ساخت کامپایلر، طراحی مدار، تطبیق رشته‌ها و غیره بود. . نمونه‌هایی از برنامه‌های جدید شامل نمودارهای حالت در مدل‌سازی شی‌گرا، مبدل‌های nite در پردازش زبان طبیعی، و مدل‌های حالت nite غیر قطعی در پروتکل‌های ارتباطی می‌شوند. بسیاری از برنامه های کاربردی جدید به سادگی مدل ها و الگوریتم های موجود در تئوری اتوماتا را برای مشکلات خود اعمال نمی کنند و نمی توانند.

The Fifth International Conference on Implementation and Application of - tomata (CIAA 2000) was held at the University of Western Ontario in London, Ontario, Canada on July 24-25, 2000. This conference series was formerly called the International Workshop on Implementing Automata (WIA) This volume of the Lecture Notes in Computer Science series contains all the papers that were presented at CIAA 2000, and also the abstracts of the poster papers that were displayed during the conference. The conference addressed issues in automata application and implemen- tion. The topics of the papers presented at this conference ranged from automata applications in software engineering, natural language and speech recognition, and image processing, to new representations and algorithms for e cient imp- mentation of automata and related structures. Automata theory is one of the oldest areas in computer science. Research in automata theory has always been motivated by its applications since its early stages of development. In the 1960s and 1970s, automata research was moti- ted heavily by problems arising from compiler construction, circuit design, string matching, etc. In recent years, many new applications have been found in various areas of computer science as well as in other disciplines. Examples of the new applications include statecharts in object-oriented modeling, nite transducers in natural language processing, and nondeterministic nite-state models in c- munication protocols. Many of the new applications do not and cannot simply apply the existing models and algorithms in automata theory to their problems.