Programmable finite automata for VLSI

We describe a method VLSI for design of programmable finite automata. For any fixed k it can be programmed to deterministically simulate a non-deterministic finite auto- maton with at most k states. For some constant c it runs in time on inputs of length n>b and in time on inputs of length n≧b where b is a constant influencing the size of the realisation, which can be chosen so that ck is much smaller than b. The design is modular, it consists of 0(bk 2) identical processes connected in a uniform manner.

[1]  Alfred V. Aho,et al.  Pattern Matching in Strings , 1980 .

[2]  Arto Salomaa,et al.  Automata-Theoretic Aspects of Formal Power Series , 1978, Texts and Monographs in Computer Science.

[3]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[4]  Karel Culik,et al.  Folding and unrolling systolic arrays (Preliminary Version) , 1982, PODC '82.

[5]  Amar Mukhopadhyay,et al.  Hardware Algorithms for Nonnumeric Computation , 1978, IEEE Transactions on Computers.

[6]  Magnus Steinby,et al.  Systolic Trees and Systolic Language Recognition by Tree Automata , 1983, Theor. Comput. Sci..

[7]  Jeffrey D. Ullman,et al.  The compilation of regular expressions into integrated circuits , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).