发那科程序主要使用的格式是 G代码（G-code）。G代码是一种数控编程语言，用于指导机床进行加工操作。它由一系列的指令组成，每个指令都包含一个字母和一个或多个参数，这些指令告诉机床如何进行切削、进给、定位等操作。
除了G代码外，发那科软件还支持其他几种文件格式：
TP文件（Teach Pendant）：这是发那科机器人控制器上的程序文件，用于编写机器人的运动和逻辑控制。
LS文件（Ladder Sequence）：这是发那科机器人控制器上的梯形图程序文件，用于编写机器人的逻辑控制，采用梯形图形式表示程序的执行流程和条件判断。
SV文件（Servo Variable）：这是发那科机器人控制器上的伺服变量文件，用于定义机器人的运动参数和位置数据。
此外，发那科程序还可以以F卡格式（通常是以.ENG或.PRG为扩展名）进行传输，并通过发那科系统的操作界面进行加载和运行。
建议在实际编程过程中，根据具体需求和操作环境选择合适的文件格式，以确保程序的正确性和有效性。