Dòng
|
Nội dung
|
1
|
|
2
|
Algebraic theory of automata and languages / Masami Itō River Edge, N.J. : World Scientific, 2004 x, 199 pages. : illustrations ; 24 cm. Ký hiệu phân loại (DDC): 511.35 Although there are some books dealing with algebraic theory ofautomata, their contents consist mainly of Krohn-Rhodes theory andrelated topics. The topics in the present book are ratherdifferent. For example, automorphism groups of automata and thepartially ordered sets of automata are systematicallydiscussed. Moreover, some operations on languages and special classesof regular languages associated with deterministic andnondeterministic directable automata are dealt with. The book isself-contained and hence does not require any knowledge of automataand formal languages Số bản sách:
(10)
Tài liệu số:
(0)
|
3
|
An introduction to formal languages and automata / Peter Linz Sudbury, Mass. : Jones and Bartlett Publishers,1996 xix, 377 pages. : illustrations ; 24 cm. Ký hiệu phân loại (DDC): 005.131 Formal languages, automata, computability, and related matters form the major part of the theory of computation. This textbook is designed for an introductory course for computer science and computer engineering majors who have knowledge of some higher-level programming language, the fundamentals of Số bản sách:
(1)
Tài liệu số:
(0)
|
4
|
|
5
|
Introduction to automata theory, languages, and computation / John E Hopcroft; Rajeev Motwani; Jeffrey D Ullman Boston : Addison-Wesley, 2001 521 p. : illustrations ; 25 cm. Ký hiệu phân loại (DDC): 629.8312 It has been more than 20 years since this classic book on formal languages, automata theory, and computational complexity was first published. With this long-awaited revision, the authors continue to present the theory in a concise and straightforward manner, now with an eye out for the practical applications. They have revised this book to make it more accessible to today's students, including the addition of more material on writing proofs, more figures and pictures to convey ideas, side-boxes to highlight other interesting material, and a less formal writing style. Exercises at the end of each chapter, including some new, easier exercises, help readers confirm and enhance their understanding of the material. Số bản sách:
(1)
Tài liệu số:
(0)
|
|
|
|
|