下推自动机的半环方法扩展,麻勇军,刘耀军,本文利用半环代数理论讨论了下推自动机,给出了下推自动机在字母表的幂集半环上的定义,特别是在字母表的幂集矩阵半环概念的基础