Nothing Special   »   [go: up one dir, main page]

WO1982002267A1 - Autonomic string-manipulation system - Google Patents

Autonomic string-manipulation system Download PDF

Info

Publication number
WO1982002267A1
WO1982002267A1 PCT/US1980/001729 US8001729W WO8202267A1 WO 1982002267 A1 WO1982002267 A1 WO 1982002267A1 US 8001729 W US8001729 W US 8001729W WO 8202267 A1 WO8202267 A1 WO 8202267A1
Authority
WO
WIPO (PCT)
Prior art keywords
string
signals
cycle
representation
bit
Prior art date
Application number
PCT/US1980/001729
Other languages
French (fr)
Inventor
Joel Dov Isaacson
Original Assignee
Joel Dov Isaacson
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Joel Dov Isaacson filed Critical Joel Dov Isaacson
Priority to AU71727/81A priority Critical patent/AU7172781A/en
Priority to EP19810901382 priority patent/EP0067810A1/en
Priority to PCT/US1980/001729 priority patent/WO1982002267A1/en
Publication of WO1982002267A1 publication Critical patent/WO1982002267A1/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F7/00Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G06F7/76Arrangements for rearranging, permuting or selecting data according to predetermined rules, independently of the content of the data
    • G06F7/762Arrangements for rearranging, permuting or selecting data according to predetermined rules, independently of the content of the data having at least two separately controlled rearrangement levels, e.g. multistage interconnection networks
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F7/00Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G06F7/76Arrangements for rearranging, permuting or selecting data according to predetermined rules, independently of the content of the data

Definitions

  • the present invention is in the field cf data processing, and in the subfield of artificial or machine intelligence. It has become customary in the art to view computing machines broadly as symbol-manipulation devices. Normally, symbols arranged in some initial structural configuration (often strings, or data-structures reducible to strings) are input to a computing system and manipulated according to some well-defined and well-sequenced instructions (program) into some other, sought-after, configuration of symbols, constituting the output or result. Given an input configuration, the preparation of a program to achieve a desired end-result is usually a premeditated task, involving an objective or goal, intention, design, and other volitional and intelligent activities of a human programmer.
  • the present invention is likewise concerned with symbol-manipulation and, in particular, with the manipulation of representations of finite strings of arbitrary symbols.
  • the basic system has no programming capabilities (at least in the sense described above), and, regardless of the type of input, the same type of manipulation is applied in a blind, purposeless, and primitive fashion.
  • the system has no prior knowledge of its environment, and its basic capability is discriminating between adjacent symbols as being distinct or indistinct, and recording the results of such discrimination in an internal code of four letters.
  • the system is not concerned with external symbols qua symbols, and therefore no internal description or explicit recognition of these is necessary.
  • autonomic processing The ability of an automatic symbol-manipulation system to produce unexpected global results (which are not trivial, and are “meaningful” or “useful"), strictly on the basis of local, myopic, primitive, and purposeless manipulation of symbols, is referred to in this invention as "autonomic processing.” It turns out that the system, operating in an autonomic mode of processing, transforms any input string into a DNA-like structure and retains this structure indefinitely in a self-created mode of memory. The processing activity itself, when looked at carefully and analyzed in the large, displays features of classical dialectical activity, in effect mimicking Hegelian dialectic with uncanny fidelity.
  • String-manipulation operations on whole strings are the basic ingredients of the system disclosed hereinafter.
  • the level and function of these operations are comparable to those of machine operations and instruction sets in conventional data processing systems.
  • the operations disclosed are classified as primary, including Interface Tetracoding (ITC), Tetracoding (TTC), Triunation (TRI), Lagging (LAG), and Wagging (WAG); and auxiliary, including Streaking (STR), Reclamation (REC), Bicoloring (BIC), Amination (AMN), Deamination (DMN), and four types of Ideographing (IDA, IUB, IDC, and IDD).
  • the primary operations are closely related and are functionally equivalent, when augmented by the proper auxiliary operations.
  • String-manipulation systems defined by them are subsumed under Post's monogenic normal systems which are known to be very powerful computationally.
  • the auxiliary operations essentially perform certain trans lations between primary modes, and ideographing operations generate ideographic representations of internal strings for output and display purposes.
  • the primary operations, aided by the auxiliary, form a basis for a powerful string-manipulation system, expressible in a sort of higherlevel calculus of operations, that can be used effectively to define and carry out certain processes of industrial utility.
  • BIP Basic Intellector Process
  • BIP processing include: autonomic mode of processing; generation of tetracodes belonging to a substrate tree; operative dialectic and manifested (structural) dialectic; autonomic mode of memory; and autonomic error-correction.
  • BIP has numerous variations that are essentially functionally equivalent to it. Such variations are generically called “hegelizing processes," and BIP s , which amounts to repetitive triunation of the streak of a given string and its successors, is such a process.
  • a preferred hardware embodiment, in terms of logic design diagram for electronic circuitry, of TRI and BIP s is completely specified and is referred to as INTELLECTOR.
  • a single INTELLECTOR, or a plurality of INTELLECTORs can be connected to other digital systems, including digital data processing means, and, in particular, to a control section of a digital computer having memory and control sections; such combinations having the advantages of both the autonomic string-manipulation system inherent in INTELLECTORs, and the programinability of conventional digital computer systems.
  • Figure 1 illustrates diagramatically relationships among the operations TTC, TRI, STR, REC, ITC, and BIC.
  • Figure 2 illustrates schematically the processes BIP and BIP and the relationship between them.
  • Figure 3 illustrates a tree of rank n.
  • Figure 4 comprises Figures 4A, 4B, 4C, 4D, and 4E and shows a trace of an example of BIP processing written in the internal alphabet (Figure 4A); and in ideographic representations type IDA ( Figure 43), type IDB (Figure 4C), type LDC ( Figure 4D), and type IDD ( Figure 4E).
  • Figure 5 shows a trace of an example of BIP processing written in the internal alphabet.
  • Figure 6 is a schematic representation of BIP processing.
  • a "string,” consisting of individual “elements,” is a linear arrangement of said elements.
  • the “length” of a string is the number of elements in the linear arrangement.
  • a string of length n is said to be “n units long.”
  • a “substring” of a string of length n is any portion thereof of length m, for 1 ⁇ m ⁇ n. All strings herein are of finite length, or simply “finite,” and normally (but not necessarily) are at least three units long. Given a string, an element at one of its ends is referred to as “leftmost" or "first” element.
  • the element next to the first is said to be on its "right” and called “second” element, and so on, until the rightmost element, referred to as “last” element.
  • the first element is deemed to have a special empty or “blank” element on its left, and the last element is deemed to have a blank element on its right. Blank elements do not contribute units to the length of a string, and, normally, no blank elements appear between the first and the last elements.
  • a string, together with its blank elements, is referred to as "closed,” and without them as “open.”
  • a string is deemed to be closed unless specifically referred to as open.
  • Each element in the open portion of a closed string has a "leftneighbor,” i.e., the element immediately to its left, and, likewise, a right-neighbor; the first and last elements having a blank left-neighbor and a blank right-neighbor, respectively.
  • An element that can be prehended or sensed or recorded by human beings, and/or other living things or systems, and/or instruments, devices, or systems made by human beings, is referred to as an objective element or "datum-object.”
  • An element that cannot be prehended, sensed, or recorded by any of said means is referred to as "fantomark.”
  • a string comprising elements which are not datum-objects is referred to as “fantomark string.”
  • Marks and symbols are considered to be datumobjects, and, normally, strings herein are strings of marks or symbols, or their physical representations, such as in terms of bit-signal patterms.
  • a mark is normally considered only in the context of a string, namely in the context of other marks, including blanks; consequently, marks are reduced to essentially syncategorematic entities, or even weaker.
  • marks are taken individually or even in combination, any meanings, significations, or other semiotic properties are normally disregarded.
  • a mark is normally considered in terms of its relations to its two neighbors, a “relation” taken to be binary distinction/indistinction; namely, a mark is said to be "distinct” from a neighbor if it is distinguishable from the neighbor (by some comparison means); otherwise it is said to be “indistinct” from the neighbor.
  • a relation between two marks is symmetric, or mutual.
  • the essential information in a mark string is the totality of mutual relations of elements in the string.
  • This information can be encoded in a number of ways which are essentially equivalent, or commutable into each other, and thus reducible to a single encoding method.
  • the two techniques below, describing "streaking" and “tetracoding,” disclose the essence of said encoding.
  • the "streak" of a string is a binary string, i.e., a string having at most two types of marks such as '0' and '1', that encodes the mutual relations of elements in the former string in the following manner: for each element, but the first, in the open portion of said string, if it is distinct from its left-neighbor the corresponding code in the streak is 0; otherwise it is 1.
  • a 0 is appended to each end of the code sequence. A streak without the appended 0's is referred to as "bare" streak.
  • the "tetracode" of a string is a mark string that encodes the mutu ⁇ al relations of elements in the original string in the following manner: for each element in the open portion of the original string, if both neighbors are distinct from it the corresponding code is a mark 'A'; if the left-neighbor is distinct and the right-neighbor is indistinct from it the corresponding code is a mark 'B'; if the left-neighbor is indistinct and the right-neighbor is distinct from it the corresponding code is a mark 'C'; and if both neighbors are indistinct from it the corresponding code is a mark 'D'.
  • the set of marks consisting of A, B, C, and D is referred to as "internal alphabet," and the. marks are sometimes referred to as "letters.” Ideographic symbols may be substituted for the letters, for example: ⁇ for A; ⁇ for B; ⁇ for C; and for D.
  • a method of generating streaks of mark strings is referred to as “streaking method” and the transformational operation involved is referred to as “streaking”; likewise, a method of generating tetracodes is referred to as “tetracoding method” and the operation as “tetracoding.”
  • streaking method A method of generating streaks of mark strings
  • tetracoding method a method of generating tetracodes
  • tetracoding method a method of generating tetracoding method
  • tetracoding method the transformational operation involved
  • Fantomark strings which, by definition, are imperceptible to man, animal, or machine may nevertheless have well-defined streaks, which are ordinary mark strings.
  • This invention is not concerned with methods of generating streaks of fantomark strings; however, it includes methods of processing streaks of fantomark strings, if such are presented for processing, in the same manner as any other streaks.
  • the present invention is concerned with operations on strings, with processes defined in terms of said ⁇ perations, with devices that embody said processes, and with combinations, or interactions, of said processes and devices with conventional data processing systems to effect certain useful processing of data.
  • String-manipulation operations on whole strings are the basic ingredients of the system herein disclosed. The level and function of these operations are comparable to those of machine operations and instruction sets in conventional data processing systems. All string-manipulation operations are "unary,” i.e., operate on a single string, the "operand.” Normally an operation includes a set of rewriting rules (or productions) out of which a rule is selected and applied to each mark in the operand in the course of application of the operation. Most rewriting rules are context-sensitive, namely intrinsically selected for application to a given mark on the basis of its local context.
  • Context-sensitive rewriting rules are written in the format: X ⁇ U/Y-Z, meaning that "the mark X is to be rewritten as the mark U if X is in the context of the mark Y and the mark Z, on its left and right, respectively.”
  • Other standard, or self-explanatory, formats for rewriting rules and productions are used, as needed.
  • An operation involving simultaneous applications of rewriting rules to all marks in the operand is referred to as "parallel”; and the simultaneous acts are collectively referred to as transformational step, or "step.”
  • any use of the word 'step' in the claims included in this application is not governed by this definition.
  • a sequential transformational step comprises, temporally and functionally, the sequence of individual substaps involved in the application of the sequential operation.
  • An operation that is not parallel and not strictly sequential is referred to as "scrambled.” Most operations herein disclosed are parallel and some are sequential. It is obvious to persons skilled in the art that all parallel operations can be converted into sequential, or even scrambled, operations without altering their essential character.
  • a string resulting from application of a string-manipulation operation to an operand is referred to as "result” or (immediate) “successor,” and the operand is referred to as (immediate) “predecessor” of the successor.
  • input string is synonymous with operand or predecessor; and “output string” is synonymous with result or successor.
  • a string-manipulation operation is referred to as "monogenic, " if its application to an operand yields at most one successor. Note, the number of predecessors yielding the same successor under same monogenic operation is not restricted to one. All operations herein disclosed are monogenic.
  • strings are designated by the following types and notations.
  • the tetracode and streak of a string Q are written T(Q) and S(Q), respectively. Subscripts are used to distinguish between two or more strings of the same type.
  • OPR i Application of OPR i to the successor of Q under OPR j is written OPR i (OPR j (Q)), and this notation is extended to any number of applications of various operations, as needed.
  • the notations ' ⁇ ' and ' ' designate the phrases "distinct from” and “indistinct from,” respectively.
  • the specifications of string-manipulation operations are disclosed and set forth below.
  • TTC (AAAABCAAA) BDDCAABDC; length: 9
  • the bare streak is: 11100011 ; length: 8 Operation Name: Triunation
  • b i-1 is the color-value assigned to t i-1 , i.e.,
  • ⁇ b i-1 is the color-value opposite to the one assigned to t i-1 .
  • the three leftmost symbols uniquely determine a rewriting rule from the set below that specifies a symbol ⁇ ⁇ 0,1, ⁇ to be appended to the R.H.S. of the string; the leftmost symbol is dropped and same is repeated until s n-1 is dropped, which completes one transformational operation on the entire string.
  • the general format of the rewriting rules is:
  • L 1 000 ⁇ 1 L 9 : ⁇ 00 ⁇ 1 L 13 : 0 ⁇ 0 ⁇ ⁇ L 17 : 00 ⁇ ⁇ 1 L 2 : 001 ⁇ 0 L 10 : ⁇ 01 ⁇ 0 L 14 : 0 ⁇ 1 ⁇ ⁇ L 18 : 01 ⁇ ⁇ 0L 3 : 010 ⁇ 0 L 11 : ⁇ 10 ⁇ 0 L 15 : 1 ⁇ 0 ⁇ ⁇ L 19 : 10 ⁇ ⁇ 0L 4 : 011 ⁇ 0 L 12 : ⁇ 11 ⁇ 0 L 16 : 1 ⁇ 1 ⁇ ⁇ L 20 : 11 ⁇ ⁇ 0 L 5 : 100 ⁇ 0 L 6 : 101 ⁇ 0 L 7 : 110 ⁇ 0
  • L 9 , L 2 , L 3' L 5 , L 1 , L 1 , L 1 , L 17 , and L 14 to ⁇ 00, 001, 010, 100, 000,
  • the three leftmost symbols uniquely determine a rewriting rule from the set below that specifies a symbol ⁇ ⁇ N 1 ,N 2 , ...,N 20 ⁇ which becomes a symbol in the new stringy the leftmost symbol is dropped and same is repeated until s n-2 is dropped.
  • the new string thus comprises n-1 N i 's in the order of their production.
  • the general format of the rewriting rules is:
  • Type - unary, sequential
  • v 1 Starting at v 1 , v 1 together with the last v in the string, determine a unique rewriting rule from the set below that specifies a symbol ⁇ ⁇ N 1 , ..., N 20 ⁇ to be appended to the R.H.S. of the string; v 1 is dropped and same is repeated until v n-1 is dropped and then the first appended symbol is dropped, which completes one transformational operation on the string.
  • the general format of the rewriting rules is: v i $v last ⁇ N j , l ⁇ j ⁇ 20, depending on v i and v last , where $ is any substring; for 1 ⁇ i ⁇ n-1.
  • the explicit rewriting rules are:
  • W 1 N 1 $N 1 ⁇ N 2 W 9 : N 1 $N 9 ⁇ N 2 W 13 : N 1 $N 13 ⁇ N 10 W 17 : N 1 $N 13 ⁇ N 14 W 2 : N 1 $N 2 ⁇ N 4 W 10 : N 1 $N 10 ⁇ N 4 W 14 : N 1 $N 14 ⁇ N 12 W 18 : N 1 $N 18 ⁇ N 16 W 3 : N 1 $N 3 ⁇ N 6 W 11 : N 1 $N 11 ⁇ N 6 W 15 : N 1 $N 15 ⁇ N 10 W 19 : N 1 $N 19 ⁇ N 14 W 4 : N 1 $N 4 ⁇ N 8 W 12 : N 1 $N 12 ⁇ N 8 W 16 : N 1 $N 16 ⁇ N 12 W 20 : N 1 $N 20 ⁇ N 16 W 5 : N 1 $N 5 ⁇ N 2 NOTE: If, in rewriting rules W 1 through W 20 , the first
  • W 7 N 1 $N ⁇ N 6 symbols N 8 , N 9 , or N 17 , the same rules apply to these symbols, respectively.
  • W 8 N 1 $N 8 ⁇ N 8 W 21 : N 2 $N 1 ⁇ N 1 W 29 : N 2 $N 9 ⁇ N 1 W 33 : N 2 $N 13 ⁇ N 9 W 37 : N 2 $N 17 ⁇ N 13 W 22 : N 2 $N 2 ⁇ N 3 W 30 : N 2 $N 10 ⁇ N 3 W 34 : N 2 $N 14 ⁇ N 11 W 38 : N 2 $N 18 ⁇ N 15 W 23 : N 2 $N 3 ⁇ N 5 W 31 : N 2 $N 11 ⁇ N 5 W 35 : N 2 $N 15 ⁇ N 9 W 39 : N 2 $N 19 ⁇ N 13 W 24 : N 2 $N 4 ⁇ N 7 W 32 : N 2 $N 12 ⁇ N 7 W 36 : N 2 $N 16 ⁇ N 11 W 40 : N 2 $N 20 ⁇
  • DMN Type - unary, parallel Input String: Type: AMN (S) (bare)
  • N 13 through N 16 can ⁇
  • N 3 ⁇ 1 (11) N 11 ⁇ 1 not appear is an aminated
  • DMN(N 11 N 5 N 1 N 2 N 4 N 8 N 8 N 20 ) ⁇ 10001111 ⁇ ; length: 10; bare length: 8
  • n Format See FIGS . 4B, 4C, 4D, and 4E
  • ITC is a generic form of TTC; the former tetracodes arbitrary raw-data strings and the latter is a specialized version that tetracodes only strings written in a fixed 4-letter alphabet.
  • TTC is considered the most important primary operation and the remaining operations will be discussed in reference to it.
  • ITC and STR are normally interface operations and may be subsumed under certain pre-processing operations briefly described below.
  • preprocessing means The collection of all means available for pre-processing is referred to as "preprocessing means.” This invention is not concerned with various technologies of pre-processing means and it is presupposed that, included in any given type of pre-processing means, there is a suitable comparison means, or equivalents thereof, for determining distinction/indistinction of elements; so that, given such comparison means, implementation of ITC or STR is straightforward.
  • analog-to-digital conversion means may be included, and the comparison means may be digital. If elements in Q cannot be sensed and recorded directly, means for detecting and recording distinctions between elements, rather than the elements themselves, may be used, which recording providing the essential information for S(Q). Lastly, if streaks of fantomark strings are detected and recorded by some means, the streaks thus recorded can be further processed by the system as any other streaks. Interrelationships among TTC, TRI, STR, REC, ITC, and BIC are illustrated diagramatically in FIG. 1. From said diagram,
  • T i+1 can be obtained from T i-1 or T i in a number of ways, including the following,
  • TTC can be served by TRI, LAG, or WAG, when augmented by the proper auxiliary operations, as specified above.
  • TTC through TRI, LAG, and WAG may seem superfluous but are, in fact, essential to the definition of scope of this invention.
  • TRI will be brought out later in connection with a certain device embodiment of this invention.
  • the basic roles of LAG and WAG are discussed below.
  • auxiliary operations essentially perform certain translations between the primary modes.
  • Certain basic uses of STR, REC,AMN, DMN, and BIC are demonstrated earlier.
  • IDA, IDB, IDC, and IDD generate ideographic representations of tetracodes for output and display purposes.
  • IDD is used also in connection with the process of abduction discussed elsewhere.
  • the primary operations, aided by the auxiliary form a basis for a powerful string-manipulation system, expressible in a sort of higherlevel calculus of operations, that can be used effectively to define and carry out certain processes of industrial utility. Processes & Processing
  • BIP is introduced as a natural extension of said processes, followed by detailed analysis and discussion of the properties and behaviour of BIP processing, including the following topics: autonomic mode of BIP processing; the tetracode space; operative dialectic and the Hegelian connection; manifested dialectic; two concrete examples of BIP processing; autonomic error-correction; and functional equivalents of BIP.
  • a process of degree 1 is said to be “elementary.”
  • a process of degree m, where m is finite, is said to be “finite,” and if m is unbounded or indefinite the process is said to be “indefinite.” Indefinite degree is denoted by ⁇ .
  • a process is said to be “monogenic” if all operations involved in it are monogenic. All processes herein disclosed are monogenic. Hereinafter processes normally involve tetracodes, or, in the alternative, their streaks.
  • a substring of a tetracode consisting of two or more A's is referred to as "quid.”
  • a quid is said to be disconnected or "discrete.”
  • a substring of a tetracode consisting of a B followed by a C, or a B followed by one or more D's followed by a C is referred to as "quod.”
  • a quod is said to be integrated or "connected.”
  • a substring of a tetracode consisting of a single A is referred to as "monad,” and may be considered as either a unitary quid or a unitary quod, depending on its history in a transformational process.
  • a quid or quod of odd or even length is referred to as "odd” or “even” quid or quod, respectively.
  • odd odd or even length
  • odd even quid or quod
  • a quid or quod of length k is written QUID k or QUOD k , respectively, or without subscript if length is understood or irrelevant.
  • the "liquidation sequence" of a quod of length m is a sequence of strings, each of length m, such that the i th string, for 1 ⁇ i ⁇ , con ⁇ sists of a quod of length l»m-2i, for m-2 ⁇ l ⁇ 0,preceded by a substring of length i having an A in the rightmost position, and followed by a substring of length i beginning with A.
  • a process for generating the liquidation sequence of a quod is referred to as "liquidating process,” the processing involved is referred to as “liquidating,” and thequod is said to be liquidated.
  • the string before last has 'BC' or 'BDC', respectively, for its residual quod, and the final liquidating step yields 'AA' or 'AAA' , respectively, in the middle of the last string in the liquidating sequence.
  • the following scheme illustrates the structure of the liquidating sequence of an even quod.
  • Liquidator is a liquidating process and, in fact, liquidates a quod of length m ⁇ 2 in exactly steps. It is observed that, during liquidation, a quod is "peeled off” '"or “skinned” at each end, one unit length at a liquidating step, and the two severed units appear as monads in the next string. This process continues until the entire quod has been dissolved into monads. Now, going in the other direction, viewing a quid as a collection of monads (perhaps chipped earlier from some quods), it is shown below how a quid can be integrated back into a quod.
  • Quodizing process A process transforming a quid into a quod of same length is referred to as “quodizing process,” the processing involved is referred to as “quodizing,” and the quid is said to be quodized.
  • Quodizer Mnemonic QDZ Type: finite; elementary
  • said patterns are obviously not programmed in any conventional sense, as one identifies them only after the fact, rather than specifies them in a program, scheme, or procedure beforehand; or, put another way, there is no obvious way, known at present in the art, to relate an ultra broad procedure such as TTC ⁇ (T 1 ) to the highly specific type of outcome engendered by it, or view it as "premeditated programming" of such outcome.
  • a string in the internal alphabet is referred to as "well-formed” (w.f.) if it consists of one or more quids and/or one or more quods arranged in any way; as “strictly well-formed” (s.w.f.) if it consists of a single quid or a single quod, or an arrangement of one or more quids and one or more quods in alternation; and as “weakly well-formed” (w.w.f.) if it is w.f. but not s.w.f. Any tetracode is w.f. and any w.f. string is a tetracode.
  • a tetracode generated from a string which is not a tetracode may be w.w.f. or s.w.f.; a tetracode generated from a tetracode is s.w.f.
  • n there exist 4 distinct strings in the internal alphabet; exactly 2 n-1 of these are w.f., the s.w.f. form a proper subset of the w.f., and the rest are w.w.f.
  • the number of s.w.f; strings, SWF(n), for n>2 can be determined from the following formula.
  • a tree of rank n is of height n and is described as follows (see FIG. 3). The root and each node, to level n-3 on the L.H.S. and to level n-2 on the R.H.S., has exactly two successors.
  • A The root is labeled A, and, recursively, successors of A are labeled (left & right): A & B; successors of B: C & D; successors of C: A & B; and successors of D: C & D.
  • a & B successors of B
  • C successors of C
  • a & B successors of D
  • D C & D.
  • level n-3 on the L.H.S. at level n-2 each node has only a left successor, and at level n-l all nodes are terminal, i.e., without successors.
  • At level n-2 on the R.H.S. at level n-1 each node has only a left successor, and at level n all nodes are terminal.
  • an edge connecting two A's or two D's is labeled 1, and all other edges are labeled 0.
  • a tetracode must begin with either A or B. If it begins with A, it can be identified with a unique path in the tree by entering at the root and proceeding to successive nodes by following the remaining letters in the tetracode. The path terminates at a terminal node on the L.H.S., or an A or a C node at level n-1 on the R.H.S. Similarly, a tetracode beginning with B can be traced by entering at the B node at level 2; the path terminates at a terminal node on the R.H.S. Note that as a tetracode is traced through the nodes, its bare streak is traced through the edges connecting said nodes.
  • a tree is said to be "absorbed” by another tree if all its nodes and respective edges, together with their labels, appear in (part of) the latter, "absorbing" tree.
  • Any tetracode of length n is said to be traceable, or "absorbed" by a tree of rank n in a unique way; and said tree absorbs exactly the collection of tetracodes of length n. Since all tetracodes are finite, the corresponding absorbing trees are of finite rank. However, in this connection, it is useful to define a binary tree of unbounded rank, by using the previous recursive definition for trees of finite rank without the restriction on the level up to which the recursion applies.
  • a rooted binary tree is obtained, where the root is labeled A and the tree extends indefinitely; it is referred to as "substrate tree.”
  • substrate tree any tree of finite rank is absorbed By a substrate tree in an infinite number' of ways, or in a finite number of ways if some large enough portion of' the substrate tree is considered.
  • every tetracode is uniquely absorbed by a finite tree and every finite tree is absorbed by a substarte tree, the entire collection of string productions of BIP, and certain string-manipulation systems derived from it, is absorbed, or embedded, in a substrate tree.
  • all strings generated and manipulated within said systemsj in tetracode or streak modes are realized as sequences of nodes or edges, respectively, on paths in a substrate tree.
  • the tetracode space is realized in a substrate tree.
  • Another important element of these discovery and invention is an apparent dialectical dynamics that shapes the tetracodes generated by BIP processing;, said dynamics is brought out and exemplified below. From the definitions of the processes LQD, QDZ, and BIP, it is clear that, in each step of BIP processing each quod undergoes a liquidating step and each quid is quodized, and nothing else occurs. Consequently, BIP processing amounts to endless disintegration of quods into quids and recombination of quids into quods, mitigated by a kind of internal, autonomic, delicate balancing mechanism.
  • quids are "discrete” whereas quods are "connected.” So, to repeat, whatever these entities may be and whatever they may signify, contrariety is their essence. While discreteness and connectedness are obvious contraries or opposites, particularly important in structural matters, (note here a pertinent quote from Hermann Weyl ("Symmetry," p. 109): “The splitting into something discrete and something continuous seems to me a basic issue in all morphology."), other contrary pairs may be assigned to quids and quods as interpretants, and BIP processing analyzed in terms of such assignments.
  • BECOMING continually mediates the dissolution of BEING into NOUGHT and the passage of NOUGHT into BEING.
  • a s.w.f. tetracode is referred to as "thesis,” if none of its quods is of length greater than 3.
  • the successor of a thesis under TTC is referred to as "antithesis.”
  • a thesis and its antithesis are related in such a way that under each quid and each quod in the thesis there is a quod or quid, respectively, of same length in the antithesis.
  • An antithesis is said to be “complementary" to its thesis, and together are said to constitute a .
  • Respective complementary substrings are referred to as a pair of “dialectical substrings.”
  • the successor of an antithesis under TTC is referred to as "synthesis.” Under each quid in an antithesis there is a quod of same length in the synthesis; under each quod of length m>3, there are a monad followed by a quod of length m-2 followed by a monad.
  • a synthesis is said to have a structure that "mediates" the structures in the complementary pair preceding it, in the sense that each pair of dialectical substrings of length > 3 yields a partly discrete and partly connected (symmetrical) substring in the synthesis; and, if said length is ⁇ 3 and no such symmetrical resolution is possible, the synthetic substring normally takes on the character, i.e., quid or quod, of the respective substring in the thesis.
  • the above intricate rules of complementarity and mediation are derived from observation after the fact, as opposed to being programmed into BIP in advance.
  • a thesis, its antithesis, and the following synthesis are referred to as (perfect) "dialectical triad « The following description is supported by.
  • the first string generated, T 1 is referred to as the "surface-structure" of the external or initial string, R.
  • T 1 may be w.w.f. or s.w.f., depending on the inherent structure of the initial string R. All successive tetracodes are s.w.f.
  • a cycle referred to as "Hegelian cycle” (H.C.)
  • H.C. Hegelian cycle
  • Tetracodes in the range between the surface-structure and the beginning of a cycle are referred to as "intar mediate.”
  • Tetracodes in a H.C. are referred to as "deep” or “internal.”
  • the first tetracode in a H.C. is a thesis, referred to as "deep structure” or IDEA of R. A deep structure together with its antithesis are referred to as "canonical form" of R.
  • a canonical form can be adequately characterized as 'information structure comprising a complementary pair of 4-letter strings', which characterization bearing a striking resemlance to that of a DNA molecule, although the complementarity rules appear to be somewhat different; hence, the structure of a canonical form is said to be "DNA-like."
  • the first triad which includes a canonical form, is normally a perfect dialectical triad. Successive triads are frequently also perfect dialectical triads, but may have certain perturbations or imperfections, especially if the lengths of tetracodes and the cycle itself are large.
  • the number of intermediate tetracodes may be zero or larger, and they may or may not be organized in dialectical triads; often some do and some do not.
  • Memory or more specifically 'dynamic memory' is inherent in this process.
  • the surface-structure is said to be in transitory “subsurface memory”; intermediate strings in transitory “intermediate memory”; and strings of the Hegelian, cycle are said to be in "deep memory.”
  • deep memory is a type of dynamic memory that retains its information indefinitely.
  • the trace displays the following basic features. Tet(01) is the surface-structure of 'BEGINNING', and is followed by eight intermediate tetracodes, Tet (02) through Tet(09) , all of which appear only once in this processing. Tet(lO) is the first tetracode which is repeated in the sequence i.e., with the appearance of Ter(22), so that the Hegelian cycle consists of the twelve strings Tet(10) through Tet(21). These are organized in exactly four triads, each of which happens to be a perfect dialectical triad. The triads are:
  • Triad 1 Tet(10) ⁇ Tet(11) ⁇ Tet(12)
  • Triad 2 Tet(13) ⁇ Tet(14) ⁇ Tet(15)
  • Triad 3 Tet(16) ⁇ Tet(17) ⁇ Tet(18)
  • Triad 4 Tet(19) ⁇ Tet(20) ⁇ Tet(21), where columns T, A, and S list theses, antitheses, and syntheses, respectively. Analyze in some detail one of the triads, say triad 2, using ideographic representation type IDB (see FIG. 4C) : d - discrete (quid) c - connected (quod) m m - mediated m'- mediated for short substrings
  • BIP does not have access to stored programs or external references; is not supplied with any definitions of "strings,” “substrings,” “discreteness,” “connectedness,” “complementarity,”, “mediation,” or the like; and is not given any rules of inference or any other rules beyond the extremely primitive rewriting rules of TTC.
  • the rewriting rules of TTC are strictly local, acting in parallel, and myopic, i.e., cannot "see” beyond the string on which they operate, and, within it, each rewriting rule sees at most three contiguous symbols; also, there is no transfer of information across a string to obtain a global view of it.
  • the transformational activity is strictly local and spontaneous, yet it produces global results. It resembles a chemical reaction taking place local ly on an exposed photographic plate, that, combined with numerous others, yield a global picture. It is anticipated that, in addition to electronics, implementation in chemical or biochemical systems is particularly suitable for this kind of a process.
  • Tet(Ol) is the surface-structure, and also the first string in the Hegelian cycle, repeated as Tet(31); (no intermediate tetracodes occur in this example).
  • the cycle consists of thirty strings, Tet(Ol) through Tet(30), organized in ten triads, some of which are perfect (P) , some are modified (M) , and some are imperfect (I), dialectical triads.
  • P perfect
  • M modified
  • I imperfect
  • Triad 1 Tet(04) ⁇ Tet(02) ⁇ Tet(03)
  • Triad 4 Tet(10) ⁇ Tet(11) ⁇ Tet(12) I Triad 5: Tet(13) ⁇ Tet(14) ⁇ Tet(15) P
  • Triad 8 Tet(22) ⁇ Tet(23) ⁇ Tet(24) M
  • Type 1 next-step correction
  • Type 2 regenerated-cycle correction
  • Type 3 correctness without correction
  • Tet(09) Arbitrarily, take Tet(09) from trace in FIG. 5.
  • Tet(09) Because of noise or malfunction, errors have been introduced in Tet(09) to the point where it does not even bear a resemblance to its original make-up or structure, and is not even well-formed; for example,
  • FIG. 4A may end up looking like the following:
  • BIP The relationship between BIP and BIP is illustrated schematically in FIG. 2.
  • BIP s is said to "shadow" BIP, and since any T i can be recovered from the corresponding S i by application of REC to S i , BIP and BIP are essentially functionally equivalent.
  • BIP s appears to be simpler to implement in digital technology, and a preferred embodiment of BIP is given in the next section.
  • hegelizing process is used for such processes. Included among said processes are BIP-simulators, i.e., processes designed or programmed to produce effects of BIP processing, but not necessarily through autonomic modes of operation. A string processed by a hegelizing process is said to undergo “hegelization,” and the processing involved is referred to as "hegelizing.” BIP s is an example of a hegelizing process.
  • Such implementation may include, but is not limiced to, the use of software and/or hardware digital technologies; including, but not limited to, hard-wired logic circuitry; micro-instructions or microcode stored in read-only memory, or in writable control store, or in other types of memories; and programming of said operations or processes in higher-level computer languages, such as FORTRAN or PL/1 or PASCAL, in conjunction with the use of general-purpose electronic digital computers to carr out said operations or processes.
  • software and/or hardware digital technologies including, but not limited to, hard-wired logic circuitry; micro-instructions or microcode stored in read-only memory, or in writable control store, or in other types of memories; and programming of said operations or processes in higher-level computer languages, such as FORTRAN or PL/1 or PASCAL, in conjunction with the use of general-purpose electronic digital computers to carr out said operations or processes.
  • implementation may include, but i not limited to, the use of chemical or biochemical methods and means; including, but not limited to, the use of artificial or natural materials and substances such as nucleotides, nucleic acids such as DNA, RNA and their many varieties, amino acids, proteins, and the like; said substances being in living or non-living states, within or without living cells; provided that natural mental processes carried out in unaided living human brains are not construed as implementations.
  • a bare streak of length n-1, represented by bit-signals, is fed via input lines 1 to n-1 binary cells 2 of an (n-1)-bit register, such that the i th cell receives the bit-signal s i , for 1 ⁇ i ⁇ n-1.
  • s i for 2 ⁇ i ⁇ n-2, is compared simultaneously with s i-1 and s i+1 in the following manner: s i and s i-1 are input, via respective connecting lines, to AND gate 3, and, simultaneously, to NAND gate with negated inputs 4; the outputs from 3 and 4 are input, via respective connecting lines, to OR gate 5; similarly, s.
  • s 1 and s 2 are input, via respective connecting lines, to NAND gate with negated inputs 4, and the output from 4 is made available, with proper delay, to output line 9, whereupon one TRI ste is completed.
  • feedback line 8 is included, and output from 4 is fed back, with proper delay, to cell 2, designated s 1 , whereupon the nex TRI step starts.
  • s n-1 , and s n-2 are input, via respective connecting lines, to NAND gate with negated inputs 4, and the output from 4 is made available, with proper delay, to output line 9, where upon one TRI step is completed.
  • LECTOR. or a plurality of INTELLECTORs, can be readily connected, via input lines 1 and output, lines 7 & 9 (see FIGS. 7, 7A, and 7B) to other digital systems, including digital data processing means; and, in particular, to a control section of a digital computer system having memory and control sections; such combinations having the advantages of both the autonomic string-manipulation system inherent in INTELLECTORs, and the programmability of conventional digital computer systems. Further, said combinations can be connected to analog systems via analog-to-digital and/or digital-toanalog means.
  • the scope of the present invention includes any and all such combinations, and any and all data processing methods and procedures made possible by virtue of said combinations.

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Machine Translation (AREA)

Abstract

Methods and means in the field of data processing, relating to the subfield of artificial or machine intelligence. These are concerned with finite strings of arbitrary symbols and their manipulation, including operations on strings, processes defined in terms of said operations, devices that embody said processes, and combinations of said processes and devices with conventional data processing systems to effect useful processing of data. The most important operation and process are, respectively, Tetracoding (TTC), and Basic Intellector Process (BIP) (FIG. 6), INTELLECTOR is a hardware implementation of BIP<us>u, which is a functionally equivalent variant of BIP. One or more INTELLECTORs (FIG. 7, 7A, and 7B) are connectable to conventional digital data processing systems, combining their respective autonomic and programmed data processing capabilities.

Description

AUTONOMIC STRING-MANIPULATION SYSTEM
BACKGROUND OF THE INVENTION
The present invention is in the field cf data processing, and in the subfield of artificial or machine intelligence. It has become customary in the art to view computing machines broadly as symbol-manipulation devices. Normally, symbols arranged in some initial structural configuration (often strings, or data-structures reducible to strings) are input to a computing system and manipulated according to some well-defined and well-sequenced instructions (program) into some other, sought-after, configuration of symbols, constituting the output or result. Given an input configuration, the preparation of a program to achieve a desired end-result is usually a premeditated task, involving an objective or goal, intention, design, and other volitional and intelligent activities of a human programmer.
The present invention is likewise concerned with symbol-manipulation and, in particular, with the manipulation of representations of finite strings of arbitrary symbols. However, the basic system has no programming capabilities (at least in the sense described above), and, regardless of the type of input, the same type of manipulation is applied in a blind, purposeless, and primitive fashion. At the most basic level the system has no prior knowledge of its environment, and its basic capability is discriminating between adjacent symbols as being distinct or indistinct, and recording the results of such discrimination in an internal code of four letters. The system is not concerned with external symbols qua symbols, and therefore no internal description or explicit recognition of these is necessary. Consequently, the system can handle any external symbols whatsoever, including (albeit indirectly) strings of "symbols" having no physical representation, referred to as fantomarks. Since all inputs are virtually unknown in advance of processing, no particular objectives can be specified for the system's string-manipulation activity, and no program is prepared or utilized. It is clear that this mode of symbol- or string-manipulation is extremely primitive, and, while there is a trivial element of programmability in the small, the activity is definitely not programmed in the large. Namely, nothing embedded in the specification of this primitive activity can be construed as designed or intended to produce any particular global patterns or results. The ability of an automatic symbol-manipulation system to produce unexpected global results (which are not trivial, and are "meaningful" or "useful"), strictly on the basis of local, myopic, primitive, and purposeless manipulation of symbols, is referred to in this invention as "autonomic processing." It turns out that the system, operating in an autonomic mode of processing, transforms any input string into a DNA-like structure and retains this structure indefinitely in a self-created mode of memory. The processing activity itself, when looked at carefully and analyzed in the large, displays features of classical dialectical activity, in effect mimicking Hegelian dialectic with uncanny fidelity. Since Hegelian and other dialectical tenets ere so central to philosophical speculation about the nature of thought processes, and since, obviously, the activity is not programmed or designed in that direction but, as it were, makes the connection on its own accord, it appears that the activity captures some underlying aspects of natural thought processes, and could be used in conjunction with problems in the field of artificial intelligence. This invention can be utilized in the areas of pattern recognition, concept formation, logical abduction, and other machine intelligent tasks. SUMMARY OF THE INVENTION The present invention is concerned with string-manipulation, including operations on strings, processes defined in terms of said operations, devices that embody said processes, and combinations, or interactions, of said processes and devices with conventional data processing systems to effect certain useful processing of data. String-manipulation operations on whole strings are the basic ingredients of the system disclosed hereinafter. The level and function of these operations are comparable to those of machine operations and instruction sets in conventional data processing systems. The operations disclosed are classified as primary, including Interface Tetracoding (ITC), Tetracoding (TTC), Triunation (TRI), Lagging (LAG), and Wagging (WAG); and auxiliary, including Streaking (STR), Reclamation (REC), Bicoloring (BIC), Amination (AMN), Deamination (DMN), and four types of Ideographing (IDA, IUB, IDC, and IDD). The primary operations are closely related and are functionally equivalent, when augmented by the proper auxiliary operations. String-manipulation systems defined by them are subsumed under Post's monogenic normal systems which are known to be very powerful computationally. The auxiliary operations essentially perform certain trans lations between primary modes, and ideographing operations generate ideographic representations of internal strings for output and display purposes. The primary operations, aided by the auxiliary, form a basis for a powerful string-manipulation system, expressible in a sort of higherlevel calculus of operations, that can be used effectively to define and carry out certain processes of industrial utility.
The most important process is Basic Intellector Process (BIP), which amounts to indefinite tetracoding (after suitable interfacing) of the successors of a given string. Features of BIP processing include: autonomic mode of processing; generation of tetracodes belonging to a substrate tree; operative dialectic and manifested (structural) dialectic; autonomic mode of memory; and autonomic error-correction. BIP has numerous variations that are essentially functionally equivalent to it. Such variations are generically called "hegelizing processes," and BIPs, which amounts to repetitive triunation of the streak of a given string and its successors, is such a process. A preferred hardware embodiment, in terms of logic design diagram for electronic circuitry, of TRI and BIPs is completely specified and is referred to as INTELLECTOR. A single INTELLECTOR, or a plurality of INTELLECTORs, can be connected to other digital systems, including digital data processing means, and, in particular, to a control section of a digital computer having memory and control sections; such combinations having the advantages of both the autonomic string-manipulation system inherent in INTELLECTORs, and the programinability of conventional digital computer systems. BRIEF DESCRIPTION OF TEE DRAWINGS
Figure 1 illustrates diagramatically relationships among the operations TTC, TRI, STR, REC, ITC, and BIC.
Figure 2 illustrates schematically the processes BIP and BIP and the relationship between them. Figure 3 illustrates a tree of rank n.
Figure 4 comprises Figures 4A, 4B, 4C, 4D, and 4E and shows a trace of an example of BIP processing written in the internal alphabet (Figure 4A); and in ideographic representations type IDA (Figure 43), type IDB (Figure 4C), type LDC (Figure 4D), and type IDD (Figure 4E). Figure 5 shows a trace of an example of BIP processing written in the internal alphabet.
Figure 6 is a schematic representation of BIP processing. Figures 7, 7A, and 7B are logic design diagrams of an INTELLECTOR for processing bare streaks of length n-1, describing the ranges 2≤i≤n-2, i=1, and i=n-1, respectively. DESCRIPTION OF PREFERRED EMBODIMENTS OF THE INVENTION Introduction, Definitions, and Basic Terminology
The present invention is concerned with string-manipulation. More specifically, a "string," consisting of individual "elements," is a linear arrangement of said elements. The "length" of a string is the number of elements in the linear arrangement. A string of length n is said to be "n units long." A "substring" of a string of length n is any portion thereof of length m, for 1≤m≤n. All strings herein are of finite length, or simply "finite," and normally (but not necessarily) are at least three units long. Given a string, an element at one of its ends is referred to as "leftmost" or "first" element. The element next to the first is said to be on its "right" and called "second" element, and so on, until the rightmost element, referred to as "last" element. In addition, the first element is deemed to have a special empty or "blank" element on its left, and the last element is deemed to have a blank element on its right. Blank elements do not contribute units to the length of a string, and, normally, no blank elements appear between the first and the last elements. A string, together with its blank elements, is referred to as "closed," and without them as "open." A string is deemed to be closed unless specifically referred to as open. Each element in the open portion of a closed string has a "leftneighbor," i.e., the element immediately to its left, and, likewise, a right-neighbor; the first and last elements having a blank left-neighbor and a blank right-neighbor, respectively.
No restriction is placed on the nature, character, or substance of elements in the open portion of a string. If an element is represented symbolically by a sign or a mark, the mark is considered an element in its own right and any meanings or other significative aspects of the mark, including its semiotic relationship to the original element, need hot be considered any further. The terms "symbol" or "mark" are used generically to denote standard semiotic terms, such as sign, icon, index, token, character, ideograph, and the like. An element that can be prehended or sensed or recorded by human beings, and/or other living things or systems, and/or instruments, devices, or systems made by human beings, is referred to as an objective element or "datum-object." An element that cannot be prehended, sensed, or recorded by any of said means is referred to as "fantomark." A string comprising elements which are not datum-objects is referred to as "fantomark string." Marks and symbols are considered to be datumobjects, and, normally, strings herein are strings of marks or symbols, or their physical representations, such as in terms of bit-signal patterms.
In the present invention a mark is normally considered only in the context of a string, namely in the context of other marks, including blanks; consequently, marks are reduced to essentially syncategorematic entities, or even weaker. When marks are taken individually or even in combination, any meanings, significations, or other semiotic properties are normally disregarded. A mark is normally considered in terms of its relations to its two neighbors, a "relation" taken to be binary distinction/indistinction; namely, a mark is said to be "distinct" from a neighbor if it is distinguishable from the neighbor (by some comparison means); otherwise it is said to be "indistinct" from the neighbor. Clearly a relation between two marks is symmetric, or mutual. The essential information in a mark string (or any string), from the point of view of the present invention, is the totality of mutual relations of elements in the string. This information can be encoded in a number of ways which are essentially equivalent, or commutable into each other, and thus reducible to a single encoding method. The two techniques below, describing "streaking" and "tetracoding," disclose the essence of said encoding.
The "streak" of a string is a binary string, i.e., a string having at most two types of marks such as '0' and '1', that encodes the mutual relations of elements in the former string in the following manner: for each element, but the first, in the open portion of said string, if it is distinct from its left-neighbor the corresponding code in the streak is 0; otherwise it is 1. In addition a 0 is appended to each end of the code sequence. A streak without the appended 0's is referred to as "bare" streak. The "tetracode" of a string is a mark string that encodes the mutu¬al relations of elements in the original string in the following manner: for each element in the open portion of the original string, if both neighbors are distinct from it the corresponding code is a mark 'A'; if the left-neighbor is distinct and the right-neighbor is indistinct from it the corresponding code is a mark 'B'; if the left-neighbor is indistinct and the right-neighbor is distinct from it the corresponding code is a mark 'C'; and if both neighbors are indistinct from it the corresponding code is a mark 'D'. The set of marks consisting of A, B, C, and D is referred to as "internal alphabet," and the. marks are sometimes referred to as "letters." Ideographic symbols may be substituted for the letters, for example: □ for A; ⊏ for B; ⊐ for C; and
Figure imgf000008_0001
for D.
A method of generating streaks of mark strings is referred to as "streaking method" and the transformational operation involved is referred to as "streaking"; likewise, a method of generating tetracodes is referred to as "tetracoding method" and the operation as "tetracoding." The notions of streaking and tetracoding apply to all datum-object strings.
Fantomark strings which, by definition, are imperceptible to man, animal, or machine may nevertheless have well-defined streaks, which are ordinary mark strings. This invention is not concerned with methods of generating streaks of fantomark strings; however, it includes methods of processing streaks of fantomark strings, if such are presented for processing, in the same manner as any other streaks.
The present invention is concerned with operations on strings, with processes defined in terms of said ♢perations, with devices that embody said processes, and with combinations, or interactions, of said processes and devices with conventional data processing systems to effect certain useful processing of data. String-Manipulation Operations
String-manipulation operations on whole strings are the basic ingredients of the system herein disclosed. The level and function of these operations are comparable to those of machine operations and instruction sets in conventional data processing systems. All string-manipulation operations are "unary," i.e., operate on a single string, the "operand." Normally an operation includes a set of rewriting rules (or productions) out of which a rule is selected and applied to each mark in the operand in the course of application of the operation. Most rewriting rules are context-sensitive, namely intrinsically selected for application to a given mark on the basis of its local context. Context-sensitive rewriting rules are written in the format: X → U/Y-Z, meaning that "the mark X is to be rewritten as the mark U if X is in the context of the mark Y and the mark Z, on its left and right, respectively." Other standard, or self-explanatory, formats for rewriting rules and productions are used, as needed. An operation involving simultaneous applications of rewriting rules to all marks in the operand is referred to as "parallel"; and the simultaneous acts are collectively referred to as transformational step, or "step." However, any use of the word 'step' in the claims included in this application is not governed by this definition. An operation involving sequential application of rewriting rules, such as from the leftmost to the rightmost mark, is referred to as "sequential." A sequential transformational step comprises, temporally and functionally, the sequence of individual substaps involved in the application of the sequential operation. An operation that is not parallel and not strictly sequential is referred to as "scrambled." Most operations herein disclosed are parallel and some are sequential. It is obvious to persons skilled in the art that all parallel operations can be converted into sequential, or even scrambled, operations without altering their essential character. A string resulting from application of a string-manipulation operation to an operand is referred to as "result" or (immediate) "successor," and the operand is referred to as (immediate) "predecessor" of the successor. In the specifications of operations that follow this section, "input string" is synonymous with operand or predecessor; and "output string" is synonymous with result or successor. A string-manipulation operation is referred to as "monogenic, " if its application to an operand yields at most one successor. Note, the number of predecessors yielding the same successor under same monogenic operation is not restricted to one. All operations herein disclosed are monogenic. Some operations apply to arbitrary strings, some apply to any string but normally are applied to a limited class of strings, and some apply to a restricted class only. For notational convenience, strings are designated by the following types and notations. Q designates any type of string; R designates any "rawdata string," namely any datum-object string initially external to the system, that is submitted to the system for processing; S designates any streak; T designates any tetracode; and 3 designates any bicolored string (the latter type of string being described later by the bicoloring operation). The tetracode and streak of a string Q are written T(Q) and S(Q), respectively. Subscripts are used to distinguish between two or more strings of the same type. Lower-case versions of the respective capital letters, with proper subscripts, designate individual elements in strings; (in a few places, Greek letters are used for this purpose). A blank is designated by '∅' and the position of a leftmost blank normally receives 'o' subscript. Operations are assigned names and shorter mnemonic designations in three capital letters. If 'OPR' is the generic mnemonic for operations, a single application of OPR to Q is written OPR(Q); k successive applications of OPR to Q and its k-1 successors are written OPRk(Q) if k is finite, and OPR(Q) if k is indefinite. Application of OPRi to the successor of Q under OPRj is written OPRi(OPRj(Q)), and this notation is extended to any number of applications of various operations, as needed. The notations '≠' and '=' designate the phrases "distinct from" and "indistinct from," respectively. The specifications of string-manipulation operations are disclosed and set forth below.
Operation Name: Interface Tetracoding
Mnemonic: ITC
Type: unary, parallel
Input String: Type: R
Alphabet: {any datum-object}
Length: n
Format:
Figure imgf000011_0001
Rewriting Rules:
Figure imgf000011_0002
Output String: Type: T
Alphabet: {A, B, C,D}
Length: n
Figure imgf000011_0003
EXAMPLE
Input String: 'BEGINNING'
Length: 9
ITC(BEGINNING) - AAAABCAAA
Result above is obtained by parallel applications of rewriting rules
(1), (1), (1), (1), (2), (3), (1), (1), and (1) to B, E, G, I, N, N,
I, N, and G, repectively. Operation Name: Tetracoding
Mnemonic: TTC
Type: unary, parallel
Input String: Type: Tk
Alphabet: {A,B,C,D}
Length: n
Format:
Figure imgf000012_0001
Rewriting Rules: Same as for ITC. The explicit form of the rewriting rules, in terms of the internal alphabet, is given below.
(01) A → D/A-A (17) A → B/B-A (33) A → B/C-A (49) A → B/D-A
(02) A → C/A-B (18) A → A/B-B (34) A → A/C-B (50) A → A/D-B
(03) A → C/A-C (19) A → A/B-C (35) A → A/C-C (51) A → A/D-C
(04) A → C/A-D (20) A → A/B-D (36) A → A/C-D (52) A → A/D-D
(05) B → A/A-A (21) B → C/B-A (37) B → A/C-A (53) B → A/D-A
(06) B → B/A-B (22) B → D/B-B (38) B → B/C-B (54) B → B/D-B
(07) B → A/A-C (23) B → C/B-C (39) B → A/C-C (55) B → A/D-C
(08) B → A/A-D (24) B → C/B-D (40) B → A/C-D (56) B → A/D-D
(09) C → A/A-A (25) C → A/B-A (41) C → C/C-A (57) C → A/D-A
(10) C → A/A-B (26) C → A/B-B (42) C → C/C-B (58) C → A/D-B
(11) C → B/A-C (27) C → B/B-C (43) C → D/C-C (59) C → B/D-C
(12) C → A/A-D (28) C → A/B-D (44) C → C/C-D (60) C → A/D-D
(13) D → A/A-A (29) D → A/B-A (45) D → A/C-A (61) D → C/D-A
(14) D → A/A-B (30) D → A/B-B (46) D → A/C-B (62) D → C/D-B
(15) D → A/A-C (31) D → A/B-C (47) D → A/C-C (63) D → C/D-C
(16) D → B/A-D (32) D → B/B-D (48) D → B/C-D (64) D → D/D-D V
Figure imgf000013_0001
Output String: Type: Tk+1
Alphabet: {A,B,C,D} Length: n
Format:
Figure imgf000013_0002
EXAMPLE
Input String: 'AAAABCAAA'
Length: .9
TTC (AAAABCAAA) = BDDCAABDC; length: 9
Result above is obtained by parallel applications of rewriting rules
(65), (01), (01), (02), (07), (25), (33), (01), and (81) to A, A, A, A,
B, C, A, A, and A, respectively. Operation Name: Streaking
Mnemonic: STR
Type: unary, parallel
Input String: Type: R
Alphabet: {any datum-object}
Length: n
Format:
Figure imgf000014_0005
Rewriting Rules:
Figure imgf000014_0004
Output String: Type: S
Alphabet: {0,1}
Length: n+1
Format:
Figure imgf000014_0001
EXAMPLE
Input String: 'AAAABCAAA'
Length: 9 = 0111000110; length: 10
Figure imgf000014_0003
Result above is obtained by parallel applications of rewriting rules
(1), (2), (2), (2), (1), (1), (1), (2), (2), and (1) to , A, A, A, A,
Figure imgf000014_0002
B, C, A, A, and A, respectively.
The bare streak is: 11100011 ; length: 8 Operation Name: Triunation
Mnemonic: TRI
Type: unary, parallel
Input String: Type: S(Tk)
Alphabet: {0,1}
Length: n+1; (bare length: n-1)
Format:
Figure imgf000015_0001
Rewriting Rules:
Figure imgf000015_0002
(3) so and sn remain = 0.
Output String: Type: s (Tk+1)
Alphabet: {0, 1}
Length: n+1 ; (bare length: n-1)
Format: as above
EXAMPLE
Input String: '0111000110'
Length: 10
TRl(0111000110) - 0010010000; length: 10
Result above is obtained by parallel applications of rewriting rules
(3), (2), (1), (2), (2), (1), (2), (2), (2), and (3) to 0, 1, 1, 1,
0, 0, 0, 1 , 1 , and 0, respectively. Operation Name: Reclamation Mnemonic: REC Type: . unary, parallel Input String: Type: S
Alphabet: {0,1}
Length: n+1; (bare length: n-1)
Format:
Figure imgf000016_0002
Rewriting Rules:
(
Figure imgf000016_0003
Output String: Type: T Alphabet: {A,B,C,D} Length: n
Format:
Figure imgf000016_0001
EXAMPLE
Input String: '0111000110'
Length: 10
REC(0111000110) = BDDCAABDC; length: 9
Result above is obtained by parallel applications of rewriting rules
(2), (4), (4), (3), (1), (1), (2), (4), and (3) to 01, 11, 11, 10, 00, 00,
01, 11, and 10, respectively. Operation Name: Bicoloring Mnemonic: BIC Type: unary, sequential Input String: Type: T
Alphabet: {A,B,C,D} ; Length:
Format:
Figure imgf000017_0002
Rewriting Rules:
Figure imgf000017_0001
where bi-1 is the color-value assigned to ti-1, i.e.,
0 or 1, and ~bi-1 is the color-value opposite to the one assigned to ti-1.
Output String: Type: B Alphabet: {0,1} Length: n
Format:
Figure imgf000017_0003
EXAMPLE
Input String: 'AAAABCAAA'
Length: 9
BIC (AAAABCAAA) - 010100101
Result above is obtained by sequential application of rewriting rules
(1), (3), (3), (3), (3), (2), (3), (3), and (3) to A, A, A, A, B, C, A,
A, and A, respectively. Operation Name: Lagging
Mnemonic: LAG
Type: unary, sequential
Input String: Type: S
Alphabet: {0,1}; (modified alphabet: {0,1,α})
Length: n+1; (bare length: n-1)
Format:
Figure imgf000018_0001
Operation Description & Rewriting Rules:
Starting at so, the three leftmost symbols uniquely determine a rewriting rule from the set below that specifies a symbol ε {0,1,α} to be appended to the R.H.S. of the string; the leftmost symbol is dropped and same is repeated until sn-1 is dropped, which completes one transformational operation on the entire string. The general format of the rewriting rules is:
si-1sisi+1 → 0 or 1 or α, depending on triplet on L.H.S.;
for l≤i≤n. The explicit rewriting rules are: L 1: 000 → 1 L9: α00 → 1 L13: 0α0 → α L17: 00α → 1 L2: 001 → 0 L10: α01 → 0 L14: 0α1 → α L18: 01α → 0L3: 010 → 0 L11: α10 → 0 L15: 1α0 → α L19: 10α → 0L4: 011 → 0 L12: α11 → 0 L16: 1α1 → α L20: 11α → 0 L5: 100 → 0 L6: 101 → 0 L7: 110 → 0
L8: 111 → 1 Output String: Type: S (in LAG-mode)
Alphabet: {0,1,α}
Length: n+1; (bare length: n-1)
Format:
Figure imgf000019_0001
EXAMPLE
Input String: '0001000000'; in LAG-mode: 'α00l00000α'
Length: 10
LAG(α00100000α) = α10001111α
Result above is obtained by sequential application of rewriting rules
L9, L2, L3' L5, L1, L1, L1, L17, and L14 to α00, 001, 010, 100, 000,
000, 000, 00α, and 0α1, respectively.
Operation Name: Amination
Mnemonic: AMN
Type: unary, sequential
Input String: Type: S (in LAG-mode)
Alphabet: {0,1 , α}
Length: n+1 ; (bare length: n-l)
Format:
Figure imgf000020_0001
Operation Description & Rewriting Rules:
Starting at so, the three leftmost symbols uniquely determine a rewriting rule from the set below that specifies a symbol ε {N1,N2, ...,N20} which becomes a symbol in the new stringy the leftmost symbol is dropped and same is repeated until sn-2 is dropped. The new string thus comprises n-1 Ni's in the order of their production. The general format of the rewriting rules is:
si-1sisi+1 → Nj, 1≤j≤20, depending on triplet on L.H.S.;
for l≤i≤n-1. The explicit rewriting rules are:
(1) 000 → N 1 (9) α00 → N9 (13) 0α0 → N13 (17) 00α → N17
(2) 001 → N 2 (10) α01 → N10 (14) 0α1 → N14 (18) 01α → N 18
(3) 010 → N 1 (11) α10 → N11 (15) 1α0 → N15 (19) 10α → N19
(4) 011 → N 1 (12) α11 → N12 (16) 1α1 → N16 (20) 11α → N20
(5) 100 → N 1
(6) 101 → N 1
(7) 110 → N 1
(8) 111 → N8 Output String: Type: AMN(S) (bare) Alphabet: {N1, ... >N20} Length: n-1 Format:
Figure imgf000021_0001
EXAMPLE
Input String: 'α00100000α'
Length: 10
AMN(α00100000α) » N9N2N3N5N1 N1N17; length: 8
Result above is obtained by sequential application of rewriting rules
(9), (2), (3), (5), (1), (1), (1), and (17) to α00, 001,010, 100,
000, 000, 000, and 00α, respectively.
Operation Name: Wagging
Mnemonic: WAG
Type: - unary, sequential
Input String: Type: AMN(S) (bare) Alphabet: {N1, . . . , N20} Length: n-1
Format:
Figure imgf000022_0001
Operation Description & Rewriting Rules:
Starting at v1, v1 together with the last v in the string, determine a unique rewriting rule from the set below that specifies a symbol ε {N1, ..., N20} to be appended to the R.H.S. of the string; v1 is dropped and same is repeated until vn-1 is dropped and then the first appended symbol is dropped, which completes one transformational operation on the string. The general format of the rewriting rules is: vi$vℓast → Nj, l≤j≤20, depending on viand vℓast, where $ is any substring; for 1≤i≤n-1. The explicit rewriting rules are:
W1: N1$N1→N2 W9 : N1$N9 → N2 W13: N1$N13→ N10 W17: N1$N13→ N14W2: N1$N2→ N4 W10: N1$N10 → N4 W14: N1$N14→ N12 W18: N1$N18→ N16 W3: N1$N3→ N6 W11: N1$N11 → N6 W15: N1$N15→ N 10 W19: N1$N19→ N14W4: N1$N4→N8 W12: N1$N12→ N8 W16: N1$N16→ N12 W20: N1$N20→ N16W5: N1$N5→ N2 NOTE: If, in rewriting rules W1 through W20, the first
W6: N1$N6→ N4 symbol N1 is uniformly replaced by any of the
W7: N1$N → N6 symbols N8, N9, or N17, the same rules apply to these symbols, respectively. W8: N1$N8→ N8 W21 : N2$N1→ N1 W29: N2$N9 → N1 W33: N2$N13 → N9 W37: N2$N17→ N13 W22: N2$N2→ N3 W30: N2$N10→ N3 W34: N2$N14 → N11 W38: N2$N18→N15 W23: N2$N3→ N5 W31: N2$N11→ N5 W35: N2$N15 → N9 W39: N2$N19 → N13 W24: N2$N4→ N7 W32: N2$N12 →N7 W36: N2$N16 → N11 W40: N2$N20 → N15 W25: N2$N5 → N1
NOTE: If, in rewriting rules W21 through W40, the first W26: N2$N6 → N3 symbol N2 is uniformly replaced by any of the symbols N3, N4, N5, N6, N7, N10, N11, N12, N18, W27: N2$N7 → N5 N19, or N20, the same rules apply to these symbols, W28: N2$N8 → N7 respectively,
W41: N13$N1 → N17 W49: N13$N9 → N17 (Combinations of N13 with N13 W42: N13$N2 → N18 W50: N13$N10 → N18 through N20 cannot occur in this system)
W43: N13$N3 → H19 W51: N13$N11 → N19
W44: N13$N4 → N20 W52: N13$N12 → N20
W45: N13$N5 → N17
NOTE: If, in rewriting rules W41 through W52, the first
W46: N13$N6 →N18 symbol N13 is uniformly replaced by any of the symbols N14, N15, or N16, the same rules apply
W47: N13$N7 → N19 to these symbols, respectively.
W48: N13$N8 → N20
EXAMPLE
Input String: 'N9N2N3N5N1N1N1N17'
Length: 8
WAG(N9N2N3N5N1N1N1N17) = N11N5N1N2N4N8N8N20
Result above is obtained by sequential application of rewriting rules W17, W34, W31, W25, W1, W2, W4, W8, and W48 to N9$N17, N2$N14, N3$N11, N5$N5, N1$N1, N1$N2, N1$N4, N17$N8, and N14N8, respectively. Note that N14, the first symbol produced, is later dropped and therefore does not appear in the result string. Operation Name: Deamination
Mnemonic: DMN Type: - unary, parallel Input String: Type: AMN (S) (bare)
Alphabet: {N 1, . . . , N20}
Length: n-1
Format:
Figure imgf000024_0003
Rewriting Rules: and vi → 0 or 1 , depending on v i; for 1≤i≤n-1.
Figure imgf000024_0004
The explicit rewriting rules are:
(1) N1 → 0 (9) N9 → 0
(2) N2 → 0 (10) N10 → 0 NOTE: N 13 through N16 can¬
(3) N3 → 1 (11) N11→ 1 not appear is an aminated
(4) N4 → 1 (12) N 12→ 1 string a no rewriting
(5) N5 → 0 (13) N17→ 0 rules are given for these
(6) N6 → 0 (14) N18 → 1 symbols.
(7) N7 → 1 (15) N 19 → 0
(8) N8 → 1 (16) N20 → 1
Output String: Type: S (in LAG-mode)
Alphabet: {0 , 1,α}
Length: n+1
Format:
Figure imgf000024_0001
EXAMPLE
Input String: 'N 1 1N5N1N2N 4N8N8N20'
Length: 8
DMN(N11N5N1N2N4N8N8N20) = α10001111α; length: 10; bare length: 8
Result above is obtained by parallel applications of rewriting rules
(11), (5), (1), (2), (4), (8), (8), and (16) to H11, N5, N1, N2, N4, N8,
N8, and N20, respectively, and by applying the rule at both ends .
Figure imgf000024_0002
Operation Name: Ideographing (four similar operations)
Mnemonics: IDA; IDB; IDC; IDD
Type: unary, parallel
Input String: Type: T
Alphabet: {A,B,C,D}
Length: n
Format:
Figure imgf000025_0003
Rewriting Rules: IDA IDB IDC IDD
Figure imgf000025_0001
for 1≤i≤n.
Output String: Type: Ideograph
Figure imgf000025_0002
{0, 1} ; {A,D} Length: n Format: See FIGS . 4B, 4C, 4D, and 4E
EXAMPLE
See FIG. 4 The operations set forth above are classified as primary, including ITC, TTC, TRI, LAG, and WAG; and auxiliary, including STR, REC, BIC, ΔJMN, DMN, and IDA, IDB, IDC, and IDD. The primary operations are closely related and essentially are variations on the same theme. For example, ITC is a generic form of TTC; the former tetracodes arbitrary raw-data strings and the latter is a specialized version that tetracodes only strings written in a fixed 4-letter alphabet. TTC is considered the most important primary operation and the remaining operations will be discussed in reference to it. ITC and STR are normally interface operations and may be subsumed under certain pre-processing operations briefly described below. Given any string Q, interfacing Q with the system or simply "interfacing Q," consists of certain pre-processing resulting in an encoding of the totality of mutual relations of elements in Q, such as the streak of Q, S(Q), or the tetracode of Q, T(Q), in a physical representation which is compatible with the means of further processing. If one type of encoding is thus obtained others can also be determined. For example, if S(Q) is known, then T(Q)=REC(S(Q)); and. if T(Q) is known, then S(Q)=STR(BIC(T(Q))). The collection of all means available for pre-processing is referred to as "preprocessing means." This invention is not concerned with various technologies of pre-processing means and it is presupposed that, included in any given type of pre-processing means, there is a suitable comparison means, or equivalents thereof, for determining distinction/indistinction of elements; so that, given such comparison means, implementation of ITC or STR is straightforward. The following are examples of typical functional requirements of pre-processing means. If Q is represented in some analog mode, preprocessing means includes sensing and recording means compatible with the analog signals, and comparison means compatible with the mode of the recorded information and yielding results in a mode compatible with that of the means of further processing. In a digital technology oriented system, analog-to-digital conversion means may be included, and the comparison means may be digital. If elements in Q cannot be sensed and recorded directly, means for detecting and recording distinctions between elements, rather than the elements themselves, may be used, which recording providing the essential information for S(Q). Lastly, if streaks of fantomark strings are detected and recorded by some means, the streaks thus recorded can be further processed by the system as any other streaks. Interrelationships among TTC, TRI, STR, REC, ITC, and BIC are illustrated diagramatically in FIG. 1. From said diagram,
and
Figure imgf000027_0002
TRI "shadows" TTC in the sense that, whereas TTC(Ti) generates Ti÷1,
TRI(S ), where Si is the streak of Ti-1, generates Si+1 which is the streak of Ti; (note that Si+1 is NOT the streak of Si). Since REC transforms any S. into Tj, TRI is functionally equivalent to TTC, when augmented by the proper auxiliary operations, or "essentially functionally equivalent" to TTC, when not so augmented. For instance, given Ti-1, Ti+1 can be generated by TTC2(Ti-1), or by REC(TRI(STR(Ti-1))).
Hereinafter, given a streak, the nominal difference between α and 0 at the end positions in LAG and regular streak modes, respectively, shall normally be ignored; also, since a bare streak can readily be augmented with 0 at each end, it is accasionally allowed to stand for the entire streak. TRI and LAG are also functionally equivalent, i.e., given Sk, TRI(Sk)=LAG(Sk)=Sk+1, where TRI(Sk) is generated in parallel and LAG(Sk) sequentially. In turn, LAG is functionally equivalent to WAG, when WAG is augmented by the auxiliary operations AMN and DMN according to the expression LAG(Sk)=DMN(WAG(AMN(Sk))). Finally, in relation to TTC, Ti+1 can be obtained from Ti-1 or Ti in a number of ways, including the following,
Figure imgf000027_0001
so that the function of TTC can be served by TRI, LAG, or WAG, when augmented by the proper auxiliary operations, as specified above.
The additional variations of TTC, through TRI, LAG, and WAG may seem superfluous but are, in fact, essential to the definition of scope of this invention. The importance of TRI will be brought out later in connection with a certain device embodiment of this invention. The basic roles of LAG and WAG are discussed below.
The lagging operation defines, what is called in the literature, a lag system with prefix number β=3 and suffix number ε=1; (see Hao Wang, "Tag Systems and Lag Systems," Math. Annalen. (1963) 65-74; also, H. Wang, "Remarks on Machines, Sets, and the Decision Problem," in "Formal Systems and Recursive Functions," J. N. Crossley and M. A. E. Dummett (eds.), North-Holland Publishing Co., 1965, p. 30.4-320). The present link to Wang's lag systems is particularly important because these systems, in turn, are related to Post's tag systems, and, in fact, coincide with them when both types have prefix number = 1. The present wagging operation which is basically derived from the lagging operation, defines a "wag system with prefix number = 1, which lies somewhere between lag and tag systems. All three types are subsumed under Post's monogenic normal systems which are known to be very powerful computationally; for instance, Minsky has shown that "computability with monogenic normal systems is equivalent to computability with general-recursive functions, Turing machines, general canonical systems, etc." (see Marvin Minsky, "Computation: Finite and Infinite Machines," Prentice-Hall, 1967, p. 270). In addition to indicating the leve of computational power inherent in the wag system herein disclosed (and, in turn, in TTC and systems derivable from TTC), it is stressed that the wag system is defined herein essentially in the formalism of a Post canonical system. Now Emil Post has shown in his celebrated 1943 paper ("Formal Reduc tion of the General Combinatorial Decision Problem," Am. J. Math., 65, 197215 (1943)) that any formal system can be reduced to a Post canonical system with a single axiom and only productions of the form g$ → $h; (see Minsky's reference above, p. 240). Since the formalism of the primary operations (through WAG) is reduced to the accepted standard of Post canonical form, the point is made here that the derived string-manipulation method disclosed hereinafter conclusively anticipates any and all methods which are functionally equivalent to it.
The auxiliary operations essentially perform certain translations between the primary modes. Certain basic uses of STR, REC,AMN, DMN, and BIC are demonstrated earlier. Note that BIC is a kind of inverse of REC, namely, given Ti, Si=STR(BIC(Ti)). IDA, IDB, IDC, and IDD generate ideographic representations of tetracodes for output and display purposes. IDD is used also in connection with the process of abduction discussed elsewhere. The primary operations, aided by the auxiliary, form a basis for a powerful string-manipulation system, expressible in a sort of higherlevel calculus of operations, that can be used effectively to define and carry out certain processes of industrial utility. Processes & Processing
This section contains the nucleus of the present invention, namely, Basic Intellector Process (BIP). Because of the diversity of topics included in this section, an informal brief outline is given below.
The notions of process and processing are introduced first, followed by a discussion of quids and quods, the fundamental constituents of tetracodes, and certain processes applicable to them. BIP is introduced as a natural extension of said processes, followed by detailed analysis and discussion of the properties and behaviour of BIP processing, including the following topics: autonomic mode of BIP processing; the tetracode space; operative dialectic and the Hegelian connection; manifested dialectic; two concrete examples of BIP processing; autonomic error-correction; and functional equivalents of BIP.
Let a set of p operations {OPR1, OPR2, . . ., OPRp} be given, and let 0 be any string. A "process of degree m" applied to Q, PROCm{Q}, consists of m applications of operations from the above set, such that the first application is to Q and each application thereafter is to the result from the application of the preceding operation. Symbolically,
Figure imgf000029_0002
for l≤j≤m, and ' : = ' means "is defined as. " If k successive are identical, for 2≤k≤m, the k successive appearances of can
Figure imgf000029_0004
written
Figure imgf000029_0003
as Q is said to undergo processing to degree m by PROCm{Q}, and the
Figure imgf000029_0001
transformational activity involved is referred to as "processing of Q." A process of degree 1 is said to be "elementary." A process of degree m, where m is finite, is said to be "finite," and if m is unbounded or indefinite the process is said to be "indefinite." Indefinite degree is denoted by ∞. A process is said to be "monogenic" if all operations involved in it are monogenic. All processes herein disclosed are monogenic. Hereinafter processes normally involve tetracodes, or, in the alternative, their streaks. With the aid of ideographic representations of tetracodes, (for instance, see FIG. 4B), exactly two structural types of substrings can be discerned in them, further defined as follows. A substring of a tetracode consisting of two or more A's is referred to as "quid." A quid is said to be disconnected or "discrete." A substring of a tetracode consisting of a B followed by a C, or a B followed by one or more D's followed by a C, is referred to as "quod." A quod is said to be integrated or "connected." A substring of a tetracode consisting of a single A is referred to as "monad," and may be considered as either a unitary quid or a unitary quod, depending on its history in a transformational process. (The distinction between the quidness and quodness of a monad will be elaborated later.) A quid or quod of odd or even length is referred to as "odd" or "even" quid or quod, respectively. When used in symbolic expressions a quid or quod of length k is written QUIDk or QUODk, respectively, or without subscript if length is understood or irrelevant.
The "liquidation sequence" of a quod of length m is a sequence of strings, each of length m, such that the ith string, for 1≤i≤μ, con¬
Figure imgf000030_0001
sists of a quod of length ℓ»m-2i, for m-2≥ ℓ≥0,preceded by a substring of length i having an A in the rightmost position, and followed by a substring of length i beginning with A. A process for generating the liquidation sequence of a quod is referred to as "liquidating process," the processing involved is referred to as "liquidating," and thequod is said to be liquidated. Depending on whether a liquidated quod is even or odd, the string before last has 'BC' or 'BDC', respectively, for its residual quod, and the final liquidating step yields 'AA' or 'AAA' , respectively, in the middle of the last string in the liquidating sequence. The following scheme illustrates the structure of the liquidating sequence of an even quod.
0 B D . . . . . . D D D D . . . . . . D C
1 A B D . . . . . D D D D . . . . . D C A
2 . A B D . . . . D D D D . . . . D C A .
3 . . A B D . . . D D D D . . . D C A . . . . . . . . . . . . . . μ-2 . . . . . . . A B D D C A . . . . . . . μ-1 . . . . . . . . A B C A . . . . . . . . μ . . . . . . . . . A A . . . . . . . . .
The first process is now defined below. Process Name: Liquidator Mnemonic: LQD
Type: finite Process Specification:
Initial String: QUODm; m≥2
Process: LQDμ{QUODm}:Ξ TTCμ(QUODm), where
Trace of
Figure imgf000031_0002
Processing: See example below.
EXAMPLE
QUOD7=BDDDDDC; μ=3
LQD3{BDDDDDC}:= TTC3(B D D D D D C) , which yields the liquidating sequence,
1 A B D D D C A
2 A A B D C A A
3 B C A A A B C
* * * * *
It can be seen from the above specification and example that Liquidator is a liquidating process and, in fact, liquidates a quod of length m≥2 in exactly steps. It is observed that, during liquidation,
Figure imgf000031_0001
a quod is "peeled off" '"or "skinned" at each end, one unit length at a liquidating step, and the two severed units appear as monads in the next string. This process continues until the entire quod has been dissolved into monads. Now, going in the other direction, viewing a quid as a collection of monads ( perhaps chipped earlier from some quods), it is shown below how a quid can be integrated back into a quod.
A process transforming a quid into a quod of same length is referred to as "quodizing process," the processing involved is referred to as "quodizing," and the quid is said to be quodized. The following process quodizes quids in one step. Process Name: Quodizer Mnemonic: QDZ Type: finite; elementary
Process Specification:
Initial String: QUIDm; m≥1
Process: QDZ1{QUIDm }: ≡ TTC (QUIDm) Trace of Processing: See exam ole below.
EXAMPLE
QUID10=AAAAAAAAAA
QDZ1 {AAAAAAAAAA} : ≡ TTC (A A A A A A A A A A) , which yields ,
B D D D D D D D D C I now disclose below the key process of the present invention.
Process Name: Basic Intallector Process
Mnemonic: BIP
Type: Indefinite Process Specification:
Initial String: R; length: n≥1
Process BTP{R}:= TTC(T1), where T1=T(R).
Trace of
Processing: See example below. EXAMPLE
See FIG. 4A, or FIG. 5.
* * * * *
A finite version of BIP, namely BIPf{R}:= TTCf(T1), where T1=T(R) and f is a positive integer, is simply a finite subprocess of BIP; R is said "to undergo BIP processing to a finite degree," and BIP processing is said "to be applied to R to a finite degree."
It is obviously unobvious to predict the outcome of BIP processing, especially when the initial string is long, arbitrary, or not even known to the person attempting a prediction. In fact, at the present state-ofthe-art, it would appear to persons skilled in the art as an impossibility. An important aspect of this invention is my discovery of certain general modes of internal autoregulation, effectively self-governing the outcome of any and all BIP processing, which resemble the essentially metaphysical notion of 'pre-established harmony', so favored by Leibnitz. It turns out that. tetracode patterns generated by BIP processing are intricately structured, highly organized, abound with regularities and symmetries, and very significant in connection with a broad class of problems from the general area of machine intelligence. Yet, said patterns are obviously not programmed in any conventional sense, as one identifies them only after the fact, rather than specifies them in a program, scheme, or procedure beforehand; or, put another way, there is no obvious way, known at present in the art, to relate an ultra broad procedure such as TTC(T1) to the highly specific type of outcome engendered by it, or view it as "premeditated programming" of such outcome. Unusual as it may appear, the highly significant features of BIP processing, disclosed and discussed hereinafter, are not in virtue of external intention or deisgn, but are virtually selfcreatad through what can be ascribed only to autoregulation or autonomic processing; so much so, that the adjective 'autonomic' (in contrast to 'automatic') appearing in the title of this invention, i.e., "Autonomic String-Manipulation System," attains its rationale in this striking fact. In the following I disclose, analyze, and discuss, through supporting background and concrete examples, the properties and behaviour of BIP processing. Inasmuch as BIP processing involves solely the generation of tetracodes, it appears useful to describe first the structure of the collection of all tetracodes of length n≥l, referred to as "tetracode space."
A string in the internal alphabet is referred to as "well-formed" (w.f.) if it consists of one or more quids and/or one or more quods arranged in any way; as "strictly well-formed" (s.w.f.) if it consists of a single quid or a single quod, or an arrangement of one or more quids and one or more quods in alternation; and as "weakly well-formed" (w.w.f.) if it is w.f. but not s.w.f. Any tetracode is w.f. and any w.f. string is a tetracode. A tetracode generated from a string which is not a tetracode may be w.w.f. or s.w.f.; a tetracode generated from a tetracode is s.w.f. For a given length n, there exist 4 distinct strings in the internal alphabet; exactly 2n-1 of these are w.f., the s.w.f. form a proper subset of the w.f., and the rest are w.w.f. The number of s.w.f; strings, SWF(n), for n>2, can be determined from the following formula.
Figure imgf000033_0001
where C(p,q) is a binomial coefficient, i.e., C(p,q) » means
Figure imgf000033_0002
the largest- integer ≤ v; Δ=2 means incrementation of i by 2 at every step of the summation; and a1, a2, and a3 are determined from the following: (i) if n is divisible by 3, then a2=a3=a1-1;
Figure imgf000033_0005
(ii) if n is odd and not divisible by 3, then a1=a2-1;
(iii) if n is even, then a2=a1+1; a3=a1-1.
Figure imgf000033_0003
Figure imgf000033_0004
For example, for n=9, SWF(9)=114; compared to the 2 =256 w.f. strings
(which include the 114 s.w.f. strings and 142 w.w.f. strings) and the totality or 49=262144 arbitrary strings of length 9 that can be written in the
4-letter internal alphabet.
The notion of wellformedness, the sets of w.f., s.w.f., and w.w.f. tetracodes of length n, and their respective (bare) streaks are associated with a certain binary tree, referred to as "tree of rank n." A tree of rank a is of height n and is described as follows (see FIG. 3). The root and each node, to level n-3 on the L.H.S. and to level n-2 on the R.H.S., has exactly two successors. The root is labeled A, and, recursively, successors of A are labeled (left & right): A & B; successors of B: C & D; successors of C: A & B; and successors of D: C & D. Beyond level n-3 on the L.H.S. , at level n-2 each node has only a left successor, and at level n-l all nodes are terminal, i.e., without successors. Beyond level n-2 on the R.H.S., at level n-1 each node has only a left successor, and at level n all nodes are terminal. In addition, an edge connecting two A's or two D's is labeled 1, and all other edges are labeled 0. A tetracode must begin with either A or B. If it begins with A, it can be identified with a unique path in the tree by entering at the root and proceeding to successive nodes by following the remaining letters in the tetracode. The path terminates at a terminal node on the L.H.S., or an A or a C node at level n-1 on the R.H.S. Similarly, a tetracode beginning with B can be traced by entering at the B node at level 2; the path terminates at a terminal node on the R.H.S. Note that as a tetracode is traced through the nodes, its bare streak is traced through the edges connecting said nodes.
A tree is said to be "absorbed" by another tree if all its nodes and respective edges, together with their labels, appear in (part of) the latter, "absorbing" tree. Let the difference between the ranks of two trees be designated by k>0. If 0<k≤2, the tree of smaller rank is absorbed by the tree of larger rank when both roots are made to coincide. If k=3, the smaller can be absorbed by the larger in two ways, i.e., by coincidence of the roots, or by coincidence of the root of the smaller with the A node at level 2 of the larger. If k=4, a third way is added through the coincidence of the root of the smaller with the A node at level 3 of the larger. In general,, for k≥5, there are ways (i.e., nodes labeled
Figure imgf000034_0001
A in the absorbing tree which are qualified for coincidence with the root of the absorbed tree) in which the smaller tree can be absorbed in the larger Any tetracode of length n is said to be traceable, or "absorbed" by a tree of rank n in a unique way; and said tree absorbs exactly the collection of tetracodes of length n. Since all tetracodes are finite, the corresponding absorbing trees are of finite rank. However, in this connection, it is useful to define a binary tree of unbounded rank, by using the previous recursive definition for trees of finite rank without the restriction on the level up to which the recursion applies. In this manner a rooted binary tree is obtained, where the root is labeled A and the tree extends indefinitely; it is referred to as "substrate tree." It is clear that any tree of finite rank is absorbed By a substrate tree in an infinite number' of ways, or in a finite number of ways if some large enough portion of' the substrate tree is considered. Now, since every tetracode is uniquely absorbed by a finite tree and every finite tree is absorbed by a substarte tree, the entire collection of string productions of BIP, and certain string-manipulation systems derived from it, is absorbed, or embedded, in a substrate tree. Hence, all strings generated and manipulated within said systemsj in tetracode or streak modes, are realized as sequences of nodes or edges, respectively, on paths in a substrate tree. In conclusion, the tetracode space is realized in a substrate tree.
Following the description of the tetracode space as a whole, turn now to a description of the structure and dynamics of BIP processing, which are manifested within said space. For a given BIP processing, the length n is finite and fixed for all tetracodes generated, hence all of them are absorbed by the same absorbing tree of rank n. It is clear that, while BIP is indefinite and monogenic, the tree can absorb at most 2n-1 distinct tetracodes, and therefore a closed, indefinite, cycle of tetracodes must be reached after a finite number «2n-1 of steps. The structure of such cycles is an important element of the present discovery and invention and is disclosed later in considerable detail.
Another important element of these discovery and invention is an apparent dialectical dynamics that shapes the tetracodes generated by BIP processing;, said dynamics is brought out and exemplified below. From the definitions of the processes LQD, QDZ, and BIP, it is clear that, in each step of BIP processing each quod undergoes a liquidating step and each quid is quodized, and nothing else occurs. Consequently, BIP processing amounts to endless disintegration of quods into quids and recombination of quids into quods, mitigated by a kind of internal, autonomic, delicate balancing mechanism. It follows that the resulting tetracode patterns must be accounted for by the metamorphoses of quids and quods and the attendant dynamics, which, as it turns out, has classical dialectical properties. Since the entities of quids and quods are initially derived from marks or elements stripped of meanings, and later derive only from their own kinds, they also appear to be essentially without meaning. Whatever significations may be inherent in quids and quods, it is clear that, in their domain of existence, i.e., tetracodes generated in the course of BIP processing, these are the only entities occurring and their only essence is (mutual) contrariety. For instance, appealing to ideographic representation (see FIG. 4C), quids are "discrete" whereas quods are "connected." So, to repeat, whatever these entities may be and whatever they may signify, contrariety is their essence. While discreteness and connectedness are obvious contraries or opposites, particularly important in structural matters, (note here a pertinent quote from Hermann Weyl ("Symmetry," p. 109): "The splitting into something discrete and something continuous seems to me a basic issue in all morphology..."), other contrary pairs may be assigned to quids and quods as interpretants, and BIP processing analyzed in terms of such assignments. For example, if one assigns 'NOUGHT' to quids and 'BEING' to quods, and if one calls BIP processing (which amounts to continual liquidating and quodizing) by the term 'BECOMING'; and calls liquidating 'dissolution' and quodizing 'passage into', then the intrinsic opposition between quidness and quodness and its continual resolution through BIP processing is captured by the language: BECOMING continually mediates the dissolution of BEING into NOUGHT and the passage of NOUGHT into BEING. Note that the foregoing statement, which is a legitimate technical description of BIP processing, is all too familiar to the Hegelian who, in fact, may regard it as simply drawn from the heart of the Hegelian dialectic; (as BEING, NOUGHT, and BECOMING constitute the first dialectical triad in the first part, i.e., 'logic of being', in Hegel's "Science of Logic")
Clearly, as far as this patent specification is concerned, the statement above is mine, not Hegel's, and is strictly a technical statement that reads on the specific technology herein disclosed; by no means is it a statement of speculative philosophy. This inescapable link, or analogy, to the Hegelian dialectic is mentioned here in order to bring out the boundaries of the present invention and stress its potential practical implications. More specifically, the present invention includes, and this specification discloses, the first and only existing symbolic and operationistic (as opposed to merely descriptive and verbal) system, further embodied in digital hardware technology, that captures dialectical logic. The significance of this can be assessed from the fact that the quest for embodiments of dialectical logic is as old as Plato and as current as present-day structuralism, best exemplified by the more recent work of the late Jean Piaget on the origins of natural intelligence and on, so-called, 'genetic epistemology'. The dialectic discussed so far is referred to as dynamic or "operative dialectic," since the opposing tendencies and their mediation are more in the nature of processes. In the wake of the operative dialectic, additional level of dialectic emerges, referred to as correlative or "manifested dialectic," which imprints the tetracode patterns with its qualities. At this level the opposing entities and their mediations are structures of tetracodes, rather than processes operating on them. Clearly, the two levels continually interact and are inherently inseparable; the distinction is here made for the sake of orderly description. A s.w.f. tetracode is referred to as "thesis," if none of its quods is of length greater than 3. The successor of a thesis under TTC is referred to as "antithesis." A thesis and its antithesis are related in such a way that under each quid and each quod in the thesis there is a quod or quid, respectively, of same length in the antithesis. An antithesis is said to be "complementary" to its thesis, and together are said to constitute a . "complementary pair." Respective complementary substrings are referred to as a pair of "dialectical substrings." The successor of an antithesis under TTC is referred to as "synthesis." Under each quid in an antithesis there is a quod of same length in the synthesis; under each quod of length m>3, there are a monad followed by a quod of length m-2 followed by a monad. A synthesis is said to have a structure that "mediates" the structures in the complementary pair preceding it, in the sense that each pair of dialectical substrings of length > 3 yields a partly discrete and partly connected (symmetrical) substring in the synthesis; and, if said length is ≤ 3 and no such symmetrical resolution is possible, the synthetic substring normally takes on the character, i.e., quid or quod, of the respective substring in the thesis. It should be emphasized that the above intricate rules of complementarity and mediation are derived from observation after the fact, as opposed to being programmed into BIP in advance. A thesis, its antithesis, and the following synthesis, are referred to as (perfect) "dialectical triad« The following description is supported by. FIG. 6. The first string generated, T1, is referred to as the "surface-structure" of the external or initial string, R. T1 may be w.w.f. or s.w.f., depending on the inherent structure of the initial string R. All successive tetracodes are s.w.f. After a finite number of tetracodes are generated, a cycle, referred to as "Hegelian cycle" (H.C.), is reached. Tetracodes in the range between the surface-structure and the beginning of a cycle are referred to as "intar mediate." Tetracodes in a H.C. are referred to as "deep" or "internal." The length, ℓ, of a H. C.. is the number of distinct tetracodes in it, and can be" as .small as two. If ℓ=2, a H.C. consists of a complementary pair. If ℓ>2, the tetracodes are basically organized in successive triads; and if ℓ is not divisible by 3, the last (would be) triad is incomplete. Normally, the first tetracode in a H.C. is a thesis, referred to as "deep structure" or IDEA of R. A deep structure together with its antithesis are referred to as "canonical form" of R. (Note in this connection that a canonical form can be adequately characterized as 'information structure comprising a complementary pair of 4-letter strings', which characterization bearing a striking resemlance to that of a DNA molecule, although the complementarity rules appear to be somewhat different; hence, the structure of a canonical form is said to be "DNA-like.") The first triad, which includes a canonical form, is normally a perfect dialectical triad. Successive triads are frequently also perfect dialectical triads, but may have certain perturbations or imperfections, especially if the lengths of tetracodes and the cycle itself are large. A triad is referred to as "modified dialectical triad," if its first tetracode contains one or more quods of length = 4; and as "imperfect dialectical triad," if its first tetracode contains one or more quods of length > 4. The number of intermediate tetracodes may be zero or larger, and they may or may not be organized in dialectical triads; often some do and some do not.
Memory, or more specifically 'dynamic memory' is inherent in this process. The surface-structure is said to be in transitory "subsurface memory"; intermediate strings in transitory "intermediate memory"; and strings of the Hegelian, cycle are said to be in "deep memory." Clearly, deep memory is a type of dynamic memory that retains its information indefinitely.
Two concrete examples, illustrating traces of BIP processing, are given in FIG. 4 and FIG. 5, and explained below. Hereinafter, in discussions of said traces, the ith tetracode is designated by Tet(i), and the jth symbol in a tetracode is designated by Sym(j).
In the first example (see FIG. 4A) the external string R='BEGINNING' is of length n=9. The trace displays the following basic features. Tet(01) is the surface-structure of 'BEGINNING', and is followed by eight intermediate tetracodes, Tet (02) through Tet(09) , all of which appear only once in this processing. Tet(lO) is the first tetracode which is repeated in the sequence i.e., with the appearance of Ter(22), so that the Hegelian cycle consists of the twelve strings Tet(10) through Tet(21). These are organized in exactly four triads, each of which happens to be a perfect dialectical triad. The triads are:
T A S
Triad 1: Tet(10) → Tet(11) → Tet(12)
Triad 2: Tet(13) → Tet(14) → Tet(15) Triad 3: Tet(16) → Tet(17) → Tet(18) Triad 4: Tet(19) → Tet(20) → Tet(21), where columns T, A, and S list theses, antitheses, and syntheses, respectively. Analyze in some detail one of the triads, say triad 2, using ideographic representation type IDB (see FIG. 4C) : d - discrete (quid) c - connected (quod) m m - mediated
Figure imgf000039_0003
m'- mediated for short substrings
The transition to the next triad (i.e., Tet(16)=thesis 3) is also "dialectical," as follows: u - unitary substr (monad)
Figure imgf000039_0002
Here, connected substrings are transformed into discrete, discrete into connected, and unitary substrings (which can be viewed as either discrete or connected) are transformed into unitary. From similar observations on the remaining triads in the cycle it is clear that the entire collection of twelve strings is tied together in a highly organized fashion. Still, more regularities are evident. For example, the first half of the cycle, triads 1 & 2, and the second half, triads 3 & 4, are related by mirror-image symmetries when the second half is juxtaposed to the first half on the right or on the left. For example, in left juxtaposition, Tet(16) and Tet(10) mirror each other, using ideographic representation type IDA, as follows:
Figure imgf000039_0001
Returning to Tat (01) through Tet(09) , it is observed that, although the organization of tetracodes outside the H.C. is normally less regular, in this particular example the nine tetracodes are organized in exactly three triads, each of which is a perfect dialectical triad.
Throughout the seven triads the development appears as a form of inference or syllogism. For example, in each triad, the movement from thesis to antithesis to synthesis may be viewed as two separate acts of inference, namely (1) given a thesis, apply the complementarity rule to infer the antithesis, and (2) given both thesis and antithesis, apply the mediation rules to infer the synthesis. While the above description and analysis uncover unusual and interest ing organization, apparent syllogistic activities, etc., it should be stresse again that BIP {R} is not programmed or designed, in any conventional sense, to do any of these things. Furthermore, BIP does not have access to stored programs or external references; is not supplied with any definitions of "strings," "substrings," "discreteness," "connectedness," "complementarity,", "mediation," or the like; and is not given any rules of inference or any other rules beyond the extremely primitive rewriting rules of TTC. Now, the rewriting rules of TTC are strictly local, acting in parallel, and myopic, i.e., cannot "see" beyond the string on which they operate, and, within it, each rewriting rule sees at most three contiguous symbols; also, there is no transfer of information across a string to obtain a global view of it. Thus the transformational activity is strictly local and spontaneous, yet it produces global results. It resembles a chemical reaction taking place local ly on an exposed photographic plate, that, combined with numerous others, yield a global picture. It is anticipated that, in addition to electronics, implementation in chemical or biochemical systems is particularly suitable for this kind of a process.
In the second example (see FIG. 5) the external string R» 'SEEPERFECTCYCLE' is of length n=15. The trace displays the following basic features. Tet(Ol) is the surface-structure, and also the first string in the Hegelian cycle, repeated as Tet(31); (no intermediate tetracodes occur in this example). The cycle consists of thirty strings, Tet(Ol) through Tet(30), organized in ten triads, some of which are perfect (P) , some are modified (M) , and some are imperfect (I), dialectical triads. The triads, and their levels of perfection, are: Triad 1: Tet(04) → Tet(02) → Tet(03) P
Triad 2: Tet(04) → Tet(05) → Tet(06) I
Triad 3: Tet(07) → Tet(08) → Tec(09) M
Triad 4: Tet(10) → Tet(11) → Tet(12) I Triad 5: Tet(13) → Tet(14) → Tet(15) P
Triad 6: Tet(16) → Tet(17) → Tet(13) P
Triad 7: Tet(19) → Tet(20) → Tet(21) I
Triad 8: Tet(22) → Tet(23) → Tet(24) M
Triad 9: Tet(25) → Tet(26) → Tet(27) I
Triad 10: Tet(28) → Tet(29) → Tet(30) P
It is clear that the level of perfection varies with regularity, or symmetry, with respect to the dotted line dividing the two halves of the cycle. In addition, mirror-image symmetry is preserved between the two halves of the cycle, in a way similar to that in the previous example. For instance, in right juxtaposition, arrange triad 6 on the right of triad 1, triad 7 on the right of triad 2, and so on, and for visual aid apply IDA or IDB.
An additional important element of the present discovery and invention concerns certain autonomic error-correcting capabilities inherent in BIP processing. To illustrate the general character of these capabilities I disclose three basic types, representative of others, through specific examples below. The types are:
Type 1: next-step correction Type 2: regenerated-cycle correction Type 3: correctness without correction
Example 1. (next-step correction)
Arbitrarily, take Tet(09) from trace in FIG. 5. Suppose that, because of noise or malfunction, errors have been introduced in Tet(09) to the point where it does not even bear a resemblance to its original make-up or structure, and is not even well-formed; for example,
B C B D B C C C C C C B D D D Nevertheless , upon application of TTC to the above corrupt string, the result is: A A A A A B D D D D C A B D C which is nothing but Tet(10); i.e., the next tetracode is recovered completely, and the rest of the processing is not affected at all. Example 2. (regeneratad-cycie correction)
Take Tet(19) from trace in FIG. 4A. Suppose it has been corrupted into 'BCBCDABBC'. In this case, the next step is not sufficient to correct the errors, however, in two steps, i.e.,
B C B C D A B B C step 1 A A A A A A B C A step 2 B D D D D C A A A = Tet(05), the processing is restored to Tet(05), and thereafter the cycle (i.e., Tet (10)) is reached in five more steps and is re-established. Example 3. (correctness without correction)
This feature of handling errors is even more unusual. It is entirely possible that a portion of BIP processing, or even the whole of it, will be, so to speak, surreptitiously correct, but ridden with errors and jumble in the actual trace. This odd capability may be very useful in cases where computation is extremely rapid and is carried out in the face of severe noise levels, so that actual correction simply cannot take place. It turns out that, within a very broad range of allowable errors, the jumbled patterns contain the precise or "pure" patterns, and the latter can be recovered at any step. Note that, once interference is stopped, recovery is spontaneous, absolutely without external or internal references, and involves no special error-correcting schemes or procedures, or "keys" and the like. To illustrate, refer to trace in FIG. 4A. Suppose that ITC(BEGINNING) is computed correctly, but noise or malfunction cause the result to be transcribed as 'CCCCDABBB', instead of Tet(01). Suppose, again, Chat TTC(CCCCDABBB) is computed correctly, but the result transcribed as 'DCCABBCAB', instead of Tet(02) . Likewise, in each step, TTC is computed correctly, but errors are tolerated in the actual transcription of the result, so that the next application of TTC is to a corrupt version of the result. Consequently, FIG. 4A may end up looking like the following:
00 B E G I N N I N G
01 C C C C D A B B B
02 D C C A B B C A B
03 D A D A D A C C C
04 C C C C C C D B D . . . etc. , yet essentially be a perfectly correct trace. The entire trace of 21 strings may be corrupt and, in fact, because noise is random, Tet(22) would not look like Tet(10), so that, on the surface, a cycle would not even be reached. Nevertheless, the trace would be essentially correct, and on a single application of TTC to any string (in the absence of noise) the correct tetracode will emerge and the rest of the processing will be completely unaffected.
Error-correcting codes and similar schemes are certainly not new to the art. It is clear, however, to persons skilled in the art that autonomic error-correction is distinctly different and is decidedly unobvious over the art.
An additional process, essentially a variant of BIP, is specified below.
Process Name: Basic Intellector Process (streak mode) Mnemonic: BIPs
Type: Indefinite
Process Specification:
Initial String: R; length: n≥l
Process: BIP s{R}:= TRl∞(S
Trace of
Processing: See example below.
EXAMPLE
R= 'BASIC '; n=5
S4 =STR(BASIC)=0000 (bare) BIP s{BASIC}: = TRI(0000)=
Figure imgf000043_0001
The relationship between BIP and BIP is illustrated schematically in FIG. 2. BIPs is said to "shadow" BIP, and since any Ti can be recovered from the corresponding Si by application of REC to Si, BIP and BIP are essentially functionally equivalent. BIPs appears to be simpler to implement in digital technology, and a preferred embodiment of BIP is given in the next section.
From the relationships of LAG and WAG to TTC it is clear that numerous other variations are possible that are essentially functionally equivalen to BIP. The generic term "hegelizing process" is used for such processes. Included among said processes are BIP-simulators, i.e., processes designed or programmed to produce effects of BIP processing, but not necessarily through autonomic modes of operation. A string processed by a hegelizing process is said to undergo "hegelization," and the processing involved is referred to as "hegelizing." BIPs is an example of a hegelizing process. Embodiments & Devices
It is clear that the specifications of string-manipulation operations, as disclosed earlier, are complete in scope, definition, and detail so as to enable persons skilled in Che art to implement or embody said operations (or processes expressed in terms of said operations), by a variety of means, in data processing systems; that the utility of said operations and processes is substantially in virtue of said implementability; and that actual implementation in data processing systems is an important element and objective of this invention. Such implementation may include, but is not limiced to, the use of software and/or hardware digital technologies; including, but not limited to, hard-wired logic circuitry; micro-instructions or microcode stored in read-only memory, or in writable control store, or in other types of memories; and programming of said operations or processes in higher-level computer languages, such as FORTRAN or PL/1 or PASCAL, in conjunction with the use of general-purpose electronic digital computers to carr out said operations or processes. Further, implementation may include, but i not limited to, the use of chemical or biochemical methods and means; including, but not limited to, the use of artificial or natural materials and substances such as nucleotides, nucleic acids such as DNA, RNA and their many varieties, amino acids, proteins, and the like; said substances being in living or non-living states, within or without living cells; provided that natural mental processes carried out in unaided living human brains are not construed as implementations. It is obvious to persons skilled in the art that any implementation of said operations or processes, in whatever form or mode or combination of forms or modes, which is essentially derivable from, or essentially functionally equivalent to, said operations or processes and/o accompanying examples, descriptions, explanations and disclosures, is indistinguishable from subject matter included in this invention.
For the sake of completeness and definiteness, yet to preserve brevity, I disclose below a preferred hardware embodiment of one primary operation namely TRI, and of the process BIP s{R}:≡ TRI(S1), where S1=S(R); the device embodiment of said process is referred to as INTELLECTOR. It is obvious to persons skilled in the art that embodiments of the remaining operations can be readily designed and implemented using similar standard techniques.
Analyzing the logic requirements of TRI (in bare streak mode), consider the si's of the input string as Boolean variables. Rewriting rules (1) and (2) translate into the expression (si≡si-1) Λ (si≡si+1), for 2≤i≤n-2; and the expressions ~s1Λ~s2 and ~sn-2Λ~sn-1, for i=1 and i=n-1, respectively; where '=', 'Λ', and '~, are 'equivalence', 'conjunction', and 'negation', respectively. Expressing equivalence in terms of negation, conjunction, and disjunction, the first expression is rewritten as, ((siΛsi-1)V(~siΛ~si-1)) Λ ((siΛsi+1)V(~siΛ~si+1)), for 2≤i≤n-2; where 'V' is 'disjunction'. Finally, the above logical expressions are translated into the logic design diagrams in FIGS. 7, 7A, and 7B, which embody TRI, and, by virtue of the feedback loops, also TRI. The following is a detailed description of the circuitry of INTELLECTOR and its operation.
A bare streak of length n-1, represented by bit-signals, is fed via input lines 1 to n-1 binary cells 2 of an (n-1)-bit register, such that the ith cell receives the bit-signal si, for 1≤i≤n-1. si, for 2≤i≤n-2, is compared simultaneously with si-1 and si+1 in the following manner: si and si-1 are input, via respective connecting lines, to AND gate 3, and, simultaneously, to NAND gate with negated inputs 4; the outputs from 3 and 4 are input, via respective connecting lines, to OR gate 5; similarly, s. and si+1 are input, via respective connecting lines, to another AND gate 3, and, simultaneously, to another NAND gate with negated inputs 4; the outputs from 3 and 4 are input, via respective connecting lines, to another OR gate 5, thus completing the comparisons. The outputs from the two OR gates 5 are input to AND gate 6 and the output from 6 is made available to output line 7, whereupon one TRI step is completed. To effect TRI, feedback line 8 is included, and output from 6 is fed back to cell 2, designated si, whereupon the next TRI step starts.
On the left, for i=1 (see FIG. 7A), s1 and s2 are input, via respective connecting lines, to NAND gate with negated inputs 4, and the output from 4 is made available, with proper delay, to output line 9, whereupon one TRI ste is completed. To effect TRI, feedback line 8 is included, and output from 4 is fed back, with proper delay, to cell 2, designated s1, whereupon the nex TRI step starts. On the right, for i=n-1 (see FIG. 7B), sn-1, and sn-2 are input, via respective connecting lines, to NAND gate with negated inputs 4, and the output from 4 is made available, with proper delay, to output line 9, where upon one TRI step is completed. To effect TRI, feedback line 8 is included, and output from 4 is fed back, with proper delay, to call 2, designated sn-1, whereupon the next TRI step starts. Combinations with Digital Computing Means and Analog Systems It is obvious to persons skilled in the art that a single INTEL¬
LECTOR., or a plurality of INTELLECTORs, can be readily connected, via input lines 1 and output, lines 7 & 9 (see FIGS. 7, 7A, and 7B) to other digital systems, including digital data processing means; and, in particular, to a control section of a digital computer system having memory and control sections; such combinations having the advantages of both the autonomic string-manipulation system inherent in INTELLECTORs, and the programmability of conventional digital computer systems. Further, said combinations can be connected to analog systems via analog-to-digital and/or digital-toanalog means. The scope of the present invention includes any and all such combinations, and any and all data processing methods and procedures made possible by virtue of said combinations.

Claims

CLAIMS:
1. In electrical data processing systems, a circuit for processing the binary-word representing the streak of any finite string comprising, in combination: (a) a clocked register having n binary cells where n is a whole number compatible with the length of said streak and n being three or larger, in combination with means for loading said binary-word into said register;
(b) combinatorial logic means for processing a binary-word held in said register by comparing each bit-signal in said binary-word, except for the leftmost and rightmost bit-signals which are set LOW throughout said processing, with its left-neighbor bit-signal and with its right-neighbor bit-signal and emitting a HIGH bitsignal if said three compared bit-signals are all HIGH or all LOW and otherwise emitting a LOW bit-signal, where HIGH and LOW designate two distinct electrical states; and
(c) feedback lines connecting the outputs of said combinatorial logic means to the inputs of said register to enable the loading of a binary-word generated by said combinatorial logic means into said register.
2. In data processing apparatus, the method of manipulating a physical representation of a finite string, including storing the resulting recurrent cycle of strings, which comprises:
(a) interfacing said representation of said string with said apparatus; and
(b) hegelizing the interfaced representation of said string so as to generate and store in said apparatus the resulting recurrent cycle of strings for a finite duration.
3. In electrical data processing systems, the method of processing the electrical bit-signals representing the streak of any finite string, including storing a representation of the associated Hegelian cycle, comprising the steps of:
(a) applying triunation to said electrical bit-signals;
(b) applying triunation to the electrical bit-signals resulting from the preceding application of triunation; and
(c) repeating step (b) a sufficient number of times for storing said representation of Hegelian cycle for a finite duration thereby enabling the retrieval of any portion thereof for pattern analysis.
4. The method as in claim 3 with the additional step of:
(d) outputting trace patterns from said representation of Hegelian cycle for pattern analysis.
5. In electrical data processing systems, the method of processing the electrical bit-signals representing the streak of any finite string, including storing a representation of the associated Hegelian cycle, comprising the steps of: (a) generating from said electrical bit-signals electrical bit-signals representing the streak of the tetracode of said string; (b) generating from the resulting electrical bit-signals electrical bit-signals representing the streak of the tetracode of the predecessor tetracode; and (c) repeating step (b) a sufficient number of times for storing said representation of Hegelian cycle for a finite duration thereby enabling the retrieval of any portion thereof for pattern analysis.
6. In electrical data processing systems, the method of processing the electrical bit-signals representing the streak of any finite string, including storing a representation of the associated Hegelian cycle, comprising the steps of:
(r) generating from said electrical bit-signals electrical bit-signals representing the tetracode of the tetracode of said string;
(b) generating from the resulting electrical bit-signals electrical bit-signals representing the tetracode of the predecessor tetracode; and
(c) repeating step (b) a sufficient number of times for storing said representation of Hegelian cycle for a finite duration thereby enabling the retrieval of any portion thereof for pattarn analysis.
7. In electrical data processing systems, the method of processing the electrical bit-signals representing the tetracode of any finite string, including storing a representation of the associated Hegelian cycle, comprising the steps of: (a) applying tetracoding to said electrical bit-signals; (b) applying tetracoding to the electrical bit-signals resulting from the preceding application of tetracoding; and (c) repeating step (b) a sufficient number of times for storing said representation of Hegelian cycle for a finite duration thereby enabling the retrieval of any portion thereof for pattern analysis
8. In data processing apparatus, the method of processing the signals representing the streak of any finite string, including storing a representation of the recurrent cycle of strings resulting therefrom, whether or not said cycle is masked by noise, comprising the steps of:
(a) applying a string-manipulating operation to said signals, wherein said operation is possibly augmented by one or more auxiliary operations then constituting part(s) thereof; and wherein said operation is of a type that is functionally equivalent to the primary operation Triunation, as determinable by functional equivalency tests, such as reduction to truth tables or to Post canonical forms;
(b) applying the string-manipulating operation to the signals resulting from the preceding application of said operation; and
(c) repeating step (b) a sufficient number of times for storing in said apparatus said representation of the recurrent cycle of strings for a finite duration, thereby enabling the retrieval of any portion thereof for pattern analysis.
9. In data processing apparatus, the method of processing the signals representing the tetracode of any finite string, including storing a representation of the recurrent cycle of strings resulting therefrom, whether or not said cycle is masked by noise, comprising the steps of:
(a) applying a string-manipulating operation to said signals, wherein said operation is possibly augmented by one or more auxiliary operations then constituting part(s) thereof; and wherein said operation is of a type that is functionally equivalent to che primary operation Tetracoding, as determinable by functional equivalency tests, such as reduction to truth tables or to Post Canonical forms;
(b) applying the string-manipulating operation to the signals resulting from the preceding application of said operation; and
(c) repeating step (b) a sufficient number of times for storing in said apparatus said representation of the recurrent cycle of strings for a finite duration, thereby enabling the retrieval of any portion thereof for pattern analysis.
10. In data processing apparatus, the method of processing the signals representing an encoding of the mutual relations of elements in any finite string, including storing a representation of the recurrent cycle of strings resulting therefrom, whether or not said cycle is masked by noise, comprising the steps of:
(a) applying a string-manipulating operation to said signals, wherein said operation is possibly augmented by one or more auxiliary operations and if so augmented then said auxiliary operation(s) become(s) constituent part(s) thereof; and wherein said operation is of a type chat is essentially functionally equivalent to any of the primary operations and their functional equivalents, as determinable by functional equivalency tests, such as reduction to truth tables or to Post canonical forms;
(b) applying the string-manipulating operation to the signals resulting from the preceding application of said operation; and
(c) repeating step (b) a sufficient number of times for storing in said apparatus said representation of the recurrent cycle of strings for a finite duration, thereby enabling the retrieval of any portion thereof for pattern analysis.
PCT/US1980/001729 1980-12-24 1980-12-24 Autonomic string-manipulation system WO1982002267A1 (en)

Priority Applications (3)

Application Number Priority Date Filing Date Title
AU71727/81A AU7172781A (en) 1980-12-24 1980-12-24 Autonomic string-manipulation system
EP19810901382 EP0067810A1 (en) 1980-12-24 1980-12-24 Autonomic string-manipulation system
PCT/US1980/001729 WO1982002267A1 (en) 1980-12-24 1980-12-24 Autonomic string-manipulation system

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
WOUS80/01729801224 1980-12-24
PCT/US1980/001729 WO1982002267A1 (en) 1980-12-24 1980-12-24 Autonomic string-manipulation system

Publications (1)

Publication Number Publication Date
WO1982002267A1 true WO1982002267A1 (en) 1982-07-08

Family

ID=22154704

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US1980/001729 WO1982002267A1 (en) 1980-12-24 1980-12-24 Autonomic string-manipulation system

Country Status (3)

Country Link
EP (1) EP0067810A1 (en)
AU (1) AU7172781A (en)
WO (1) WO1982002267A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4914623A (en) * 1986-09-18 1990-04-03 Hudson-Allen Limited Digital processing of sensor signals for reading binary storage media

Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3106699A (en) * 1958-10-07 1963-10-08 Bell Telephone Labor Inc Spatially oriented data processing apparatus
US3196398A (en) * 1962-05-21 1965-07-20 Ibm Pattern recognition preprocessing techniques
US3899771A (en) * 1971-08-17 1975-08-12 Philips Corp Method of character recognition by linear traverse employing shifted edge lines
US4003022A (en) * 1974-08-02 1977-01-11 Nippon Electric Company, Ltd. Symbol string pattern recognition equipment
US4060713A (en) * 1971-06-23 1977-11-29 The Perkin-Elmer Corporation Analysis of images
US4167728A (en) * 1976-11-15 1979-09-11 Environmental Research Institute Of Michigan Automatic image processor

Patent Citations (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3106699A (en) * 1958-10-07 1963-10-08 Bell Telephone Labor Inc Spatially oriented data processing apparatus
US3196398A (en) * 1962-05-21 1965-07-20 Ibm Pattern recognition preprocessing techniques
US4060713A (en) * 1971-06-23 1977-11-29 The Perkin-Elmer Corporation Analysis of images
US3899771A (en) * 1971-08-17 1975-08-12 Philips Corp Method of character recognition by linear traverse employing shifted edge lines
US4003022A (en) * 1974-08-02 1977-01-11 Nippon Electric Company, Ltd. Symbol string pattern recognition equipment
US4167728A (en) * 1976-11-15 1979-09-11 Environmental Research Institute Of Michigan Automatic image processor

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4914623A (en) * 1986-09-18 1990-04-03 Hudson-Allen Limited Digital processing of sensor signals for reading binary storage media

Also Published As

Publication number Publication date
AU7172781A (en) 1982-07-20
EP0067810A1 (en) 1982-12-29

Similar Documents

Publication Publication Date Title
US4286330A (en) Autonomic string-manipulation system
Della Croce et al. A genetic algorithm for the job shop problem
Roberts et al. Thinking recursively
Coello et al. Using genetic algorithms to design combinational logic circuits
Winfree Whiplash PCR for O (1) computing
Agranat et al. A CCD based neural network integrated circuit with 64K analog programmable synapses
Searls Formal language theory and biological macromolecules.
WO1982002267A1 (en) Autonomic string-manipulation system
Alhazov et al. P systems with activation and blocking of rules
US6124444A (en) DNA sequences useful for computation
Myoupo et al. Time-efficient parallel algorithms for the longest common subsequence and related problems
Sureshkumar et al. Chomsky hierarchy control on isotonic array P systems
Martinez An automaton analogue of unicellularity
Moraal Graph-theoretical characterization of invertible cellular automata
Birkendorf On fast and simple algorithms for finding maximal subarrays and applications in learning theory
Heuberger et al. Automata and transducers in the computer algebra system Sage
Del Lungo et al. ECO method and the exhaustive generation of convex polyominoes
Kim Operators by Computational Learning
Choi Automata for learning sequential tasks
Ghuman et al. Improved online algorithms for jumbled matching
Damaschke Incremental haplotype inference, phylogeny and almost bipartite graphs
Hayes On the finite-state machine, a minimal model ofmousetraps, ribosomes and the human soul
Martin Transformations between tree permutations and inversion tables
Flanders Coroutines in Pascal
Regan A new parallel vector model, with exact characterization of NC k

Legal Events

Date Code Title Description
AK Designated states

Designated state(s): AU BR DK JP SU

AL Designated countries for regional patents

Designated state(s): AT CH DE FR GB NL SE

WWP Wipo information: published in national office

Ref document number: 1981901382

Country of ref document: EP

WWE Wipo information: entry into national phase

Ref document number: 1981901382

Country of ref document: EP

WWW Wipo information: withdrawn in national office

Ref document number: 1981901382

Country of ref document: EP