Add some line breaks

Author: sdzx-1

content/post/2024-11-26-typed-fsm.md

@@ -40,6 +40,7 @@ typed-fsm-zig 是一种编程的思想，掌握这种思想就能方便的使用
 ATM 代表自动取款机，因此它的代码的逻辑就是模拟自动取款机的一些行为：插入银行卡,输入pin,检查pin,取钱,修改pin。
 
 它的状态机整体如下：
+
 ![ATM](/images/typed-fsm/2.1-1.png)
 
 图中椭圆形表示状态，箭头表示消息。
@@ -52,12 +53,15 @@ ATM 代表自动取款机，因此它的代码的逻辑就是模拟自动取款
 这代表了一种循环，表示用户输错了pin，但是可以再次尝试输入pin，当然我们要求最多可以尝试三次。
 
 整个程序效果如下：
+
 ![ATM](/images/typed-fsm/2.1-2.png)
 
 这里注意消息Update， 它代表跟新pin，同时将状态转从changePin换到ready。
+
 ![ATM](/images/typed-fsm/2.1-4.png)
 
 实际的表现就是在changePin的界面中我们修改pin，然后点击Change按钮触发Update消息，修改pin，并返回到ready界面。
+
 ![ATM](/images/typed-fsm/2.1-3.png)
 
 接下来的文章中我将修改Update的行为，并展示在这个过程中类型系统如何帮助我快速调整代码。
@@ -78,6 +82,7 @@ ATM 代表自动取款机，因此它的代码的逻辑就是模拟自动取款
 我们修改这里，把它变成.cardInserted ， 这代表了我们要求跟新完pin之后进入cardInserted界面重新输入新的pin，这看着是个合理的要求。
 
 新的状态图如下：
+
 ![ATM](/images/typed-fsm/2.2-1.png)
 
 
@@ -119,6 +124,7 @@ referenced by:
 
 这一节中我们尝试移除changePin状态，看看类型系统会给我们什么反馈。
 如果移除changePin，新的状态图如下：
+
 ![ATM](/images/typed-fsm/2.3-1.png)
 
 重新编译项目，将获得类型系统的反馈