一种生物序列分析算法递推关系转换方法、工具及系统

本发明公开了一种生物序列分析算法递推关系转换方法、工具及系统，该方法把需要转换的递推关系经过词法分析和语法分析，然后将每个递推关系的语法树进行语义分析；根据递推关系的数量循环进行代码转换，每一个循环内部基于简化的语法和相关信息，得到等价数量的Isabelle函数；补充Isabelle函数必要的头尾，形成完整的Isabelle理论，最后输出Isabelle理论文件。本发明可用于完成从生物序列分析算法递推关系到Isabelle函数的自动转换，极大地提高了证明工作的效率和便捷性。