Algebraic representations for finite-state machines. II. Module formulation

被引：0

|

作者：

Aerospace Corporation, 2350 East El Segundo Boulevard, El Segundo, CA 90245, United States ^{[1
]}

不详 ^{[2
]}

机构：

来源：

Linear Algebra Its Appl | / 133-150期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[31] Data-Parallel Finite-State Machines
Mytkowicz, Todd
Musuvathi, Madanlal
Schulte, Wolfram
ACM SIGPLAN NOTICES, 2014, 49 (04) : 529 - 541
[32] A SURVEY OF THE THEORY OF FINITE-STATE LOGICAL MACHINES
HUFFMAN, D
PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1959, 47 (03): : 478 - 478
[33] A thermodynamically consistent model of finite-state machines
Chu, Dominique
Spinney, Richard E.
INTERFACE FOCUS, 2018, 8 (06)
[34] HEURISTIC PROCEDURE FOR REDUCTION OF FINITE-STATE MACHINES
STENTIFORD, FW
LEWIN, DW
ELECTRONICS LETTERS, 1971, 7 (23) : 700 - +
[35] 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
[36] Verification of finite-state machines: A distributed approach
Gorrieri, Roberto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
[37] High-speed finite-state machines
Hoff, B
DR DOBBS JOURNAL, 1997, 22 (11): : 54 - +
[38] Model reduction of finite-state machines by contraction
Giua, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
[39] SIMULATING CHAOTIC BEHAVIOR WITH FINITE-STATE MACHINES
BINDER, PM
JENSEN, RV
PHYSICAL REVIEW A, 1986, 34 (05) : 4460 - 4463
[40] PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES
SUZUKI, I
INFORMATION PROCESSING LETTERS, 1988, 28 (04) : 213 - 214

← 1 2 3 4 5 →