Fundamentals of Computation Theory: 8th International Conference, FCT '91 Gosen, Germany, September 9–13, 1991 Proceedings

این جلد شامل مقالاتی است که برای ارائه در کنفرانس بین المللی "مبانی نظریه محاسبات - FCT '91" در گوسن، نزدیک برلین، 9 تا 13 سپتامبر 1991 برگزار شد. این هشتمین کنفرانس از سری FCT بود. کنفرانس هایی که هر سال یکبار برگزار می شود. برنامه کنفرانس، شامل سخنرانی های دعوت شده و مشارکت های منتخب، در دسته های زیر قرار می گیرد: - مفاهیم معنایی و منطقی در نظریه محاسبات، مشخصات رسمی، - اتومات ها و زبان های رسمی، هندسه محاسباتی، - جنبه های الگوریتمی جبر و هندسه جبری، رمزنگاری، - پیچیدگی (محاسبات متوالی، موازی، توزیع شده، ساختار، مرزهای پایین، پیچیدگی مسائل تحلیلی، مفاهیم کلی)، - الگوریتم‌ها (کارآمد، احتمالی، موازی، ترتیبی، توزیعی)، - شمارش و ترکیبات در ارتباط با علوم کامپیوتر ریاضی. . مجموعه مقالات جلسات قبلی FCT به عنوان یادداشت های سخنرانی در علوم کامپیوتر (جلد 380، 278، 199، 158، 117، 56) در دسترس است.

This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry, cryptography, - Complexity (sequential, parallel, distributed computing, structure, lower bounds, complexity of analytical problems, general concepts), - Algorithms (efficient, probabilistic, parallel, sequential, distributed), - Counting and combinatorics in connection with mathematical computer science. The proceedings of previous FCT meetings are available as Lecture Notes in Computer Science (Vols. 380, 278, 199, 158, 117, 56).