发那科程序支持的格式包括：
G代码（G-code）：
G代码是一种数控编程语言，用于指导数控机床进行加工操作。发那科系统支持标准的G代码格式，可以通过编写G代码来指定机床的加工路径和操作。
NC格式：
NC格式是发那科系统特有的编程格式，用于描述数控加工的指令和参数。
M代码：
M代码是用来控制机床的辅助功能的代码，如启动和停止主轴、冷却系统、进给和快速移动等。发那科系统支持标准的M代码格式。
EIA格式：
EIA（Electronic Industries Alliance）是美国电子工业联盟制定的一种标准格式，用于描述机床的加工过程和操作。发那科系统可以读取和解析EIA格式的程序。
ISO格式：
ISO（International Organization for Standardization）是国际标准化组织制定的一种标准格式，用于描述机床的加工过程和操作。发那科系统可以读取和解析ISO格式的程序。
CAM格式：
CAM（Computer-Aided Manufacturing）是一种通过计算机辅助设计和制造的技术，可以将设计好的零件模型转换为机床可执行的程序。发那科系统支持常见的CAM文件格式，如.GPX、.NC、.TAP等。
TP（Teach Pendant）文件格式：
TP文件是发那科机器人控制器上的程序文件，用于编写机器人的运动和逻辑控制。TP文件可以在Teach Pendant上直接编辑，也可以通过连接到计算机的编辑软件进行编写和修改。
LS（Ladder Sequence）文件格式：
LS文件是发那科机器人控制器上的梯形图程序文件，用于编写机器人的逻辑控制。LS文件使用梯形图的形式表示程序的执行流程和条件判断。
SV（Servo Variable）文件格式：
SV文件是发那科机器人控制器上的伺服变量文件，用于定义机器人的运动参数和位置数据。
建议根据具体的加工需求和机床类型选择合适的编程格式，以确保程序的正确性和有效性。