Comments on 'Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity'
Issue No.06 - June (1989 vol.38)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/12.24299
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.
gorithmic state machine; state machine design; automatic theorem proving; P-functions; binary decision programs; Prolog; automatic design; microprograms; decision tables; microprogramming; PROLOG; theorem proving.
P. Zsombor-Murray, P. Baracos, R. Hudson, "Comments on 'Algorithmic State Machine Design and Automatic Theorem Proving: Dual Approaches to the Same Activity'", IEEE Transactions on Computers, vol.38, no. 6, pp. 880-881, June 1989, doi:10.1109/12.24299