Theory of Computer Science

Front Cover
Technical Publications, Jan 1, 2007 - Computable functions - 481 pages
7 Reviews
Finite State SystemsDFA, NDFA and there equivalence. Conversion of NDFA, DFA, DFA with E-Moves, Two-way Finite Automata, Finite Automata with output, Transformation of a Mealy Machine into a Moore Machine and their conversion, FSM properties and limitations.Regular ExpressionsArden's Theorem, Pumping Lemma and its applications, closure properties. Decision Algorithms of Regular Sets, Applications of regular expressions and finite Automata.GrammersInvention and evolution of Formal LanguagesPushdown AutomataAssociation of push down automata with context - free grammers.Post MachinesDefinitions and examplesProduction SystemsFundaments, PMT Systems, PCS, Markou AlgorithimTuring MachinesModel, Representation, Language Acceptability and design of Turing Machines. Nondeterministic, Composite, Integrated, Universal, Turing Machines, Limitations, Recursive and Recursively Enumerable Languages, functionsApplications and LimitationsLexical Analyzer, Text Editors, Searching, Conversion of regular expression into a DFA.
 

What people are saying - Write a review

User Review - Flag as inappropriate

hi
Open book only for one Solution related to Moore Machine, but disappointed.
In Problem 2.7.3.7 according to solution (fig. 2.7.3.5) 1100 gives Output 'C', but it has substring 110 so it must give output 'B'.
So solution isn't correct.
If any one can give me answer regarding this within 24 hrs, i will be grateful.
Regards,
Akhilesh Mishra
 

User Review - Flag as inappropriate

excellent book for the beginners who want to learn theory of computer science.
The simple language and number of examples makes it the best book among other.
great work sir.

All 7 reviews »

Contents

Introduction
1
Finite State Systems
15
Regular Expressions
88
Grammars
173
Pushdown Automata
244
Post Machines
286
Production Systems
297
Turing Machine
322
Applications and Implementations
374
References
433
Copyright

Common terms and phrases

Bibliographic information