ON LOWER BOUND TO MEMORY OF FINITE STATE MACHINES

被引：3

作者：

VAIRAVAN, K

机构：

[1] Department of Electrical Engineering, University of Wisconsin, Milwaukee

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1969年 / C 18卷 / 09期

关键词：

D O I：

10.1109/T-C.1969.222782

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

A finite state machine (FSM) is said to have finite memory µ if µ is the least integer such that yk=f(xk, xk-1,…,xk-μ, yk-1, … μk-u) where yk and xkrepresent the output and input at time k. If no such µ exists, then by convention the memory is said to be infinite. It has been observed [1] that if the memory of a p-nary input, q-nary output n-state minimal nondegenerate FSM is finite, then the memory µ is bounded as follows. © 1969 IEEE. All rights reserved.

引用

页码：856 / &

共 50 条

[41] 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 - +
[42] Supervisory control of finite state machines
Aziz, A
Balarin, F
Brayton, RK
DiBenedetto, MD
Saldanha, A
COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
[43] Stability of deterministic finite state machines
Tarraf, DC
Dahleh, MA
Megretski, A
ACC: PROCEEDINGS OF THE 2005 AMERICAN CONTROL CONFERENCE, VOLS 1-7, 2005, : 3932 - 3936
[44] 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
[45] Stochastic testing of finite state machines
Hadjicostis, CN
PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 4568 - 4573
[46] Lossy communicating finite state machines
Peng, WX
6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS II, 2002, : 37 - 42
[47] INVERSES AND ADJOINTS OF FINITE STATE MACHINES
PORTER, WA
INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 201 - 211
[48] Products of fuzzy finite state machines
Malik, DS
Mordeson, JN
Sen, MK
FUZZY SETS AND SYSTEMS, 1997, 92 (01) : 95 - 102
[49] Synthesis tool for low-power finite-state machines with mixed synchronous/asynchronous state memory
Cao, C.
O'Nils, M.
Oelmann, B.
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2006, 153 (04): : 243 - 248
[50] Transducing reversibly with finite state machines
Kutrib, Martin
Malcher, Andreas
Wendlandt, Matthias
THEORETICAL COMPUTER SCIENCE, 2019, 787 : 111 - 126

← 1 2 3 4 5 →