Rule for the machines.
Minor changes.
Added containers for sets of deterministic and nondeterministic rules.
Tests for the containers.
Structures for deterministic and nondeterminsitic finite automata.