The Leading eBooks Store Online
for your Apple or Android device, Nook, Kobo, PC, Mac, Sony Reader...
- 1
- Page
Most popular at the top
Handbook Of Graph Grammars And Computing By Graph Transformation, Volume 1by G Rozenberg
World Scientific 1997; US$ 133.90Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact within the area of... more...
Algebraic Theory Of Automata And Languagesby Masami Ito
World Scientific 2004; US$ 71.50Although there are some books dealing with algebraic theory of automata, their contents consist mainly of Krohn?Rhodes theory and related topics. The topics in the present book are rather different. For example, automorphism groups of automata and the partially ordered sets of automata are systematically discussed. Moreover, some operations on languages and special classes of regular languages associated with deterministic and nondeterministic directable automata are dealt with. The book is self-contained and hence does not require any knowledge of automata and formal languages. more...
Fundamentals of Algebraic Graph Transformationby Hartmut Ehrig
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 2006; US$ 119.00Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of graph and typed graph transformation. In Part II, basic and advanced results are first shown for an abstract form of replacement systems, so-called adhesive high-level replacement systems based on category theory, and are then instantiated to several forms of graph and Petri net transformation systems. Part III... more...
Semigroups And Languages, Proceedings Of The Workshopby Isabel M Araújo; Mário J J Branco; Vítor H Fernandes
World Scientific 2004; US$ 88.00In recent years, semigroups and languages have seen huge developments and found their motivation in other fields of mathematics as well as in computer science. This book is a collection of original contributions in those fields. The proceedings have been selected for coverage in:. ? Index to Scientific & Technical Proceedings® (ISTP® / ISI Proceedings). ? Index to Scientific & Technical Proceedings (ISTP CDROM version / ISI Proceedings). ? CC Proceedings ? Engineering & Physical Sciences. more...
A Second Course in Formal Languages and Automata Theoryby Jeffrey Shallit
Cambridge University Press 2008; US$ 52.00A textbook for a graduate course on formal languages and automata theory, building on prior knowledge of theoretical computer models. more...
Selected Papers on Automathby R.P. Nederpelt; J.H. Geuvers; R.C. de Vrijer
Elsevier 1994; US$ 250.00The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or have remained unpublished. The aim of the editors is to present a representative selection of existing articles and reports and of material contained in dissertations, giving a compact and more or less complete overview of the work that has been done in the Automath research field, from the beginning to the present day. Six different areas have been distinguished, which correspond to Parts A to F of the book. These areas range from general ideas and motivation, to detailed syntactical investigations. more...
A Course in Formal Languages, Automata and Groupsby Ian M. Chiswell
Springer 2009; US$ 49.95The study of formal languages and automata has proved to be a source of much interest and discussion amongst mathematicians. This book presents introduction into the connections between group theory and formal languages. It is suitable for undergraduate and postgraduate mathematicians with an interest in this field. more...
Formal Languages and Compilationby Stefano Crespi Reghizzi
Springer 2009; US$ 79.95Covers the fundamental concepts of formal languages and compilation, which are central to computer science and based on well-consolidated principles. Based on definitions and algorithms, this book focuses on the importance of combining theoretical concepts with practical applications. more...
An Introduction to the Theory of Formal Languages and Automataby Willem J.M. Levelt
John Benjamins Publishing Company 2008; US$ 43.95The present text is a re-edition of Volume I of Formal Grammars in Linguistics and Psycholinguistics , a three-volume work published in 1974. This volume is an entirely self-contained introduction to the theory of formal grammars and automata, which hasn?t lost any of its relevance. Of course, major new developments have seen the light since this introduction was first published, but it still provides the indispensible basic notions from which later work proceeded. The author?s reasons for writing this text are still relevant: an introduction that does not suppose an acquaintance with sophisticated mathematical theories and methods, that is intended specifically for linguists and psycholinguists (thus including such topics as learnability... more...
- 1
- Page








