The Goto function,failure function and output function are established and the model achieves fast and exact fault diagnosis by using dendriform finite state automata.

• 该模型通过建立转向(goto)函数、失效(failure)函数和输出(output)函数,利用树型有限自动机实现了对机车信号快速准确的故障诊断。