“automata and theory language”

This book meets the syllabus of U.P. Technical University and is also ideal for students preparing for various competitive examinations. It covers the topics like Finite state automota, pushdown automata, turning machines, undeciability and Chomosky hierarchy. It includes more than 300 solved probl... More

A Textbook on Automata Theory has been designed for students of computer science. Adopting a comprehensive approach to the subject, the book presents various concepts with adequate explanations. The logical and structured treatment of the subject promotes better understanding and assimilation. Lucid... More

This is a self-contained, modern treatment of the algebraic theory of machines. Dr Holcombe examines various applications of the idea of a machine in biology, biochemistry and computer science and gives also a rigorous treatment of the way in which these machines can be decomposed and simulated by s... More

This book constitutes the refereed proceedings of the Second International Conference on Language and Automata Theory and Applications, LATA 2008, held in Tarragona, Spain, in March 2008. The 40 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers deal ... More

Let me tell you that a phenomenon which the incredulous have classed without a moment's hesitation as fabulous, has just been verified by this company. We wished to see whether the pendulum swings of a suspended ring can be controlled by the concentrated human will. I undertook to fix my will upon i... More

Model checking is a method used for testing the reliability of a system. The automata-theoretic approach to model checking involves expressing systems in terms of finite state automata, and using algorithms that automatically determine the satisfiability of logic specifications for these systems. Cl... More

This book provides a comprehensive introduction to databases and the design of three major databases: Relational, Hierarchical and Network, with an emphasis on the Relational. This book constitutes the revision of the two previous editions and contains a complete basic course on databases.... More