Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама




Название Finite Automata, Formal Logic, and Circuit Complexity
Автор Howard Straubing
Издательство Birkhauser
Год 1994
Страниц 237
Формат DJVU
Размер 10,63 МБ
Язык English

The study of the connections between mathematical automata and for mal logic is as old as theoretical computer science itself. In the founding paper of the subject, published in 1936, Turing showed how to describe the behavior of a universal computing machine with a formula of first order predicate logic, and thereby concluded that there is no algorithm for deciding the validity of sentences in this logic. Research on the log ical aspects of the theory of finite-state automata, which is the subject of this book, began in the early 1960's with the work of J. Richard Biichi on monadic second-order logic. Biichi's investigations were extended in several directions. One of these, explored by McNaughton and Papert in their 1971 monograph Counter-free Automata, was the characterization of automata that admit first-order behavioral descriptions, in terms of the semigroup theoretic approach to automata that had recently been developed in the work of Krohn and Rhodes and of Schiitzenberger. In the more than twenty years that have passed since the appearance of McNaughton and Papert's book, the underlying semigroup theory has grown enor mously, permitting a considerable extension of their results. During the same period, however, fundamental investigations in the theory of finite automata by and large fell out of fashion in the theoretical com puter science community, which moved to other concerns.









НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!





Автор: ak5812 17-07-2018, 06:24 | Напечатать | СООБЩИТЬ ОБ ОШИБКЕ ИЛИ НЕ РАБОЧЕЙ ССЫЛКЕ
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.





С этой публикацией часто скачивают:

    Computer Mathematics Computer Mathematics Название: Computer Mathematics Автор: Gerard Prudhomme Издательство: Arcler Press ISBN: 1773614053 Год: 2019 Страниц: 268 Язык: английский Формат:...

    Discrete Mathematics with Applications, 5th Edition Discrete Mathematics with Applications, 5th Edition Название: Discrete Mathematics with Applications, 5th Edition Автор: Susanna S. Epp Издательство: Susanna S. Epp ISBN: 1337694193 Год: 2020 Страниц:...

    Modeling Time in Computing Modeling Time in Computing Название: Modeling Time in Computing Автор: Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi Издательство: Springer Год: 2012 Формат:...

    Models of Computation Models of Computation Название: Models of Computation Автор: John E. Savage Издательство: Brown University Год: 2012 Формат: pdf Страниц: 698 Размер: 4 mb. Язык: English...

    Mathematical Logic: On Numbers, Sets, Structures, and Symmetry Mathematical Logic: On Numbers, Sets, Structures, and Symmetry Название: Mathematical Logic: On Numbers, Sets, Structures, and Symmetry Автор: Roman Kossak Издательство: Springer Год: 2018 Страниц: 186 Формат:...

    Philosophical and Mathematical Logic Philosophical and Mathematical Logic Название: Philosophical and Mathematical Logic Автор: Harrie de Swart Издательство: Springer Год: 2018 Страниц: 539 Формат: PDF Размер: 10 Mb Язык:...

    A Concise Introduction to Logic A Concise Introduction to Logic Название: A Concise Introduction to Logic Автор: Craig DeLancey Издательство: Open SUNY Textbooks Год: 2017 Формат: pdf Страниц: 223 Размер: 2,1 mb....

    Introduction to Logic and Critical Thinking Introduction to Logic and Critical Thinking Название: Introduction to Logic and Critical Thinking Автор: Matthew J. Van Cleave Издательство: Autoedici?n Год: 2017 Формат: pdf Страниц: 242...

    Introduction To Mathematical Logic, Extended Edition Introduction To Mathematical Logic, Extended Edition Название: Introduction To Mathematical Logic, Extended Edition Автор: Michal Walicki Издательство: World Scientific Publishing Год: 2017 Формат: PDF...

    Theory of Reversible Computing Theory of Reversible Computing Название: Theory of Reversible Computing Автор: Kenichi Morita Издательство: Springer Год: 2017 Формат: PDF Размер: 8 Мб Язык: английский / English...

    Algorithms, Languages, Automata, And Compilers: A Practical Approach Algorithms, Languages, Automata, And Compilers: A Practical Approach Название: Algorithms, Languages, Automata, And Compilers: A Practical Approach Автор: Maxim Mozgovoy Издательство: Jones & Bartlett Learning Год:...

    Logic and Language Models for Computer Science, 3rd Edition Logic and Language Models for Computer Science, 3rd Edition Название: Logic and Language Models for Computer Science, 3rd Edition Автор: Dana Richards, Henry Hamburger Издательство: World Scientific Publishing...

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.





 MyMirKnig.ru  ©2019     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности