The early proofs by
Allen Turing and
others made it clear that
every
computer
is
potentially functionally
identical.
A corollary is that programs are, essentially,
identical if they employ the same algorithm.
For anyone interested in the
underlying algorithm(s),
the
babel
of computer languages is an irritating
obfuscation of the underlying form.
Grok32`
is spawn
of that curiosity that is lovely, sparse, and
mathematical.
Grok32` translates
any
language expression into a
Grok32`
Expression by
compiling the rules for parsing each language from
Character Strings. The
Character String RuleLists
are
compiled and stored as
CharacterSet
assignments in �
`Construct`String`Name`�.
The
RuleLists
implement a
system that translates
character
strings
into
Grok32` Expressions.
This is
realized with a
String
object that
distinguishes
parsing rules by
CharacterSet.
Each
CharacterSet
has its own
RuleList
which assigns
Character
semantics.
The
String
abstraction enables
unlimited linguistic and character flexibility together with the
benefits of
ASCII
standardization.
Grok32` is a true
meta-language.
In principle,
any language string can be
mimic-ed
or
interpreted whether the language is
English,
algebra
or whatever. For example, a
copula
can be an
arithmetic operator between
expressions,
or a
copula could
be the
relation of
subject to
predicate in a
sentence.
The
design of the
RuleLists
determines how
Strings,
(and
the
copulas or
punctuation
subdividing
Strings),
are
parsed into
Expressions.
Whether
Grok32` is applied to
English
semantics
or to
algebraic
simplification, the
CharacterSet�s
RuleList
can be
compiled to match the
linguistic
application. The
default ASCII
CharacterSet EscapeSequence
and arithmetic operators implement literal forms in conformance with
C�s
strings, and the forms used in the
Grok32`
Language
Specification.
Non-standard
Character
parsing
with
EscapeSequences,
and
operators
make
it possible to model the
linguistic
form of any conceivable
string-expression. An
important member
in the
RuleList
is the �
copula�.
(E.g. In
the
String, �a = b�,
the
equals sign is the
copula.)
A
copula evokes
Expression Heads with
arguments
from before and after the
copula.
All language (and this sentence) employs diverse forms of
conjugation
which can
be characterized as �
copula�.
There are many other
CharacterSet
RuleList
assignments. A
specific-named CharacterSet
customizes
the rules for
Reckoning
Strings into
Expressions.
By
combining a customized
CharacterSet
with appropriately designed
Named
Functions and
procedures, it is
possible to accurately mimic any language.
* The science fiction literary monster named "Borg" is an
embodiment of animate
language,
spawned in the genetically engineered laboratories of methamphetimine
fired residents of double-wide trailers, with nothing better to do with
their lifes.
Grok32`
(c) 2005-2007
by John Van Wie Bergamini.
All rights reserved.