FSTL3

引入形式语言理论新概念用于分解与表示

研究人员在形式语言理论中引入了新概念，重点关注特定代数结构中的相对素数分解和有限状态表示。他们区分了唯一分解和有限相对表示属性（FRP），并证明了一个有限商可以具有唯一分解而没有FRP。为了解决这个问题，他们提出了有限状态相对表示属性（FSRP）和素数目标左除确定性（PTLD），这暗示了唯一分解和其他期望的属性。该工作还包括一个用于规范PTLD表示的学习算法。