Begränsad Tillståndsmaskin

En datamodell som består av ett begränsat antal tillstånd och tillståndsövergångar mellan dessa tillstånd, möjligen med medföljande handlingar (action).