Algebraic representations for finite-state machines. I. Monoid-ring formulation

被引：0
|
作者：
Aerospace Corporation, 2350 East El Segundo Boulevard, El Segundo, CA 90245, United States [1 ]
不详 [2 ]
机构：
来源：
Linear Algebra Its Appl | / 109-126期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Special algebraic structures, which are rings of functions with finite support, are introduced. These structures are used to develop representations for finite-state machines. Three equivalent representations for finite-state machines are presented. The first is given in terms of elements of a monoid ring based on a finite set. The second is given in terms of elements of a monoid ring based on n-tuples. The third is given in terms of the polynomial ring in 2n indeterminates. The representations are shown to be unique, and examples of them are given.
引用
收藏
相关论文
共 12 条
  • [1] Algebraic representations for finite-state machines. I. Monoid-ring formulation
    Moeller, Thomas L.
    Milstein, Jaime
    Linear Algebra and Its Applications, 1996, 239
  • [2] Algebraic representations for finite-state machines .1. Monoid-ring formulation
    Moeller, TL
    Milstein, J
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1996, 239 : 109 - 126
  • [3] Algebraic representations for finite-state machines. II. Module formulation
    Linear Algebra Its Appl, (133):
  • [4] Algebraic representations for finite-state machines. II. Module formulation
    Aerospace Corporation, 2350 East El Segundo Boulevard, El Segundo, CA 90245, United States
    不详
    Linear Algebra Its Appl, (133-150):
  • [5] Algebraic representations for finite-state machines .2. Module formulation
    Moeller, TL
    Milstein, J
    LINEAR ALGEBRA AND ITS APPLICATIONS, 1996, 247 : 133 - 150
  • [6] GENERAL MODEL FOR MEMORY-BASED FINITE-STATE MACHINES.
    Coraor, Lee D.
    Hulina, Paul T.
    Morean, Orlando A.
    IEEE Transactions on Computers, 1987, C-36 (02) : 175 - 184
  • [7] PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES
    SUZUKI, I
    INFORMATION PROCESSING LETTERS, 1988, 28 (04) : 213 - 214
  • [8] Probabilistic finite-state machines - Part I
    Vidal, E
    Thollard, F
    de la Higuera, C
    Casacuberta, F
    Carrasco, RC
    IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2005, 27 (07) : 1013 - 1025
  • [9] Knowledge-driven Finite-State Machines. Study case in monitoring industrial equipment
    Moctezuma, Luis E. Gonzalez
    Ferrer, Borja Ramis
    Xu, Xiangbin
    Lobov, Andrei
    Lastra, Jose L. Martinez
    PROCEEDINGS 2015 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2015, : 1056 - 1062
  • [10] Algebraic generation of single domain computational grid for twin screw machines. Part I. Implementation
    Rane, Sham
    Kovacevic, Ahmed
    ADVANCES IN ENGINEERING SOFTWARE, 2017, 107 : 38 - 50
12