state diagram — diagram used in computer engineering and computer science