Contents

1 Introduction 1
1.1 Sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Functions and Relations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Countable and uncountable sets . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4 Proof Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

2 Languages and Grammars 9

2.1 Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 Regular Expressions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Grammars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.4 Classification of Grammars and Languages . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.5 Normal Forms of Context-Free Grammars . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5.1 Chomsky Normal Form (CNF) . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.5.2 Greibach Normal Form (GNF) . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

3 Finite State Automata 21

iii