关于while结构

判断条件是 itertion terminal(i)是否等于外部设置的一个常数a，stop if true.
如，i+1=a? 但是我发现while是先执行它里面的命令然后再进行判断。在i+1=a以后还会
再执行一次，请问while结构是不是先执行再判断？多谢！

同时的，比如a＝2，会运行两次，i＝0一次，i＝1一次，
并不是说在i+1=a以后“再”执行一次，而是在判断这个的同时，其他命令也要按数据流运行，知道判断的命令和其他指令都结束了，算是完整的执行了一次。
亮灯看看吧

应该相当于c里面的do...while循环
循环至少执行一次吧

nod,即便a＝0，也会循环一次