Abstract: A model of a finite state machine suited for implementation in a microcomputer includes logical specifications stored in memory which determine whether a change of outputs should be effected in response to predetermined combinations of input parameters and whether a change of state should be effected based on stored logical conditions of input parameters. Additional control of the flow of the steps of the finite state machine are under the control of the designer wherein a designer controlled variable permits a selection following a state transition as to whether or not an immediate test or input parameters will be made to determine whether additional actions are required or whether a return to a determination of state transition is to be made.

Abstract: A set of indexes associated with each state of the finite state machine provides an address locator to a location in memory of a microprocessor where sets of logical vectors are stored. A count stored in a group of logical vectors identifies the number of stored logical vectors and hence, permits memory allocation to vary depending upon the number of logical conditions to be applied for a given test. A predetermined null value entered in an index is interpreted by the finite state machine as requiring no further processing and having no corresponding memory allocated for logical vectors.

Abstract: An improved frothing aid composition for use in combination with sodium polyacrylate viscosity regulator which consists about 70 to 99% by weight of a surfactant and from about 1 to 30% by weight of a thickener comprising a copolymer of acrylic or methacrylic acid with at least one copolymerizable monomer selected from the group consisting of alkyl acrylates or methacrylates having up to 6 carbons in the alkyl, vinylidene aromatic monomers and aliphatic conjugated diene monomers of 4-10 carbon atoms.