1. Top concepts
  2. informatics
  3. automata
  4. finite automata
  5. sequential machines