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 条
  • [41] Recognizing Reduplicated Forms: Finite-State Buffered Machines
    Wang, Yang
    SIGMORPHON 2021: 18TH SIGMORPHON WORKSHOP ON COMPUTATIONAL RESEARCH IN PHONETICS, PHONOLOGY, AND MORPHOLOGY, 2021, : 177 - 187
  • [42] Distributed extended Finite-State Machines: Communication and control
    Mannani, A.
    Yang, Y.
    Gohari, P.
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 161 - +
  • [43] ADDING LIVENESS PROPERTIES TO COUPLED FINITE-STATE MACHINES
    AGGARWAL, S
    COURCOUBETIS, C
    WOLPER, P
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (02): : 303 - 339
  • [44] Interface finite-state machines: Definition, minimization, and decomposition
    Daga, AJ
    Birmingham, WP
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (05) : 497 - 505
  • [45] Verification of Hypermedia Characteristic of RESTful Finite-State Machines
    Vu, Henry
    Fertig, Tobias
    Braun, Peter
    COMPANION PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE 2018 (WWW 2018), 2018, : 1881 - 1886
  • [46] Detecting citation types using finite-state machines
    Le, Minh-Hoang
    Ho, Tu-Bao
    Nakamori, Yoshiteru
    ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 2006, 3918 : 265 - 274
  • [47] Hierarchically accelerated dynamic programming for finite-state machines
    Shen, G
    Caines, PE
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2002, 47 (02) : 271 - 283
  • [48] Sequence compaction for probabilistic analysis of finite-state machines
    Marculescu, D
    Marculescu, R
    Pedram, M
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 12 - 15
  • [49] EXECUTION OF FUZZY PROGRAMS USING FINITE-STATE MACHINES
    CHANG, SK
    IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (03) : 241 - &
  • [50] HIGH-RATE REALIZATION OF FINITE-STATE MACHINES
    CHAO, C
    LOOMIS, HH
    IEEE TRANSACTIONS ON COMPUTERS, 1975, C 24 (07) : 729 - 740
12345