.. _defining:

*****************
Defining automata
*****************

To be written.