Line 521: |
Line 521: |
| |} | | |} |
| | | |
− | <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!.
| |
| | | |
| + | <pre> |
| 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" |