Publisher: PHI Learning Pvt. Ltd.

ISBN: 8120348079

Category: Computers

Page: 260

View: 7364


The Theory of Computation or Automata and Formal Languages assumes significance as it has a wide range of applications in complier design, robotics, Artificial Intelligence (AI), and knowledge engineering. This compact and well-organized book provides a clear analysis of the subject with its emphasis on concepts which are reinforced with a large number of worked-out examples. The book begins with an overview of mathematical preliminaries. The initial chapters discuss in detail about the basic concepts of formal languages and automata, the finite automata, regular languages and regular expressions, and properties of regular languages. The text then goes on to give a detailed description of context-free languages, pushdown automata and computability of Turing machine, with its complexity and recursive features. The book concludes by giving clear insights into the theory of computability and computational complexity. This text is primarily designed for undergraduate (BE/B.Tech.) students of Computer Science and Engineering (CSE) and Information Technology (IT), postgraduate students (M.Sc.) of Computer Science, and Master of Computer Applications (MCA). Salient Features • One complete chapter devoted to a discussion on undecidable problems. • Numerous worked-out examples given to illustrate the concepts. • Exercises at the end of each chapter to drill the students in self-study. • Sufficient theories with proofs.

Computational Number Theory and Modern Cryptography

Author: Song Y. Yan

Publisher: John Wiley & Sons

ISBN: 1118188616

Category: Computers

Page: 432

View: 771


The only book to provide a unified view of the interplay betweencomputational number theory and cryptography Computational number theory and modern cryptography are two ofthe most important and fundamental research fields in informationsecurity. In this book, Song Y. Yang combines knowledge of thesetwo critical fields, providing a unified view of the relationshipsbetween computational number theory and cryptography. The authortakes an innovative approach, presenting mathematical ideas first,thereupon treating cryptography as an immediate application of themathematical concepts. The book also presents topics from numbertheory, which are relevant for applications in public-keycryptography, as well as modern topics, such as coding and latticebased cryptography for post-quantum cryptography. The authorfurther covers the current research and applications for commoncryptographic algorithms, describing the mathematical problemsbehind these applications in a manner accessible to computerscientists and engineers. Makes mathematical problems accessible to computer scientistsand engineers by showing their immediate application Presents topics from number theory relevant for public-keycryptography applications Covers modern topics such as coding and lattice basedcryptography for post-quantum cryptography Starts with the basics, then goes into applications and areasof active research Geared at a global audience; classroom tested in North America,Europe, and Asia Incudes exercises in every chapter Instructor resources available on the book’s CompanionWebsite Computational Number Theory and Modern Cryptography isideal for graduate and advanced undergraduate students incomputer science, communications engineering, cryptography andmathematics. Computer scientists, practicing cryptographers, andother professionals involved in various security schemes will alsofind this book to be a helpful reference.

Introduction to Programming Languages

Author: Arvind Kumar Bansal

Publisher: CRC Press

ISBN: 1466565152

Category: Computers

Page: 624

View: 4828


In programming courses, using the different syntax of multiple languages, such as C++, Java, PHP, and Python, for the same abstraction often confuses students new to computer science. Introduction to Programming Languages separates programming language concepts from the restraints of multiple language syntax by discussing the concepts at an abstract level. Designed for a one-semester undergraduate course, this classroom-tested book teaches the principles of programming language design and implementation. It presents: Common features of programming languages at an abstract level rather than a comparative level The implementation model and behavior of programming paradigms at abstract levels so that students understand the power and limitations of programming paradigms Language constructs at a paradigm level A holistic view of programming language design and behavior To make the book self-contained, the author introduces the necessary concepts of data structures and discrete structures from the perspective of programming language theory. The text covers classical topics, such as syntax and semantics, imperative programming, program structures, information exchange between subprograms, object-oriented programming, logic programming, and functional programming. It also explores newer topics, including dependency analysis, communicating sequential processes, concurrent programming constructs, web and multimedia programming, event-based programming, agent-based programming, synchronous languages, high-productivity programming on massive parallel computers, models for mobile computing, and much more. Along with problems and further reading in each chapter, the book includes in-depth examples and case studies using various languages that help students understand syntax in practical contexts.

Introduction to the Theory of Computation

Author: Michael Sipser

Publisher: Cengage Learning

ISBN: 1285401069

Category: Computers

Page: 504

View: 4751


Now you can clearly present even the most complex computational theory topics to your students with Sipser's distinct, market-leading INTRODUCTION TO THE THEORY OF COMPUTATION, 3E. The number one choice for today's computational theory course, this highly anticipated revision retains the unmatched clarity and thorough coverage that make it a leading text for upper-level undergraduate and introductory graduate students. This edition continues author Michael Sipser's well-known, approachable style with timely revisions, additional exercises, and more memorable examples in key areas. A new first-of-its-kind theoretical treatment of deterministic context-free languages is ideal for a better understanding of parsing and LR(k) grammars. This edition's refined presentation ensures a trusted accuracy and clarity that make the challenging study of computational theory accessible and intuitive to students while maintaining the subject's rigor and formalism. Readers gain a solid understanding of the fundamental mathematical properties of computer hardware, software, and applications with a blend of practical and philosophical coverage and mathematical treatments, including advanced theorems and proofs. INTRODUCTION TO THE THEORY OF COMPUTATION, 3E's comprehensive coverage makes this an ideal ongoing reference tool for those studying theoretical computing. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.

Introduction to Languages and the Theory of Computation

Author: John C. Martin

Publisher: McGraw-Hill Professional

ISBN: 9780072322002

Category: Computers

Page: 543

View: 9191


Introduction to Languages and the Theory of Computation is an introduction to the theory of computation that emphasizes formal languages, automata and abstract models of computation, and computability; it also includes an introduction to computational complexity and NP-completeness. Through the study of these topics, students encounter profound computational questions and are introduced to topics that will have an ongoing impact in computer science. Once students have seen some of the many diverse technologies contributing to computer science, they can also begin to appreciate the field as a coherent discipline. A distinctive feature of this text is its gentle and gradual introduction of the necessary mathematical tools in the context in which they are used. Martin takes advantage of the clarity and precision of mathematical language but also provides discussion and examples that make the language intelligible to those just learning to read and speak it. The material is designed to be accessible to students who do not have a strong background in discrete mathematics, but it is also appropriate for students who have had some exposure to discrete math but whose skills in this area need to be consolidated and sharpened.

Languages and Machines

An Introduction to the Theory of Computer Science

Author: Thomas A. Sudkamp

Publisher: Addison-Wesley


Category: Computers

Page: 569

View: 9586


Languages and Machines gives a mathematically sound presentation of the theory of computing at the junior and senior level, and is an invaluable tool for scientists investigating the theoretical foundations of computer science. No special mathematical prerequisites are assumed; the theoretical concepts and associated mathematics are made accessible by a "learn as you go" approach that develops an intuitive understanding of the concepts through numerous examples and illustrations.