摘要
本文刻画了输入存贮线性有限自动机本身结构矩阵的特点,证明了两个输入存贮线性有限自动机作积(后并、全直积、化合)之后仍然是输入存贮线性有限自动机,给出了两个输入存贮线性有限自动机作积之后的结构矩阵、自由响应生成矩阵、传输函数矩阵和原来两个输入存贮线性有限自动机的结构矩阵、自由响应生成矩阵、传输函数矩阵的关系。得出线性有限自动机M具有r阶输入存贮的等价命题。
The structure matrix of an input-memory linear finite automaton is characterized in this paper. It is proved that the full direct product, back connection and composition of two input-memory linear finite automata are still input-memory linear finite automata. The structure matrix, free response matrix and transfer function matrix of the full direct product, back connection and composition of two input-memory linear finite automata are constructed by using the corresponding matrices of the original two input-memory linear finite automata, respectively. An equivalent characterization for a liner finite automaton to be r-order input-memory is given.
出处
《工程数学学报》
CSCD
北大核心
2009年第3期437-442,共6页
Chinese Journal of Engineering Mathematics
基金
国家自然科学基金(60473005)
广西自然科学基金(0640061)
教育部优秀青年教师资助计划(2002-40)
关键词
输入存贮
全直积
后并
化合
矩阵
input-memory
full direct product
back connection
composition
matrix
