• DocumentCode
    968699
  • Title

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

  • Author

    Zsombor-Murray, P. ; Hudson, R.

  • Volume
    38
  • Issue
    6
  • fYear
    1989
  • fDate
    6/1/1989 12:00:00 AM
  • Firstpage
    880
  • Lastpage
    881
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.24299
  • Filename
    24299
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=968699