1.题目：用状态机设计交通灯控制器，设计要求：A路和B路都有红、黄、绿三种灯，持续时间为红灯45s、黄灯5s、绿灯40s。A路和B路交通灯的状态转移为 （1）A红，B绿（持续时间40s）； （2）A红，B黄（持续时间5s）； （3）A绿，B红（持续时间40s）； （4）A黄，B红（持续时间5s）。

这是一个简单的交通灯控制器的状态机设计，可以用以下状态表示：

- A红，B绿：state_A_red_B_green
- A红，B黄：state_A_red_B_yellow
- A绿，B红：state_A_green_B_red
- A黄，B红：state_A_yellow_B_red

我们可以用一个变量current_state来表示当前状态，并且在每个状态持续时间到达时，自动转移到下一个状态。可以使用一个定时器来实现状态的持续时间控制。

下面是状态转移图：

           +---------------------------+
           |                           |
           |                           |
           |                           |
+----------+----------+       +--------+--------+
|  A红，B绿：state_A_red_B_green |  A红，B黄：state_A_red_B_yellow |
+---------------------------+       +--------+--------+
|                           |                |
|                           |                |
|                           |                |
|                           |          +-----+-----+
|                           |          |           |
|                           |          |           |
|                           |          |           |
|                           |  +-------+-------+   |
|                           |  | A绿，B红：state_A_green_B_red |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  |                   |   |
|                           |  +-------------------+   |
|                           |                           |
|                           |                           |
|                           |                           |
|                           |         +-----------------+--+
|                           |         | A黄，B红：state_A_yellow_B_red |
|                           |         |                             |
|                           |         |                             |
|                           +---------+-----------------------------+
|                                     |
|                                     |
|                                     |
+-------------------------------------+

在状态转移图中，每个状态的名称表示A路和B路的灯的状态。例如，state_A_red_B_green表示A路为红灯，B路为绿灯。从一个状态转移到另一个状态的箭头上标有转移条件（例如，当A路为红灯持续了45秒时，将从state_A_red_B_green转移到state_A_red_B_yellow）。

根据状态转移图，我们可以编写一个程序来实现交通灯控制器的状态机设计。