On State Machines of Calculating Type