本頁只刊出中文翻譯與中文說明；英文原文請見下方原文連結。
原文連結
論文資訊
- 類型：已發表論文
- 日期：2022-09-02
摘要
我們發展了一種基於線性和上下文無關語法的代數運算理論，使得將單一序列上的簡單「原子」語法組合成複雜的多維語法成為可能。我們透過將多個輸入序列上的複雜對齊問題的搜尋空間明確建構成非常簡單的一維語法的代數表達式來展示該框架的實用性。特別是，我們提供了一種完全有效的移碼感知、半全局 DNA-蛋白質比對演算法，其語法由小型原子語法的產物組成。我們的理論附帶的編譯器可以輕鬆嘗試多種語法和不同操作的組合。複合語法可以用 LATEX 編寫出來作為文件並作為動態規劃演算法實現的指南。作為特定於領域的語言嵌入 Haskell 使得該理論可以直接用於編寫和使用語法產品，而無需繞道外部編譯器。軟體和補充文件可在此處取得：