下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含五个用“”表示的状态和八个

下图是一个简单的ATM机中描述验证信用卡PIN活动的有限状态机。其中包含五个用“”表示的状态和八个用“→”表示的转移。转移上的标签所遵循的是：横线上方是引起转移的事件，横线下方是与该转移相关联的行动。该有限状态机允许储户有三次输入PIN的机会，如果三次都输入错误，则停止交易退卡。

请给出与此有限状态机等价的控制流图；