15-453 Formal Languages, Automata, and Computation
Lecture 3: Applications of Finite State Machines

In this first of two lectures on applications of finite state machines in computer science we discuss their use for protocol specification and data classification.

This lecture prepared and delivered by Mihai Budiu.

• Lecture notes: lecture03.ps, lecture03.pdf
• Previous lecture: Finite Automata
• Next lecture: Model Checking

[ Home | Schedule | Assignments | Handouts | Overview ]

fp@cs
Frank Pfenning