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 条

[21] A thermodynamically consistent model of finite-state machines
Chu, Dominique
Spinney, Richard E.
INTERFACE FOCUS, 2018, 8 (06)
[22] HEURISTIC PROCEDURE FOR REDUCTION OF FINITE-STATE MACHINES
STENTIFORD, FW
LEWIN, DW
ELECTRONICS LETTERS, 1971, 7 (23) : 700 - +
[23] Probabilistic finite-state machines - Part I
Vidal, E
Thollard, F
de la Higuera, C
Casacuberta, F
Carrasco, RC
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2005, 27 (07) : 1013 - 1025
[24] Verification of finite-state machines: A distributed approach
Gorrieri, Roberto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
[25] High-speed finite-state machines
Hoff, B
DR DOBBS JOURNAL, 1997, 22 (11): : 54 - +
[26] Model reduction of finite-state machines by contraction
Giua, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
[27] SIMULATING CHAOTIC BEHAVIOR WITH FINITE-STATE MACHINES
BINDER, PM
JENSEN, RV
PHYSICAL REVIEW A, 1986, 34 (05) : 4460 - 4463
[28] PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES
SUZUKI, I
INFORMATION PROCESSING LETTERS, 1988, 28 (04) : 213 - 214
[29] 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
[30] 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

← 1 2 3 4 5 →