12,144
edits
Changes
MyWikiBiz, Author Your Legacy — Thursday November 06, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 20:12, 22 December 2008
, 20:12, 22 December 2008→Inquiry Driven Systems : The Cactus Patch: split into sections
{{DISPLAYTITLE:Cactus Language}}
{{DISPLAYTITLE:Cactus Language}}
==Inquiry Driven Systems : The Cactus Patch==
==The Cactus Patch==
<pre>
<pre>
| Thus, what looks to us like a sphere of scientific knowledge more accurately
| Thus, what looks to us like a sphere of scientific knowledge more accurately
| should be represented as the inside of a highly irregular and spiky object,
| should be represented as the inside of a highly irregular and spiky object,
Tackling this task requires me to introduce a number of new definitions
Tackling this task requires me to introduce a number of new definitions
and a collection of additional notational devices, to which I now turn.
and a collection of additional notational devices, to which I now turn.
Depending on whether a formal language is called by the type of sign
Depending on whether a formal language is called by the type of sign
for it to denote. A semantic interpretation of the "cactus language" is
for it to denote. A semantic interpretation of the "cactus language" is
carried out in Subsection 1.3.10.12.
carried out in Subsection 1.3.10.12.
</pre>
==The Cactus Language : Syntax==
<pre>
| Picture two different configurations of such an irregular shape, superimposed
| Picture two different configurations of such an irregular shape, superimposed
| on each other in space, like a double exposure photograph. Of the two images,
| on each other in space, like a double exposure photograph. Of the two images,
|
|
| "blank " = "blank"·" " = "blank"·blank
| "blank " = "blank"·" " = "blank"·blank
A few definitions from formal language theory are required at this point.
A few definitions from formal language theory are required at this point.
A "token" is a particular appearance of a sign.
A "token" is a particular appearance of a sign.
The informal mechanisms that have been illustrated in the immediately preceding
The informal mechanisms that have been illustrated in the immediately preceding
in which they denote propositions, considered as indicator functions over
in which they denote propositions, considered as indicator functions over
some universe, then these operations amount to "propositional connectives".
some universe, then these operations amount to "propositional connectives".
Rather than presenting the most concise description of these languages
Rather than presenting the most concise description of these languages
constants, whatever sequences of strings z_j may be
constants, whatever sequences of strings z_j may be
listed as their ostensible arguments.
listed as their ostensible arguments.
Having defined the basic operations of concatenation and surcatenation
Having defined the basic operations of concatenation and surcatenation
these complementary forms of analysis and synthesis to articulate the
these complementary forms of analysis and synthesis to articulate the
structures of strings and sentences in two directions.
structures of strings and sentences in two directions.
The "painted cactus language" with paints in the
The "painted cactus language" with paints in the
the strings in the disjoint union {"S"} |_| (!Q! |_| !A!)* are known
the strings in the disjoint union {"S"} |_| (!Q! |_| !A!)* are known
as the "sentential forms" of the associated grammar.
as the "sentential forms" of the associated grammar.
In forming a grammar for a language, statements of the form W :> W',
In forming a grammar for a language, statements of the form W :> W',
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
A notation in the style of "S :> T" is now introduced,
A notation in the style of "S :> T" is now introduced,
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Employing the notion of a covering relation it becomes possible to
Employing the notion of a covering relation it becomes possible to
how the two features interact with one another, and then I return to address
how the two features interact with one another, and then I return to address
in further detail the questions that they engender on their individual bases.
in further detail the questions that they engender on their individual bases.
In the process of developing a grammar for a language, it is possible
In the process of developing a grammar for a language, it is possible
expression merely to account for and to recount every increment in the parameter
expression merely to account for and to recount every increment in the parameter
of iteration.
of iteration.
Returning to the case of the cactus language, the process of recognizing an
Returning to the case of the cactus language, the process of recognizing an
T = !e! and S = !e! on the covered side of the rule,
T = !e! and S = !e! on the covered side of the rule,
bears the germinal implication that T :> ",".
bears the germinal implication that T :> ",".
Grammar 2 achieves a portion of its success through a higher degree of
Grammar 2 achieves a portion of its success through a higher degree of
significant expressions are taken up for discussion next time.
significant expressions are taken up for discussion next time.
With the distinction between empty and significant expressions in mind,
With the distinction between empty and significant expressions in mind,
I return to the grasp of the cactus language !L! = !C!(!P!) = PARCE(!P!)
I return to the grasp of the cactus language !L! = !C!(!P!) = PARCE(!P!)
that is afforded by Grammar 2, and, taking that as a point of departure,
that is afforded by Grammar 2, and, taking that as a point of departure,
and also to enumerate a larger number of the smallest cases that can
and also to enumerate a larger number of the smallest cases that can
be observed to fall under each significant type.
be observed to fall under each significant type.
With the array of foregoing considerations in mind,
With the array of foregoing considerations in mind,
|
|
| is a sentence.
| is a sentence.
It is fitting to wrap up the foregoing developments by summarizing the
It is fitting to wrap up the foregoing developments by summarizing the
|'Machines, Languages, and Computation',
|'Machines, Languages, and Computation',
| Prentice-Hall, Englewood Cliffs, NJ, 1978.
| Prentice-Hall, Englewood Cliffs, NJ, 1978.
</pre>
==The Cactus Language : Stylistics==
<pre>
| As a result, we can hardly conceive of how many possibilities there are
| As a result, we can hardly conceive of how many possibilities there are
| for what we call objective reality. Our sharp quills of knowledge are so
| for what we call objective reality. Our sharp quills of knowledge are so
and whether it can be compounded to cover the complexity that actually exists
and whether it can be compounded to cover the complexity that actually exists
in the realm of meaning -- these are questions for an extended future inquiry.
in the realm of meaning -- these are questions for an extended future inquiry.
Perhaps I ought to comment on the differences between the present and
Perhaps I ought to comment on the differences between the present and
to permit the initial symbol to characterize, to cover, to regenerate,
to permit the initial symbol to characterize, to cover, to regenerate,
or to produce itself, if that turns out to be the best way in the end.
or to produce itself, if that turns out to be the best way in the end.
Before I leave this Subsection, I need to say a few things about
Before I leave this Subsection, I need to say a few things about
are demanded by the application and intended by the designer, and not so much the
are demanded by the application and intended by the designer, and not so much the
peculiar characters of the signs that represent these classes of practical meaning.
peculiar characters of the signs that represent these classes of practical meaning.
Any description of a language is bound to have alternative descriptions.
Any description of a language is bound to have alternative descriptions.
this piece not only fits the type q but even comes to be generated under
this piece not only fits the type q but even comes to be generated under
the auspices of the non-terminal symbol "q".
the auspices of the non-terminal symbol "q".
A moment's reflection on the issue of style, giving due consideration to the
A moment's reflection on the issue of style, giving due consideration to the
as the simplest and the most primitive in principle, even if they are
as the simplest and the most primitive in principle, even if they are
scarcely recognized as lying among the more familiar elements of logic.
scarcely recognized as lying among the more familiar elements of logic.
I am throwing together a wide variety of different operations into each
I am throwing together a wide variety of different operations into each
by the indices "<1>" and "<2>" can be recognized as a special case of concatenation,
by the indices "<1>" and "<2>" can be recognized as a special case of concatenation,
albeit through the posting of editorial remarks from an external "mark-up" language.
albeit through the posting of editorial remarks from an external "mark-up" language.
In order to systematize the relations that strictures and straits placed
In order to systematize the relations that strictures and straits placed
There is a measure of ambiguity that remains in this formulation,
There is a measure of ambiguity that remains in this formulation,
but it is the best that I can do in the present informal context.
but it is the best that I can do in the present informal context.
</pre>
==The Cactus Language : Mechanics==
<pre>
| We are only now beginning to see how this works. Clearly one of the
| We are only now beginning to see how this works. Clearly one of the
| mechanisms for picking a reality is the sociohistorical sense of what
| mechanisms for picking a reality is the sociohistorical sense of what
= a lobe with the accoutrements C_1, ..., C_k.
= a lobe with the accoutrements C_1, ..., C_k.
Working from a structural description of the cactus language,
Working from a structural description of the cactus language,
In particular, this generally makes it easier to observe the
In particular, this generally makes it easier to observe the
various properties of its underlying graphical structure.
various properties of its underlying graphical structure.
</pre>
==The Cactus Language : Semantics==
<pre>
| Alas, and yet what 'are' you, my written and painted thoughts!
| Alas, and yet what 'are' you, my written and painted thoughts!
| It is not long ago that you were still so many-coloured,
| It is not long ago that you were still so many-coloured,
For the generic case of k > 0, the "bound connective" takes the
For the generic case of k > 0, the "bound connective" takes the
form "-(S_1, ..., S_k)-".
form "-(S_1, ..., S_k)-".
At this point, there are actually two different "dialects", "scripts",
At this point, there are actually two different "dialects", "scripts",
Indeed, the "roughly" can be made "exactly" as soon as the domains of
Indeed, the "roughly" can be made "exactly" as soon as the domains of
a suitable sign relation are specified precisely.
a suitable sign relation are specified precisely.
A good way to illustrate the action of the conjunction and surjunction
A good way to illustrate the action of the conjunction and surjunction
070. http://suo.ieee.org/ontology/msg03473.html
070. http://suo.ieee.org/ontology/msg03473.html
071. http://suo.ieee.org/ontology/msg03479.html
071. http://suo.ieee.org/ontology/msg03479.html
</pre>
==Stretching Exercises==
<pre>
Taking up the preceding arrays of particular connections, namely,
Taking up the preceding arrays of particular connections, namely,
the boolean functions on two or less variables, it possible to
the boolean functions on two or less variables, it possible to
Which was to be shown.
Which was to be shown.
</pre>
==Document History==
<pre>
<pre>
