The video covers different styles of modelling a state machine (Moore Machine), including combining state memory and next-state logic, combining state memory and output logic, or combining all three.