Title :
Comments on "Algorithmic state machine design and automatic theorem proving: dual approaches to the same activity
Author :
Zsombor-Murray, P. ; Hudson, R.
fDate :
6/1/1989 12:00:00 AM
Abstract :
For original article see ibid., vol.C-31, no.10, p.853-61, Oct. 1986. Although the P-functions of the original paper are an aesthetically pleasing method for optimizing binary decision programs, existing procedures are probably more efficient. Current research applying Prolog to the automatic design of microprograms is outlined.<>
Keywords :
PROLOG; decision tables; microprogramming; theorem proving; P-functions; Prolog; algorithmic state machine; automatic design; automatic theorem proving; binary decision programs; microprograms; state machine design; Algorithm design and analysis; Automatic logic units; Boolean functions; Computer aided instruction; Costs; Intelligent robots; Logic programming; Mechanical systems; Optimization methods; System testing;
Journal_Title :
Computers, IEEE Transactions on
