状态集合K：{start，add，carry，noncarry，overflow，return，halt}；字母表∑：{，，}；其中，初始状态为start，停机状态集合为{halt}