Automata And Computability

Automata and Computability (Undergraduate Texts in Computer Science) (Repost)

Automata and Computability (Undergraduate Texts in Computer Science) By Dexter C. Kozen
1997 | 400 Pages | ISBN: 0387949070 | DJVU | 3 MB

Automata and Languages: Theory and Applications  

Posted by MoneyRich at Dec. 11, 2014
Automata and Languages: Theory and Applications

Automata and Languages: Theory and Applications by Alexander Meduna
English | July 17, 2000 | ISBN: 1852330740 | 920 pages | PDF | 70 MB

A step-by-step development of the theory of automata, languages and computation. Intended for use as the basis of an introductory course at both junior and senior levels, the text is organized so as to allow the design of various courses based on selected material. It features basic models of computation, formal languages and their properties; computability, decidability and complexity; a discussion of modern trends in the theory of automata and formal languages; design of programming languages, including the development of a new programming language; and compiler design, including the construction of a complete compiler. Alexander Meduna uses clear definitions, easy-to-follow proofs and helpful examples to make formerly obscure concepts easy to understand. He also includes challenging exercises and programming projects to enhance the reader's comprehension, and many 'real world' illustrations and applications in practical computer science.
Formal Languages, Automata and Numeration Systems Volume 2

Formal Languages, Automata and Numeration Systems Volume 2 (ISTE) by Michel Rigo
English | 2014 | ISBN: 1848217889 | 272 pages | PDF | 3 MB

The interplay between words, computability, algebra and arithmetic has now proved its relevance and fruitfulness. Indeed, the cross-fertilization between formal logic and finite automata (such as that initiated by J.R. Büchi) or between combinatorics on words and number theory has paved the way to recent dramatic developments, for example, the transcendence results for the real numbers having a “simple” binary expansion, by B. Adamczewski and Y. Bugeaud.

Algebraic Theory of Automata and Languages  

Posted by arundhati at Oct. 7, 2015
Algebraic Theory of Automata and Languages

Masami Ito, "Algebraic Theory of Automata and Languages"
2004 | ISBN-10: 9810247273 | 212 pages | PDF | 10 MB
Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks

"Models of Massive Parallelism: Analysis of Cellular Automata and Neural Networks" By Max Garzon
PDF | 1995 | 272 pages | ISBN: 3642779077, 3540561498 | English | 7 MB

Cellular Automata and Discrete Complex Systems  

Posted by arundhati at June 9, 2015
Cellular Automata and Discrete Complex Systems

Jarkko Kari, "Cellular Automata and Discrete Complex Systems: 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings"
2015 | ISBN-10: 3662472201 | 276 pages | PDF | 12 MB
Proofs and Algorithms: An Introduction to Logic and Computability (Repost)

Gilles Dowek, "Proofs and Algorithms: An Introduction to Logic and Computability"
English | 2011 | ISBN: 0857291203 | 195 pages | PDF | 2 MB
Control of Discrete-Event Systems: Automata and Petri Net Perspectives [Repost]

Carla Seatzu, Manuel Silva, Jan van Schuppen - Control of Discrete-Event Systems: Automata and Petri Net Perspectives
Published: 2012-07-27 | ISBN: 1447142756 | PDF | 480 pages | 5.74 MB

Combinatorics, Automata and Number Theory  

Posted by arundhati at March 28, 2015
Combinatorics, Automata and Number Theory

Valérie Berthé, Michel Rigo, "Combinatorics, Automata and Number Theory"
2010 | ISBN-10: 0521515971, 0521828279 | 636 pages | PDF | 4 MB

Automata and Algebras in Categories  

Posted by ChrisRedfield at March 1, 2015
Automata and Algebras in Categories

Jiří Adámek.), Vera Trnková - Automata and Algebras in Categories
Published: 1990-08-31 | ISBN: 0792300106 | PDF + DJVU | 474 pages | 20 MB