T1 Mealy machines
T2 Sets
T3 Regular expressions
T4 Turing machines
T5 Backus-Naur form
T6 Reverse Polish notation