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 条
  • [31] On a class of optimal abstractions of finite-state machines
    Oikonomou, KN
    FORMAL METHODS IN SYSTEM DESIGN, 1996, 8 (03) : 195 - 220
  • [32] Collapsing ε-loops in weighted finite-state machines
    Johnson, J. Howard
    FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2006, 4002 : 110 - 119
  • [33] LOWER BOUNDS ON THE AREA OF FINITE-STATE MACHINES
    FOSTER, MJ
    GREENBERG, RI
    INFORMATION PROCESSING LETTERS, 1989, 30 (01) : 1 - 7
  • [34] 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
  • [35] STEADY-STATE OPTIMAL CONTROL OF FINITE-STATE MACHINES
    DORATO, P
    AUTOMATICA, 1971, 7 (03) : 351 - +
  • [36] 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
  • [37] TEST DERIVATION FROM NONDETERMINISTIC FINITE-STATE MACHINES
    KLOOSTERMAN, H
    PROTOCOL TEST SYSTEMS, V, 1993, 11 : 297 - 308
  • [38] TESTING FINITE-STATE MACHINES - FAULT-DETECTION
    YANNAKAKIS, M
    LEE, D
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 209 - 227
  • [39] AMENDMENTS TO ZEIGERS CASCADE SYNTHESIS OF FINITE-STATE MACHINES
    CUTLIP, WF
    INFORMATION AND CONTROL, 1968, 12 (5-6): : 499 - &
  • [40] EMBEDDING LARGE FINITE-STATE MACHINES INTO PROGRAMMABLE DEVICES
    DUDZIAK, H
    REITHER, F
    LIPP, HM
    MICROELECTRONICS JOURNAL, 1994, 25 (03) : 171 - 182
12345