Comments on "Algorithmic state machine design and automatic theorem proving: dual approaches to the same activity

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.<
>