They have a finite number of memory states.
	One of the memory states is designated to be the start state, the state in which the machine always first starts
	Some of the memory states are selected to be goal states, or end states.
	Each input to the machine by the user causes the machine to change states from the current memory state to a different memory state based on what the input is.
	The set of inputs is well specified.  For example, if a dispensing machine takes coins, it only takes certain kinds, such as US nickels, dimes, and quarters.  This set of inputs is also finite.
	The sequence of inputs is finite.  For example, if someone is using a candy bar dispenser, he or she will only input a finite number of coins.