Algebraic representations for finite-state machines. II. Module formulation

被引：0
|
作者：
Aerospace Corporation, 2350 East El Segundo Boulevard, El Segundo, CA 90245, United States [1 ]
不详 [2 ]
机构：
来源：
Linear Algebra Its Appl | / 133-150期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES
    BELHADJ, H
    GERBAUX, L
    BERTRAND, MC
    SAUCIER, G
    IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
  • [42] THE CONCATENATION AND PARTITIONING OF LINEAR FINITE-STATE MACHINES
    SUN, X
    KONTOPIDI, E
    SERRA, M
    MUZIO, J
    INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 78 (05) : 809 - 839
  • [43] On a class of optimal abstractions of finite-state machines
    Oikonomou, KN
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (03) : 195 - 220
  • [44] Collapsing ε-loops in weighted finite-state machines
    Johnson, J. Howard
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2006, 4002 : 110 - 119
  • [45] LOWER BOUNDS ON THE AREA OF FINITE-STATE MACHINES
    FOSTER, MJ
    GREENBERG, RI
    INFORMATION PROCESSING LETTERS, 1989, 30 (01) : 1 - 7
  • [46] STATE ASSIGNMENT OF FINITE-STATE MACHINES USING A GENETIC ALGORITHM
    ALMAINI, AEA
    MILLER, JF
    THOMSON, P
    BILLINA, S
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1995, 142 (04): : 279 - 286
  • [47] STEADY-STATE OPTIMAL CONTROL OF FINITE-STATE MACHINES
    DORATO, P
    AUTOMATICA, 1971, 7 (03) : 351 - +
  • [48] EFFICIENT METHOD FOR STORING AND RETRIEVING FINITE STATE MACHINES.
    Aoe, Junichi
    Yamamoto, Yoneo
    Shimada, Ryosaku
    Systems, computers, controls, 1982, 13 (06): : 1 - 8
  • [49] Employing finite-state machines in data integrity problems
    Malikov, Andrey
    Voronkin, Vladimir
    Shiryaev, Nikolay
    20TH INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2016), 2016, 76
  • [50] TEST DERIVATION FROM NONDETERMINISTIC FINITE-STATE MACHINES
    KLOOSTERMAN, H
    PROTOCOL TEST SYSTEMS, V, 1993, 11 : 297 - 308
12345