Cover

Preface

Contents

Index

Glossary

Models

Rogues

A First Exercise

In this exercise, you are to construct a finite state automaton to recognize the set of non-empty binary strings that have even parity.