Changes

→‎Box Displays: del <pre>text
Line 319: Line 319:     
<br>
 
<br>
  −
<pre>
  −
| !C!(!P!).  Grammar 3
  −
|
  −
| !Q! = {"F", "R", "T"}
  −
|
  −
|  1.  S  :>  R
  −
|
  −
|  2.  S  :>  F
  −
|
  −
|  3.  S  :>  S · S
  −
|
  −
|  4.  R  :>  !e!
  −
|
  −
|  5.  R  :>  m_1
  −
|
  −
|  6.  R  :>  p_j, for each j in J
  −
|
  −
|  7.  R  :>  R · R
  −
|
  −
|  8.  F  :>  "-(" · T · ")-"
  −
|
  −
|  9.  T  :>  S
  −
|
  −
| 10.  T  :>  T · "," · S
  −
</pre>
      
{| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%"
 
{| align="center" cellpadding="12" cellspacing="0" style="border-top:1px solid black" width="90%"
12,080

edits