Cs133 day01

Automata Theory

Foundations of Automata Theory

CS 133 : Automata Theory and Computability An Introduction Nestine Hope S. Hernandez Algorithms and Complexity Laboratory Department of Computer Science University of the Philippines, Diliman nshernandez@dcs.upd.edu.ph

Day 1

Automata Theory

Foundations of Automata Theory

An Introduction

Automata Theory

Foundations of Automata Theory

Automata Theory

Foundations of Automata Theory

Introduction

Automata Theory

Foundations of Automata Theory

Automata Theory

Foundations of Automata Theory

Theory of Computation • Comprises the fundamental mathematical properties of computer

hardware, software, and applications • To determine what can and cannot be computed, how quickly,

with how much memory, and on which type of computational model

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas:

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability 3. Complexity

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability 3. Complexity =⇒ What are the fundamental capabilities and limitations of computers?

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability 3. Complexity

Classification of problems as easy ones and hard ones

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability 3. Complexity

Classification of problems by those that are solvable and those that are not solvable

Automata Theory

Foundations of Automata Theory

Theory of Computation Central Areas: 1. Automata 2. Computability 3. Complexity

Deals with the definitions and properties of mathematical models of computation

Automata Theory

Foundations of Automata Theory

What is Automata Theory?

Automata theory is the study of abstract computing devices and their capacities.

Automata Theory

Foundations of Automata Theory

What is Automata Theory?

Automata theory is the study of abstract computing devices and their capacities. • an excellent place to begin the study of the theory of computation

Automata Theory

Foundations of Automata Theory

What is Automata Theory?

Automata theory is the study of abstract computing devices and their capacities. • an excellent place to begin the study of the theory of computation • allows practice with formal definitions of computation

Automata Theory

Foundations of Automata Theory

Why Study Automata Theory?

Automata Theory

Foundations of Automata Theory

Why Study Automata Theory?

• IT IS REQUIRED FOR YOUR BS DEGREE.

Automata Theory

Foundations of Automata Theory

Why Study Automata Theory?

• IT IS REQUIRED FOR YOUR BS DEGREE. • It gives you certain models for computation.

Automata Theory

Foundations of Automata Theory

Why Study Automata Theory?

• IT IS REQUIRED FOR YOUR BS DEGREE. • It gives you certain models for computation.

• It gives you a notion of what a computer can and cannot do.

Automata Theory

Foundations of Automata Theory

Why Study Automata Theory?

• IT IS REQUIRED FOR YOUR BS DEGREE. • It gives you certain models for computation.

• It gives you a notion of what a computer can and cannot do.

• FOR FUN!!!

Automata Theory

Foundations of Automata Theory

Some Applications of Automata Theory

Automata Theory

Foundations of Automata Theory

Some Applications of Automata Theory • (String) Pattern matching

=⇒ Regular Expressions

Automata Theory

Foundations of Automata Theory

Some Applications of Automata Theory • (String) Pattern matching

=⇒ Regular Expressions • Programming languages

=⇒ Context-Free Languages / Grammars

Automata Theory

Foundations of Automata Theory

Introduction

Automata Theory

Foundations of Automata Theory

Automata Theory

Foundations of Automata Theory

Discrete Mathematics • Sets • Sequences and Tuples • Functions and Relations • Graphs • Boolean Logic • Proving Techniques

Automata Theory

Foundations of Automata Theory

Linguistics • Alphabets • Strings • Grammar • Languages

Automata Theory

Foundations of Automata Theory

Questions?

See you next meeting!