12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 16:45, 3 January 2009
, 16:45, 3 January 2009→Alternative Versions: segment
|
|
| S types over T
| S types over T
</pre>
<pre>
The form "S :> T" is here recruited for polymorphic
The form "S :> T" is here recruited for polymorphic
employment in at least the following types of roles:
employment in at least the following types of roles:
fall under the grammatical heading of a sentence, as indicated by
fall under the grammatical heading of a sentence, as indicated by
the type name "S", all within the target language !L!.
the type name "S", all within the target language !L!.
</pre>
<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"
of the sentences that belong to the language, are collectively referred
of the sentences that belong to the language, are collectively referred
to as "intermediate symbols".
to as "intermediate symbols".
</pre>
<pre>
Combining the singleton set {"S"} whose sole member is the initial symbol
Combining the singleton set {"S"} whose sole member is the initial symbol
with the set !Q! that assembles together all of the intermediate symbols
with the set !Q! that assembles together all of the intermediate symbols