Different formalisms can describe the same concept, but they don’t always make the same analyses easy. Eg: one of the main things we do with algorithms is anal

Different formalisms can describe the same concept, but they don’t always make the same analyses easy. Eg: one of the main things we do with algorithms is analyze their time and space complexity, and it’s often easier to do this in a state machine model