Users Also Read
MCQ's Search Engine
Electrical Engineering
Mechanical Engineering
Civil Engineering
Automobile Engineering
Chemical Engineering
Computer Engineering
Electronics Engineering
Medical Science Engg
All Engineering Dictionary Terms
Definition of "signature" |
If the behaviour of a computer program should be described formally this is necessary for e.g. the verification of programs two basic components (syntax and semantics) are required. Here, we discuss the syntactical component determined by the so-called signature. Informally, the signature gives the available data formats (i.e. sorts) and the available operations defined on them.Signatures are used for the inductive definition of two important formal languages by compositions of signature operations. The first such language is the formal language of terms, consisting of the operations of the signature only. The second language gives the set of formulas based on non-logical operations provided by the signature and the logical operations provided by the logics under consideration. / a characteristic easily computed feature or function by which a particular object or signal may be at least tentatively identified. An example is the centroidal profile for an object having a well defined boundary. |
Please type any word or choose alphabet below... |
A
B
C
D
E
F
G
H
I
J
K
L
M N O P Q R S T U V W X Y Z 1 2 3 4 5 6 7 8 9 0 |