Thayse A. P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms

Berlin: Springer, 1984. — 254 p.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