P-Functions and Boolean Matrix Factorization [electronic resource] : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms / by André Thayse.

Instructions and models of algorithm implementation -- The synthesis of algorithms -- The formulation of algorithms synthesis in terms of P-functions -- The synthesis of (or)-interpreted matrix-instructions with disjoint colums -- The synthesis of (or)-interpreted matrix-instructions -- The synthesis of (and)-interpreted matrix-instructions -- A summary and the conclusion of part I -- Representation of instructions by means of parallel flowcharts or of Petri nets -- Synchronous and asynchronous implementation of instructions -- Programmed implementation of instructions -- Microprogrammed implementation of instructions -- A summary and the conclusion of part II -- Laws acting on P-functions -- The multivalued extension of P-functions and of their laws -- The vectorial extension of P-functions and of their laws -- Finite automata, matrix-instructions and speech recognition.