Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
34Activity
0 of .
Results for:
No results containing your search query
P. 1
Finite Automata - Detailed

Finite Automata - Detailed

Ratings: (0)|Views: 503 |Likes:
Published by api-26825468

More info:

Published by: api-26825468 on Oct 19, 2008
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

03/18/2014

pdf

text

original

Finite Automata
Mark V. Lawson
Heriot-Watt University, Edinburgh
September 23, 2004
Contents
Preface
v
1 Introduction to \ufb01nite automata
1
1.1 Alphabets and strings. . . . . . . . . . . . . . . . . . . . . . . .
1
1.2 Languages. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5
1.3 Languageoperations. . . . . . . . . . . . . . . . . . . . . . . . .

7 1.4 Finite automata: motivation. . . . . . . . . . . . . . . . . . . . . 11 1.5 Finite automata and their languages. . . . . . . . . . . . . . . . 14 1.6 Summary of Chapter 1. . . . . . . . . . . . . . . . . . . . . . . . 19

2 Recognisable languages
21

2.1 Designingautomata. . . . . . . . . . . . . . . . . . . . . . . . . 21 2.2 Incompleteautomata. . . . . . . . . . . . . . . . . . . . . . . . . 23 2.3 Automata that count. . . . . . . . . . . . . . . . . . . . . . . . . 27 2.4 Booleanoperations. . . . . . . . . . . . . . . . . . . . . . . . . . 31 2.5 Summary of Chapter 2. . . . . . . . . . . . . . . . . . . . . . . . 35

3 Non-deterministic automata
37

3.1 Accessibleautomata. . . . . . . . . . . . . . . . . . . . . . . . . 37 3.2 Non-deterministicautomata. . . . . . . . . . . . . . . . . . . . . 43 3.3 Applications. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50 3.4 Summary of Chapter 3. . . . . . . . . . . . . . . . . . . . . . . . 52

4\u03b5-automata
53

4.1 Automatawith\u03b5-transitions. . . . . . . . . . . . . . . . . . . . . 53 4.2 Applicationsof\u03b5-automata. . . . . . . . . . . . . . . . . . . . . 58 4.3 Summary of Chapter 4. . . . . . . . . . . . . . . . . . . . . . . . 61

5 Kleene\u2019s Theorem
63

5.1 Regularlanguages. . . . . . . . . . . . . . . . . . . . . . . . . . 63 5.2 An algorithmic proof of Kleene\u2019s theorem. . . . . . . . . . . . . 69 5.3 Summary of Chapter 5. . . . . . . . . . . . . . . . . . . . . . . . 77

iii

Activity (34)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
akbisoi1 liked this
akbisoi1 liked this
poojawarm liked this
Arnab Das liked this
socfreak390 liked this
shambo_9 liked this
rajasinghpatel liked this
Logeshwari Sekar liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->