1. Top concepts
  2. informatics
  3. automata
  4. general theory of automata