This lecture shows how finite-state machines can be modelled in general and introduces the model we use in our courses. Furthermore, we will look into two concrete examples showing how FSMs can be modelled given a description of their behavior.