{This is a BNF specifying the syntax of the RUNOFF
 commands that I used in writing my logic book.
 It was used to write a program
 to convert RUNOFF files to (pre)TEX files            }
 {Grammar specifying the format of a RUNOFF text}
 
 {Listing of the terminals in the order used by the lexical analyser}
   
       texchar
       '.
       \&
       ^B
       eoln
       blank
       ^&
       `
       @
       singlechar
      '!
       ?
       ;
       string
       ,
       greek
       logical
       settheoretic
  
       page
       b
       br
       fill
       nofill
       spacing
       sp
       tp
       nj
       ap
       nm
       nnm
       lo
       ps
       literal
       figure
       lm
       s
       cc
       c
       chapter
       end 
 
  #
  
 <S> -> <after-eoln>.
  
 <runoff-source> -> <runoff-source2>
                 | <dot-or- > 
                 | <dot-or- > <runoff-source> .
  
 <runoff-source2> -> <char> 
                 |  <char> <runoff-source>
                 |  <underlined>
                 |  <underlined> <runoff-source>
                 |  <boldfaced>
                 |  <boldfaced> <runoff-source>
                 |  <subsup> <runoff-source>
                 |  <subsup> 
                 |  <eoln> <after-eoln>  .
 
 <eoln>          -> eoln .
  
 <underlined>    ->  <^&> <text> \& .
  
 <boldfaced>     ->  <^B> <text> ^B .
  
 <after-eoln>    -> <eoln .> '. <commands> <after-eoln>
                 |  <eoln > blank
                 |  <eoln > blank <runoff-source>
                 |  e
                 |  <runoff-source2> .
 
 <eoln .>        -> e .
  
 <eoln >         -> e .
  
 <^&>            -> ^& .
  
 <^B>            -> ^B .
   
 <!>             -> e .
  
 <?>             -> e .
   
 <`>             -> ` .
  
 <@>             -> @ .
  
 <subsup>        -> <subscript> | <superscript>.
   
 <subscript>     -> <`> <normal-char>
                 |  <!> '! <no-subsup> ?
                 |  <!> '! '! <no-subsup> ? ?
                 |  <!> '! <no-subsup> <subscript> ?
                 |  <!> '! '! <no-subsup?> <no-subsup> ? .
   
 <no-subsup?>    ->  <no-subsup> ? .
    
 <superscript>   -> <@> <normal-char>
                 |  <?> ? <no-subsup> '!
                 |  <?> ? ? <no-subsup> '! '!
                 |  <?> ? <no-subsup> <superscript> '!
                 |  <?> ? ? <no-subsup!> <no-subsup> '! .
   
 <no-subsup!>    -> <no-subsup> '! . 
    
 <no-subsup>     -> <normal-char> 
                 |  <normal-char> <no-subsup> 
                 |  <underlined>
                 |  <underlined> <no-subsup>
                 |  <boldfaced>
                 |  <boldfaced> <no-subsup>
                 |  <eoln>  <after-eoln2> .
  
 <after-eoln2>   -> <not-a-dot> 
                 |  <not-a-dot> <no-subsup>
                 |  <eoln> <after-eoln2> .
 
 <text>          -> <normal-char>
                 |  <normal-char> <text>
                 |  <eoln> <after-eoln3> .
    
 <after-eoln3>   -> <not-a-dot> 
                 |  <not-a-dot> <text>
                 |  <eoln> <after-eoln3> .
 
 <normal-char>   -> <dot-or- >
                 |  <char> .
  
 <text2>         -> <underlined>
                 |  <boldfaced>
                 |  <text3> .
   
 <text3>         -> <normal-char>
                 |  <normal-char> <text3> .
 
 <c;>            -> c .
  
 <command>       -> <keyword>
                 |  <keyword> string 
                 |  <keyword> string , string 
                 |  <keyword> <keyword> .
 
 <center>        -> <closecenter> <eoln> .
  
 <closecenter>   -> <c;> ; <text2> .
  
 <char>          -> singlechar
                 | texchar
                 | <special-char> .
  
 <special-char>  -> greek
                 |  logical
                 |  settheoretic 
                 |  ,
                 |  ; .
   
 <not-a-dot>     -> blank
                 |  <char>.
   
 <dot-or- >      -> blank
                 | '. .
   
 <keyword>       -> page
                 |  b
                 |  br
                 |  fill
                 |  nofill
                 |  spacing
                 |  sp
                 |  tp
                 |  nj
                 |  ap
                 |  nm
                 |  nnm
                 |  lo
                 |  ps
                 |  literal
                 |  figure
                 |  lm
                 |  s
                 |  cc
                 |  end .
 
 <keyword2>      -> chapter .
  
 <keyflag>      -> e .
 
 <skeyword>      -> <keyflag> <keyword2> .
  
 <blanks-;-eoln> -> <eoln>
                 |  ;
                 |  blank <blanks-;-eoln> .
  
 <commands>      -> <command> <blanks-;-eoln>
                 |  <center>
                 |  <close2> <eoln> .
  
 <close2>        -> <skeyword> <text2>