Preface

Contents

Index

Glossary

Models

Rogues

Nondeterminism

To motivate a discussion of nondeterminism, run the following finite state automaton.  Notice as you do this is that from the start state there is more than one arrow leaving that state with the same label.  This is what leads to nondeterminism.