Product Construction of Finite-State Machines

被引：0
|
作者：
Hsieh, Samuel C. [1 ]
机构：
[1] Ball State Univ, Dept Comp Sci, Muncie, IN 47306 USA
来源：
WORLD CONGRESS ON ENGINEERING AND COMPUTER SCIENCE, VOLS 1 AND 2 | 2010年
关键词：
deterministic finite-state machine; product machine construction; theory; unreachable state;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Two algorithms to construct a product machine from two finite-state machines are presented and analyzed. The first algorithm is simple and correctly produces a product machine, but the product machine may include unreachable states and associated transitions. The second algorithm produces a functionally correct product machine that has no unreachable states.
引用
收藏
页码：141 / 143
页数：3
相关论文
共 50 条
  • [1] IN FINITE-STATE MACHINES, LIVING MACHINES
    KRUGER, T
    ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
  • [2] Periodic finite-state machines
    Kopetz, H.
    El-Salloum, C.
    Huber, B.
    Obermaisser, R.
    10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2007, : 10 - +
  • [3] ON COMMUNICATING FINITE-STATE MACHINES
    BRAND, D
    ZAFIROPULO, P
    JOURNAL OF THE ACM, 1983, 30 (02) : 323 - 342
  • [4] State assignment of finite-state machines
    Ahmad, I
    Dhodhi, MK
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
  • [5] Robots and finite-state machines
    Carter, EF
    DR DOBBS JOURNAL, 1997, 22 (02): : 50 - +
  • [6] Refinement of finite-state machines
    Li, HW
    Min, YH
    Li, ZC
    CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
  • [7] The state reduction of nondeterministic finite-state machines
    Damiani, M
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
  • [8] In vitro implementation of finite-state machines
    Garzon, M
    Gao, Y
    Rose, JA
    Murphy, RC
    Deaton, R
    Franceschetti, DR
    Stevens, SE
    AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
  • [9] Abstractions of random finite-state machines
    Oikonomou, KN
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 18 (03) : 171 - 207
  • [10] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
    HUNT, BR
    IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
12345