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

被引：0
|
作者：
Moeller, TL [1 ]
Milstein, J [1 ]
机构：
[1] AEROSP CORP,EL SEGUNDO,CA 90245
来源：
LINEAR ALGEBRA AND ITS APPLICATIONS | 1996年 / 239卷
关键词：
D O I：
暂无
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
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.
引用
收藏
页码：109 / 126
页数：18
相关论文
共 50 条
  • [21] Training Linear Finite-State Machines
    Ardakani, Arash
    Ardakani, Amir
    Gross, Warren J.
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 33, NEURIPS 2020, 2020, 33
  • [22] Product Construction of Finite-State Machines
    Hsieh, Samuel C.
    WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2, 2010, : 141 - 143
  • [23] CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    ZEIGER, HP
    INFORMATION AND CONTROL, 1967, 10 (04): : 419 - &
  • [24] STATE REDUCTION IN INCOMPLETELY SPECIFIED FINITE-STATE MACHINES
    PFLEEGER, CP
    IEEE TRANSACTIONS ON COMPUTERS, 1973, C 22 (12) : 1099 - 1102
  • [25] TESTING FINITE-STATE MACHINES - STATE IDENTIFICATION AND VERIFICATION
    LEE, D
    YANNAKAKIS, M
    IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (03) : 306 - 320
  • [26] AN ALGEBRAIC FRAMEWORK TO REPRESENT FINITE-STATE MACHINES IN SINGLE-LAYER RECURRENT NEURAL NETWORKS
    ALQUEZAR, R
    SANFELIU, A
    NEURAL COMPUTATION, 1995, 7 (05) : 931 - 949
  • [27] The grassfire transform using finite-state machines
    Waltz, FM
    Miller, JWV
    MACHINE VISION AND THREE-DIMENSIONAL IMAGING SYSTEMS FOR INSPECTION AND METROLOGY II, 2002, 4567 : 113 - 120
  • [28] Data-Parallel Finite-State Machines
    Mytkowicz, Todd
    Musuvathi, Madanlal
    Schulte, Wolfram
    ACM SIGPLAN NOTICES, 2014, 49 (04) : 529 - 541
  • [29] A SURVEY OF THE THEORY OF FINITE-STATE LOGICAL MACHINES
    HUFFMAN, D
    PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1959, 47 (03): : 478 - 478
  • [30] A thermodynamically consistent model of finite-state machines
    Chu, Dominique
    Spinney, Richard E.
    INTERFACE FOCUS, 2018, 8 (06)
12345