Electronic Book Review - grammarhttp://www.electronicbookreview.com/tags/grammar
enPositioning Hypertext in Chomsky's Hierarchy of Grammarshttp://www.electronicbookreview.com/thread/electropoetics/enumerable
<div class="field field-name-field-author field-type-node-reference field-label-hidden clearfix">
<div class="markup">by</div>
<div class="field-items">
<div class="field-item even">Jim Rosenberg</div>
</div>
</div>
<div class="field field-name-field-publication-date field-type-datetime field-label-hidden"><div class="field-items"><div class="field-item even"><span class="date-display-single">2003-04-08</span></div></div></div><div class="field field-name-field-riposte-to field-type-node-reference field-label-inline clearfix"><div class="field-label">Riposte to:&nbsp;</div><div class="field-items"><div class="field-item even"><a href="/thread/electropoetics/cyberdebates">Cybertext Killed the Hypertext Star</a></div></div></div><div class="field field-name-field-source-url field-type-link-field field-label-inline clearfix"><div class="field-label">Source URL:&nbsp;</div><div class="field-items"><div class="field-item even"></div></div></div><div class="field field-name-body field-type-text-with-summary field-label-hidden"><div class="field-items"><div class="field-item even"><p>Nick Montfort’s review of Espen Aarseth’s book <span class="booktitle">Cybertext</span>, “Cybertext Killed the Hypertext Star,” <span class="booktitle">ebr 11</span>, has much to say about cybertext which is useful. I have found the concept of cybertext to be a useful generalization of hypertext and many other forms of electronic writing, and have taken to using the term a good deal myself. I’m not sure I disagree with Montfort on the fundamentals of cybertext. However, Montfort’s essay contains numerous assertions on the “location” of hypertext on a scale of technical complexity which are either flawed or just plain wrong. It is important that these points be corrected.</p>
<p>First of all, Montfort’s characterization of hypertext is a straw-man version that ignores decades of research in the field using alternative models to the stereotype node-link model. It certainly is true that node-link hypertext is the preponderant structural mode of hypertexts actually done, but in truth almost from its inception researchers were raising the banner of “Don’t link me in” <cite id="note_5">Parunak, H. Van Dyke, “Don’t Link Me In: Set Based Hypermedia for Taxonomic Reasoning,” <span class="booktitle">Proceedings of Hypertext `91</span>, ACM, New York, 1991, pp. 233-242.</cite> , and lately I believe you will find a great deal of the research in hypertext is going into spatial hypertext, which Montfort doesn’t even mention. Sets <cite id="note_5"></cite>, relations <cite id="note_2">Marshall, Catherine C., Halasz, Frank G., Rogers, Russell A. and Janssen, William C. Jr., “Aquanet: a hypertext tool to hold your knowledge in place,” <span class="booktitle">Proceedings of Hypertext `91</span>, ACM, New York, 1991, pp. 261-275.</cite> , Petri nets <cite id="note_8">Stotts, P. David and Furuta, Richard “Petri-net based hypertext: Document structure with browsing semantics,” <span class="booktitle">ACM Trans. Off. Inf.Syst.</span>, 7, 1, (January), 1989.</cite> , spatial aggregates <cite id="note_3">Marshall, Catherine C., Shipman, Frank M. III, and Coombs, James H., “VIKI: Spatial Hypertext Supporting Emergent Structure,” <span class="booktitle">European Conference on Hypermedia Technology 1994 Proceedings</span>, ACM, New York, 1994, pp. 13-23.</cite> – all have been used as structural models of hypertext.</p>
<p>On the subject of the relationship of generalized algorithms and hypertext, this has been written about before, in my own Hypertext 98 paper, “Locus Looks at the Turing Play: Hypertextuality vs. Full Programmability” <cite id="note_7">Rosenberg, Jim, “Locus Looks at the Turing Play: Hypertextuality vs. Full Programmability,” <span class="booktitle">Hypertext `98: The Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia</span>, ACM, New York, 1998, pp. 152-160, <a class="outbound" href="http://www.well.com/user/jer/LLTP_out.html">http://www.well.com/user/jer/LLTP_out.html.</a></cite> . This paper talks about quite a range of cybertexts, including many Montfort doesn’t, such as Balpe’s generator poetry and the French <span class="lightEmphasis">poésie animée</span> school.</p>
<p>* * *</p>
<p>Now about Montfort’s mathematics. It is worth pointing out that the Chomsky hierarchy of grammars has come up before in the context of hypertext: see the ht_lit thread “Syntax, Linearity, and Experience” <cite id="note_6">Rosenberg, Jim, “Syntax, Linearity, and Experience,” Internet mailing list ht_lit, May 5, 1996, <a href="ftp://consecol.org/pub/ht_lit/ht_lit.9605.gz">ftp://consecol.org/pub/ht_lit/ht_lit.9605.gz</a>.</cite>. First a quibble. The discussion of the “Chomsky-4” level was almost right but not quite. Chomsky’s 4th level in the hierarchy of grammar types was Unrestricted Rewrite Systems. It is absolutely correct that this did indeed turn out to be equivalent to recursive enumerability – a theorem due to Chomsky himself, if I’m not mistaken. But the “mechanism” by which recursive enumerability is usually defined is quite different in character from a formal grammar, whereas the unrestricted rewrite systems are visibly grammars. That unrestricted rewrite systems should turn out to be equivalent to recursive enumerability was surprising and not at all obvious. There are some interesting things here which Montfort doen’t mention. At what level in the Chomsky hierarchy does natural language fit? I don’t know what the current research on this is; some years ago there was a strong feeling among many researchers that recursive enumerability was in fact too strong. Where do computer languages fit? Syntactically, in fact, they are all context-free: Chomsky-2! (If computer languages were not context-free, building practical interpreters and compilers would be impossible.) This clouds Montfort’s picture somewhat. Shall we disparage all computer languages because they are “only at Chomsky-2”? Shall we disparage all cybertexts because they are implemented by software written in context-free languages? We should be a bit careful about assuming that where something fits in the Chomsky hierarchy has anything at all to do with evaluation.</p>
<p>But, as I say, the above is in the nature of a quibble. This paragraph is not. I think Montfort’s conclusion that hypertext fits at level 1 in the Chomsky hierarchy is flat-out wrong. The point he missed concerns how the <span class="lightEmphasis">transitions</span> at the nodes occur. In a finite state diagram, there is a deterministic matrix that gives for a given input character and state <span class="lightEmphasis">exactly one</span> link. Montfort seems to have looked at the fact that a finite state machine can be described by a node-link diagram, takes node-link as all there is to hypertext, and Q.E.D., level 1. But even taking the subset of hypertext which is rigidly node-link: without knowing <span class="lightEmphasis">what the rules are</span> for what links are followed under what circumstances, you simply cannot conclude that hypertext “is” a finite state machine.</p>
<p>In fact, this subject has been researched. If I read it correctly, Seongbin Park’s theorem <cite id="note_4">Park, Seongbin, “Structural Properties of Hypertext,” <span class="booktitle">Hypertext `98: The Proceedings of the Ninth ACM Conference on Hypertext and Hypermedia</span>, ACM, New York, 1998, pp. 180-187.</cite> places node-link hypertext at Chomsky-2. Park’s paper is quite difficult and likely unreadable by those without mathematical training. He proves that “link followings” form a regular set (Chomsky-1) but that “link-following outcomes” form a context-free language (Chomsky-2).</p>
<p>But there is a much larger issue here: Montfort doesn’t discuss at all the subject that following a link may trigger an algorithm which <span class="lightEmphasis">generates</span> the node viewed (or mediates behavior in some other way). This vaults hypertext all the way to Chomsky-4. In fact, hypertext has been extensible by fully Turing-complete languages literally since its inception. Doug Engelbart’s system NLS/Augment is credited by most hypertext scholars as the first fully implemented hypertext system. It was built atop a specially constructed programming language called L10 with interface components in a language called CML <cite id="note_9">Watson, Richard W., “User Interface Design Issues for a Large Interactive System,” <span class="booktitle">AFIPS Conference Proceedings, Vol. 45</span>, National Computer Conference, June 6-7, 1976, pp. 357-364.</cite> . (L10 is a fascinating language that in many respects resembles perl; the syntax base is very like Algol, but like perl it contains built-in regular expression handling.) NLS/Augment was fully extensible at a Chomsky-4 level – in 1968! (See <cite id="note_7"></cite> for a brief review of hyptertext extensibility.)</p>
<p>The whole crux of my Hypertext 98 paper revolved around this: Surely we don’t mean to imply that hypertext is coequal with all of software, so just what kind of algorithm is hypertext, anyway? Much of the discussion concerned such issues as localization and user/algorithm relationships. I believe this is a much more fruitful basis for analysis than the level at which something fits in the Chomsky hierarchy. John Cayley has some papers that are relevant here also; see for instance <cite id="note_1">Cayley, John, “Pressing the Reveal Code Key,” <span class="journaltitle">EJournal</span>, Volume 6 Number 1, 1996, <a class="outbound" href="http://www.hanover.edu/philos/ejournal/archive/ej-6-1.txt">http://www.hanover.edu/philos/ejournal/archive/ej-6-1.txt.</a></cite> .</p>
<p>* * *</p>
<p>Finally, concerning Markku Eskelinen’s pronouncement that “Hypertext is Dead”: this is a particular manifestation of a widespread phenomenon I call Postism. Postism is the compulsive desire to measure where you are by what you are leaving behind. It is a view of life through the rear view mirror. Speaking personally, the only form of postism I find useful is post-postism.</p>
<p>Speaking as a certified card-carrying ghost, I am reminded of Cage’s manifesto, which is now something like a half century old:</p>
<p>Nothing is accomplished by writing a piece of music. Nothing is accomplished by playing a piece of music. Nothing is accomplished by listening to a piece of music.</p>
<p>– Our ears are now in excellent condition.</p>
<p>Let’s write!</p>
</div></div></div><div class="field field-name-field-tags field-type-taxonomy-term-reference field-label-above"><div class="field-label">Tags:&nbsp;</div><div class="field-items"><div class="field-item even"><a href="/tags/chomsky">Chomsky</a>, <a href="/tags/hypertext">hypertext</a>, <a href="/tags/cybertext">cybertext</a>, <a href="/tags/grammar">grammar</a>, <a href="/tags/extensible">extensible</a>, <a href="/tags/extensibility">extensibility</a>, <a href="/tags/enumerable">enumerable</a>, <a href="/tags/recursive-enumerability">recursive enumerability</a>, <a href="/tags/poesie-animee">poesie animee</a>, <a href="/tags/john-calyley">John Calyley</a>, <a href="/tags/cayley">cayley</a>, <a href="/tags/unrestricted-rewrite-systems">unrestricted rewrite systems</a>, <a href="/tags/montfort">montfort</a>, <a href="/tags/john-cage">john cage</a>, <a href="/tags/markku-eskelinen">Markku Eskelinen</a>, <a href="/tags/eskelinen">eskelinen</a>, <a href="/tags/aquanet">Aquanet</a>, <a href="/tags/hypertext-91">Hypertext `91</a>, <a href="/tags/hypertext">hypertext</a></div></div></div>Tue, 31 Jan 2012 16:25:05 +0000EBR Administrator847 at http://www.electronicbookreview.com