En graf over tilstande og overgange, der beskriver svaret fra et objekt af en given klasse på modtagelsen af input udefra. En tilstandsmaskine er vedhæftet en klasse eller metode. Et tilstandsdiagram repræsenterer en tilstandsmaskine.