状态机写程序可以使用以下几种软件：
Java语言编写的FSM状态机生成工具
该工具可以生成C++、Java版本的FSM状态机源程序，状态设计只需填写文本文件即可，大大缩短状态机编程时间，并保证正确性。
Visual Studio Extensions for Windows Workflow Foundation
可以用来创建状态机工作流控制台应用程序项目，适用于Visual Studio用户。
SMC（State Machine Compiler）
SMC是用Java开发的一个状态机软件代码生成工具，支持多种开发语言，包括C、JavaScript、Python、C++、Lua、Ruby、C、Objective-C、Scala、Groovy、Perl、TCL、Java、PHP、VB.NET等。
EasyFSM
EasyFSM旨在为有限状态机自动生成代码，特别是针对游戏中的NPC行为编程，用户只需编辑一个.fsm文件即可简洁地描述状态机，并生成Java代码。
HEART-BLUE
这是一个简单的状态机示例程序，用VC2005实现，展示了状态之间的转换和动作执行。
LabVIEW
LabVIEW是一种图形化编程语言，适用于各种测量、控制和数据采集应用，支持通过拖拽和连接图标来编写程序。
Visual Studio
Visual Studio是微软公司开发的集成开发环境（IDE），支持多种编程语言，如C++、C等，适合开发上位机应用程序。
Qt Creator
Qt Creator是一种跨平台的集成开发环境，用于开发基于Qt框架的应用程序，支持图形界面、网络通信、数据库操作等功能。
Python
Python是一种简单易学的编程语言，也可以用于开发上位机应用程序。
根据具体需求和编程语言偏好，可以选择合适的工具来编写状态机程序。例如，如果需要快速生成代码并支持多种语言，SMC可能是一个不错的选择；如果使用Visual Studio进行开发，可以选择Windows Workflow Foundation相关的扩展。