下推自动机的半环方法扩展
he Extend Semirings Method for Pushdown Automata
本文利用半环代数理论讨论了下推自动机,给出了下推自动机在字母表的幂集半环上的定义,特别是在字母表的幂集矩阵半环概念的基础上给出了下推转换矩阵的定义,并使下推自动机的行为和字母表的幂集矩阵半环建立了联系,最终使下推自动机的计算转换为下推转换矩阵的运算,更符合数学的角度。
In this note , the pushdown automata are introduced by using the method of power set alphabet semirings and the tools from linear algebra. The pushdown automata are defined via semirings. Especially, the definition of a pushdown transiton matrix bulited the connects between power set alphabet semirings and the behavior of automata. This makes the discussion of pushdown automata more reasonable from the mathematical point of view.
麻勇军、刘耀军
数学
半环线性代数下推自动机
semiringslinear algebrapushdown automata
麻勇军,刘耀军.下推自动机的半环方法扩展[EB/OL].(2009-04-29)[2025-08-18].http://www.paper.edu.cn/releasepaper/content/200904-907.点此复制
评论