| 000 | 04862nam a22003493i 4500 | ||
|---|---|---|---|
| 999 |
_c25595 _d25595 |
||
| 001 | EBC5125103 | ||
| 003 | MiAaPQ | ||
| 005 | 20190105120443.0 | ||
| 006 | m o d | | ||
| 007 | cr cnu|||||||| | ||
| 008 | 181231s2012 xx o ||||0 eng d | ||
| 020 |
_a9789332510319 _q(electronic bk.) |
||
| 035 | _a(MiAaPQ)EBC5125103 | ||
| 035 | _a(Au-PeEL)EBL5125103 | ||
| 035 | _a(CaONFJC)MIL476026 | ||
| 035 | _a(OCoLC)1024271760 | ||
| 040 |
_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ |
||
| 082 |
_223 _a 005.131 |
||
| 100 | 1 | _aKandar, Shyamalendu. | |
| 245 | 1 | 0 | _aAutomata Theory and Formal Languages. |
| 250 | _a0 | ||
| 300 | _a1 online resource (377 pages) | ||
| 505 | 0 | _aCover -- About the Author -- Contents -- Foreword -- Preface -- Acknowledgements -- Chapter 1: Finite State Machine -- 1.1 Basics of Automata -- 1.2 Finite State Machine -- 1.3 State Equivalence and Minimization of Machine -- 1.4 Incompletely Specified Machine and Minimal Machine -- 1.5 Merger Graph and Compatibility Graph -- 1.6 Finite Memory and Definite Memory Machine -- 1.7 Information Lossless Machine and Inverse Machine -- 1.8 Inverse Machine -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- Chapter 2: Language and Grammar -- 2.1 Basic Terminology and Definitions -- 2.2 Grammar and Language -- 2.3 Chomsky Hierarchy -- 2.4 Examples -- 2.5 Context-sensitive Grammar -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- Chapter 3: Finite Automata -- 3.1 Basics About Finite Automata -- 3.2 Transitional System -- 3.3 Deterministic Finite Automata and Non-Deterministic Finite Automata -- 3.4 NFA with Null Move -- 3.5 Dead State -- 3.6 Finite Automata with Output -- 3.7 Conversion of Moore To Mealy Machine by Tabular Format -- 3.8 Conversion of Mealy to Moore Machine by Tabular Format -- 3.9 Conversion of Moore to Mealy Machine by Transitional Format -- 3.10 Conversion of Mealy to Moore Machine by Transitional Format -- 3.11 Minimization of Finite Automata -- 3.12 Myhill-Nerode Theorem -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- Chapter 4: Regular Expression -- 4.1 Basics of Regular Expression -- 4.2 Arden Theorem -- 4.3 Construction of Finite Automata Equivalent to a Regular Expression -- 4.4 NFA With (Qc(B Move and Conversion to DFA By (Qc(B - Closure Method. | |
| 505 | 8 | _a4.5 Equivalence of Two Finite Automata and Two Regular Expressions -- 4.6 Construction of Regular Grammar from a Regular Expression -- 4.7 Pumping Lemma and its Application -- 4.8 Closure Properties of Regular Set -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- Chapter 5: Context Free Grammar -- 5.1 Context Free Grammar: Definition and Examples -- 5.2 Derivation and Parse Tree -- 5.3 Ambiguity -- 5.4 Left Recursion and Left Factoring -- 5.5 Simplification of CFG -- 5.6 Normal Form -- 5.7 Constructing FA from Regular Grammar -- 5.8 Closure Properties of CFL -- 5.9 Pumping Lemma for CFL -- 5.10 Ogden's Lemma for CFL -- 5.11 Decision Algorithms -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answer -- Chapter 6: Pushdown Automata -- 6.1 Basics of Pushdown Automata -- 6.2 Acceptance by a PDA -- 6.3 Examples -- 6.4 Deterministic PDA and Non-Deterministic PDA -- 6.5 Pushdown Automata from Context Free Grammar -- 6.6 Graphical Notation for PDA -- What We Have Learned So Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- Chapter 7: Turing Machine -- 7.1 Basic of Turing Machine -- 7.2 Examples -- 7.3 Transitional Representation of Turing Machine -- What We Have Learned so Far -- Solved Problems -- Multiple Choice Questions -- Exercises -- Fill in the Blanks -- Answers -- References -- Index. | |
| 520 | _aThe organized and accessible format of Automata Theory and Formal Languages allows students to learn important concepts in an easy-to-understand, question-and-answer format. This portable learning tool has been designed as one-stop references for students to understand and master the subjects by themselves. | ||
| 590 | _aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2018. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. | ||
| 655 | 4 | _aElectronic books. | |
| 776 | 0 | 8 |
_iPrint version: _aKandar, Shyamalendu _tAutomata Theory and Formal Languages _dNoida : Pearson India,c2012 |
| 797 | 2 | _aProQuest (Firm) | |
| 856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/cethalassery/detail.action?docID=5125103 _zClick to View |
| 942 |
_2ddc _cBK |
||