发那科程序的主要格式是 G代码（G-code）。G代码是一种数控编程语言，用于指导数控机床进行加工操作。它由一系列的指令组成，每个指令都包含一个字母和一个或多个参数。这些指令告诉机床如何进行切削、进给、定位等操作。
除了G代码，发那科系统还使用其他一些文件格式，包括：
TP（Teach Pendant）文件格式：
TP文件是发那科机器人控制器上的程序文件，用于编写机器人的运动和逻辑控制。TP文件可以在Teach Pendant上直接编辑，也可以通过连接到计算机的编辑软件进行编写和修改。
LS（Ladder Sequence）文件格式：
LS文件是发那科机器人控制器上的梯形图程序文件，用于编写机器人的逻辑控制。LS文件使用梯形图的形式表示程序的执行流程和条件判断。
SV（Servo Variable）文件格式：
SV文件是发那科机器人控制器上的伺服变量文件，用于定义机器人的运动参数和位置数据。SV文件包含机器人的坐标系定义、速度、加速度等参数信息。
TPJ（Teach Pendant Job）文件格式：
TPJ文件是发那科机器人控制器上的作业文件，用于定义机器人的工作流程和任务执行顺序。
KAREL文件格式：
KAREL是发那科机器人控制器上的高级编程语言，用于编写复杂的逻辑控制和外部设备的接口程序。
建议根据具体的应用需求和操作环境选择合适的文件格式进行编程。