Changes

|}

|}

<pre>

The form <math>S :> T\!</math> is here recruited for polymorphic employment in at least the following types of roles:

The form "S :> T" is here recruited for polymorphic

employment in at least the following types of roles:

1.  To signify that an individually named or quoted string T is

# To signify that an individually named or quoted string <math>T\!</math> is being typed as a sentence <math>S\!</math> of the language of interest <math>\mathfrak{L}.</math>

    being typed as a sentence S of the language of interest !L!.

# To express the fact or to make the assertion that each member of a specified set of strings <math>T \subseteq \mathfrak{A}^*</math> also belongs to the syntactic category <math>S,\!</math> the one that qualifies a string as being a sentence in the relevant formal language <math>\mathfrak{L}.</math>

 

# To specify the intension or to signify the intention that every string that fits the conditions of the abstract type <math>T\!</math> must also fall under the grammatical heading of a sentence, as indicated by the type <math>S,\!</math> all within the target language <math>\mathfrak{L}.</math>

2.  To express the fact or to make the assertion that each member

    of a specified set of strings T c !A!* also belongs to the

    syntactic category S, the one that qualifies a string as

    being a sentence in the relevant formal language !L!.

 

3.  To specify the intension or to signify the intention that every

    string that fits the conditions of the abstract type T must also

    fall under the grammatical heading of a sentence, as indicated by

    the type name "S", all within the target language !L!.

In these types of situation the letter "S", that signifies the type of

In these types of situation the letter "S", that signifies the type of

a sentence in the language of interest, is called the "initial symbol"

a sentence in the language of interest, is called the "initial symbol"