AOP Binary Operators (Prioritors)
Back Home Main Next  

Home News Links Search Feedback Software Elements
Researches AOP Degeneracy GTODE Implementations Optimum Download

AOP

Paper-1
TOC-1

Tables
Figures
Computer
Symbols
Researches

Degeneracy

Paper-1
Paper-2
Paper-3
Paper-4
Researches

GTODE

Paper-1
Paper-2
Paper-3
Paper-4
Researches

 

Contents prioritors, prioritors number, special, down-del prioritor, up-del prioritor
See also TOC
Abstract Introduction Priority Unary Prioritors Operations
TAS Theorems Orthogonal Expansion Image-Scaling Degeneracy
Design Derive  AOP Versus Tables Figures Proofs
Computer Bibliography        

4- THE BINARY OPERATORS OF AOP

            Boolean algebra uses the AND and OR as its binary operators. Post algebra uses the MIN and MAX as its binary operators. AOP uses a more generalized set of binary operators called “prioritors” as defined in Definition 4.1. This makes AOP a multi-operational algebra. The AND, OR, MIN, MAX are a subset of the prioritors of AOP. The number of prioritors in a z-radix digital system is equal to z! as we will prove that later in this section. The number of prioritors is 2 in the binary digital system, 6 in the ternary digital system and 24 in the quaternary digital system. Table-2

            Before we define prioritors in AOP, we will reanalyze mathematically the priority-assignment represented by the priority s-code. The priority-assignment represents a one-to-one function that maps the priority set to the logic-set. The domain of this function is the priority set and the range of the function is the logic-set. Since xÎpriority set and f(x)Îlogic-set, then the function notation f(X) is read as the digit that has the ‘x’ priority. For example, if f=4S3021, then f(1) is the digit that has the "1" priority which is 2. Similarly, f(0)=1; f(3)=3; f(2)=0. Since one-to-one functions are called unary conservative operators by AOP, then the Xf notation is read as the digit that has the ‘x’ priority or the image of "X" under "f". For example, if f=4S3021, then 1f is the digit with a priority of "1" which is 2 or the image of 1 under "f" which is 2. Similarly, 0f =1; 3f=3; 2f=0.

            In AOP, we are interested in the priority of a given digit. Since the priority of a digit is the position of that digit in the priority s-code, then we are interested in the operator which gives the priority of that digit as an image of the digit itself. That is, if f=4S1023 and f(A)=B, then we want the operator, say "y", that gives y(B)=A or Y(f(A))=A. Mathematically, "y" is called the inverse function of "f". In AOP, we call "y" the conservative inverse operator of "f" and is denoted by "f -". For example, the inverse of f=4S1023 is f - =4S0132. Using the inverse operation, we can find the priority of any digit from the inverse of the priority-assignment. For example, if y=4S1023 then y -=4S0132 and the priority of 0 is 0y- =2; of 1 is 1y-=3; of 2 is 2y-=1; of 3 is 3y-=0. Table-1 lists the inverse of each priority-assignment under the "a-" column for the binary, ternary, and quaternary systems. At this point we can introduce the definition of prioritors.  

Prioritors

AOP defines a prioritor as "a processing system that defines distinct priorities for all the logical values of its inputs (events) by its priority-assignment and its output is equal to the input logical-value with the highest priority". Mathematically, the prioritors of AOP are defined by Definition 4.1 as two-event prioritors where we use the Greek alphabet "a" to refer to prioritors in general. Table-1 lists the prioritors of AOP for the binary, ternary, and quaternary systems by their priority-assignment under the 'a' column and by the function table under the ‘s-code’ column.  

Definition-4.1 Prioritors: 
A prioritor in AOP, denoted by "
a", is defined as:

Rounded Rectangle: AaB={ A if  A¾a-³ B¾a-; B if A¾a-£ B¾a-}

Definition-4.1 states that if "A" has a priority higher than or equal to the priority of "B" then the result is equal to "A"; if "B" has a priority higher than or equal to the priority of "A" then the result is equal to "B". In another words, the result of the "a" prioritor is equal to the variable value with the highest priority.

Table-1 lists the function table of prioritors in the binary, ternary and quaternary systems using a special coding system called the prioritors s-code. The prioritor s-code identifies prioritors by a string of characters. It starts with the digital system radix, 'S' suffix and the operator function table listed from right to left where after each ‘z’ digits there is a separating colon to simplify reading the code. Figure-3 shows the relation between the function table and the prioritor s-code using the QF=4S3210:2222:1211:0210 prioritor.

The "a" symbol in AaB represents a binary operator, while in the unary image operation, Aa-, it represents the prioritor priority-assignment.  For example, in the quaternary system, let a=Q7. From Table-1 , this "a" in AaB is a=4S3210:2210:1111:0010 and in Aa- is a=4S1023 with an inverse of a-=4S0132.    

Number of Prioritors

Theorem-4.1 Number of Prioritors: The number of prioritors in a z-radix digital system is equal to z!.

Proof: By the priority principle all priorities must be distinct. Thus the assignments of priorities to the logical-values of the logic-set or vise versa is a one-to-one mapping process. For the "0" logical-value we can assign "z" priorities, for the "1" logical-value we can assign "z-1" priorities, for the "2" logical-value we can assign "z-2" priorities and for the ith logical-value we can assign "z-i" priorities. Since each priority assignment to each logical-value is independent from the other assignments, then using the counting principle [14]p.3, there are z(z-1)(z-2)(z-3) ŸŸŸ 2*1=z! distinct ways of assigning priorities to all the z-distinct logical-values. Hence, there are z! distinct prioritors. Q.E.D.  See Table-2 , which lists the number of prioritors for radices 2-31.

            Since a prioritor represents a binary operation then it has two parameters, 'A' and 'B', written in the form of AaB where ' a' is the prioritor's symbol. Using a=Q1 in Table-1 , we have 0a3=0, 1a3=1, 2a3=2, 3a3=3, 0a0=0; and a=QO we have 0a3=3, 2a3=3, 0a1=1, 2a0=2, 1a1=1.

            At the hardware level, prioritors are a general representation of digital gates. They can pass and block data flow. The signal with the least priority, which is called the prioritor infimum signal, is used to pass data out of the prioritor and the signal with the highest priority, which is called the prioritor supremum signal, is used to block the data flow.  

Special Prioritors

Dwon-Del Prioritor

Definition-5.1.3 'Ñ' (Down-Del) Prioritor: The Down-Del prioirtor , denoted by "Ñ", priority assignment is given by the s-code as Ñ=zS(z-1)•••3210.

            The down-del prioritor is a prioritor with a priority assignment given by Ñ=zS(z-1)•••3210. It corresponds to the MAX operator in Post algebras and corresponds to the OR operator in Boolean algebra. For example, the Down-Del prioritor is Ñ=2S10 in the binary system, Ñ=3S210 in the ternary system and Ñ=4S3210 in the quaternary system.

Up-Del Prioritor 

Definition-5.1.4 'D' (Up-Del) prioritor: The Up-Del prioritor, denoted by "D", priority assignment is given by D=zS0123•••(z-1).

            The up-del prioritor is a prioritor with a priority assignment given by D=zS0123•••(z-1). It corresponds to the MIN operator in Post algebras and to the AND operator in Boolean algebra. For example, the Up-Del prioritor is D=2S01 in the binary system, D=3S012 in the ternary system and D=4S0123 in the quaternary system.  

Back Home Main Next

Webmaster tech@50megs.com with questions or comments about this web site.
General Information: abumsamh@emirates.net.ae
Copyright © 2000 GTODE on Internet
Designed by: R. K. Abu-Msameh
Last modified: February 18, 2001

IEEE International Symposium MVL

Logic Technical Committee

MVL  International Journal.