• Articles • Previous Articles    

On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton

Chen Shihua;   

  1. Institute of Software; Academia Sinica;
  • Online:1986-05-10 Published:1986-05-10

In this paper, we first give a method by which, for any weakly invertible finite automaton M with delay τ, the set of all weak inverse finite automata of M with delay τ can be constructed. We then give a method by which, for any invertible one, all its inverses with delay τ can also be constructed.

Key words: built-in self-test(BIST),at-speed testing,high-level synthesis,data path;



[1] Chen Shihua, On the structure of weak inverses of a weakly invertible linear Fnite automaton, Chinese J.of Computers, 4:6(1981), 409--419.

[2] Tao Renji, Invertihilitv of Finite Automata, Science Press, Beijing, 1979 (in Chinese.)

[3] Tao Renji and Chen Shihua, Scone properties on the structure of invertible and inverse finite automata with delay τ, Chinese J.of Computers. 3:4(1980), 289-297.

[4] Tao Renji, Introduction to Automata Theory, Science Press, Beijing, 1986(in Chinese). ……….
No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[3] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[4] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[5] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[6] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[7] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[8] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[9] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .
[10] Meng Liming; Xu Xiaofei; Chang Huiyou; Chen Guangxi; Hu Mingzeng; Li Sheng;. A Tree-Structured Database Machine for Large Relational Database Systems[J]. , 1987, 2(4): 265 -275 .

ISSN 1000-9000(Print)

         1860-4749(Online)
CN 11-2296/TP

Home
Editorial Board
Author Guidelines
Subscription
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
Tel.:86-10-62610746
E-mail: jcst@ict.ac.cn
 
  Copyright ©2015 JCST, All Rights Reserved