LR(0) Automaton for suc_ub4_1_5_3.gram</tite> <link rel="stylesheet" rev="stylesheet" href="gram.css"> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"/> </head> <body> <a href="index.html">Index</a><br /> <div><h1>BNF for <a href="suc_ub4_1_5_3.gram">suc_ub4_1_5_3.gram</a></h1><pre width="40%">bexpr := bexpr 'or' bterm | bterm bterm := bterm 'and' bfactor | bfactor bfactor := 'not' bfactor | '(' bexpr ')' | 'true' | 'false' </pre><p></p> </div> <div> <h1>LR(0) Automaton</h1> <div style="margin-left: 3em"><a href="suc_ub4_1_5_3.gram.slr.graph.png"><img src="suc_ub4_1_5_3.gram.slr.graph.tb.png" alt="LR(0) Automaton" /></a><br/> <a href="suc_ub4_1_5_3.gram.slr.graph.ps">As Postscript</a><br/> <a href="suc_ub4_1_5_3.gram.slr.dot">As Graphviz DOT</a><br/> </div> </div> <h1>SLR(1) Parser Table</h1> <div style="margin-left: 3em"><h2>Rules:</h2> <table class="data"> <tr><th> 1</th><td>bexpr := bexpr 'or' bterm </td></tr> <tr><th> 2</th><td>bexpr := bterm </td></tr> <tr><th> 3</th><td>bterm := bterm 'and' bfactor </td></tr> <tr><th> 4</th><td>bterm := bfactor </td></tr> <tr><th> 5</th><td>bfactor := 'not' bfactor </td></tr> <tr><th> 6</th><td>bfactor := '(' bexpr ')' </td></tr> <tr><th> 7</th><td>bfactor := 'true' </td></tr> <tr><th> 8</th><td>bfactor := 'false' </td></tr> </table> <h2>Parser Table:</h2> <table class="data"> <tr><th>State</th><th colspan="8">ACTIONS</th><th colspan="3">GOTO</th></tr><tr><th> </th><th> true</th><th>or</th><th>not</th><th>false</th><th>and</th><th>)</th><th>(</th><th>$</th><th>bexpr</th><th>bfactor</th><th>bterm</th></tr> <tr><th>0</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td>6</td><td>3</td><td>1</td> </tr> <tr><th>1</th><td> </td><td>r2</td><td> </td><td> </td><td>s8</td><td>r2</td><td> </td><td>r2</td><td> </td><td> </td><td> </td> </tr> <tr><th>2</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>9</td><td> </td> </tr> <tr><th>3</th><td> </td><td>r4</td><td> </td><td> </td><td>r4</td><td>r4</td><td> </td><td>r4</td><td> </td><td> </td><td> </td> </tr> <tr><th>4</th><td> </td><td>r8</td><td> </td><td> </td><td>r8</td><td>r8</td><td> </td><td>r8</td><td> </td><td> </td><td> </td> </tr> <tr><th>5</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td>10</td><td>3</td><td>1</td> </tr> <tr><th>6</th><td> </td><td>s11</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>A</td><td> </td><td> </td><td> </td> </tr> <tr><th>7</th><td> </td><td>r7</td><td> </td><td> </td><td>r7</td><td>r7</td><td> </td><td>r7</td><td> </td><td> </td><td> </td> </tr> <tr><th>8</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>12</td><td> </td> </tr> <tr><th>9</th><td> </td><td>r5</td><td> </td><td> </td><td>r5</td><td>r5</td><td> </td><td>r5</td><td> </td><td> </td><td> </td> </tr> <tr><th>10</th><td> </td><td>s11</td><td> </td><td> </td><td> </td><td>s13</td><td> </td><td> </td><td> </td><td> </td><td> </td> </tr> <tr><th>11</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>3</td><td>14</td> </tr> <tr><th>12</th><td> </td><td>r3</td><td> </td><td> </td><td>r3</td><td>r3</td><td> </td><td>r3</td><td> </td><td> </td><td> </td> </tr> <tr><th>13</th><td> </td><td>r6</td><td> </td><td> </td><td>r6</td><td>r6</td><td> </td><td>r6</td><td> </td><td> </td><td> </td> </tr> <tr><th>14</th><td> </td><td>r1</td><td> </td><td> </td><td>s8</td><td>r1</td><td> </td><td>r1</td><td> </td><td> </td><td> </td> </tr> </table> </div> <div> <h1>LR(0) Automaton with Lookahead</h1> <div style="margin-left: 3em"><a href="suc_ub4_1_5_3.gram.lalr.graph.png"><img src="suc_ub4_1_5_3.gram.lalr.graph.tb.png" alt="LR(0) Automaton with Lookahead" /></a><br/> <a href="suc_ub4_1_5_3.gram.lalr.graph.ps">As Postscript</a><br/> <a href="suc_ub4_1_5_3.gram.lalr.dot">As Graphviz DOT</a><br/> </div> </div> <h1>LALR(1) Parser Table</h1> <div style="margin-left: 3em"><h2>Rules:</h2> <table class="data"> <tr><th> 1</th><td>bexpr := bexpr 'or' bterm </td></tr> <tr><th> 2</th><td>bexpr := bterm </td></tr> <tr><th> 3</th><td>bterm := bterm 'and' bfactor </td></tr> <tr><th> 4</th><td>bterm := bfactor </td></tr> <tr><th> 5</th><td>bfactor := 'not' bfactor </td></tr> <tr><th> 6</th><td>bfactor := '(' bexpr ')' </td></tr> <tr><th> 7</th><td>bfactor := 'true' </td></tr> <tr><th> 8</th><td>bfactor := 'false' </td></tr> </table> <h2>Parser Table:</h2> <table class="data"> <tr><th>State</th><th colspan="8">ACTIONS</th><th colspan="3">GOTO</th></tr><tr><th> </th><th> true</th><th>or</th><th>not</th><th>false</th><th>and</th><th>)</th><th>(</th><th>$</th><th>bexpr</th><th>bfactor</th><th>bterm</th></tr> <tr><th>0</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td>6</td><td>3</td><td>1</td> </tr> <tr><th>1</th><td> </td><td>r2</td><td> </td><td> </td><td>s8</td><td>r2</td><td> </td><td>r2</td><td> </td><td> </td><td> </td> </tr> <tr><th>2</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>9</td><td> </td> </tr> <tr><th>3</th><td> </td><td>r4</td><td> </td><td> </td><td>r4</td><td>r4</td><td> </td><td>r4</td><td> </td><td> </td><td> </td> </tr> <tr><th>4</th><td> </td><td>r8</td><td> </td><td> </td><td>r8</td><td>r8</td><td> </td><td>r8</td><td> </td><td> </td><td> </td> </tr> <tr><th>5</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td>10</td><td>3</td><td>1</td> </tr> <tr><th>6</th><td> </td><td>s11</td><td> </td><td> </td><td> </td><td> </td><td> </td><td>A</td><td> </td><td> </td><td> </td> </tr> <tr><th>7</th><td> </td><td>r7</td><td> </td><td> </td><td>r7</td><td>r7</td><td> </td><td>r7</td><td> </td><td> </td><td> </td> </tr> <tr><th>8</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>12</td><td> </td> </tr> <tr><th>9</th><td> </td><td>r5</td><td> </td><td> </td><td>r5</td><td>r5</td><td> </td><td>r5</td><td> </td><td> </td><td> </td> </tr> <tr><th>10</th><td> </td><td>s11</td><td> </td><td> </td><td> </td><td>s13</td><td> </td><td> </td><td> </td><td> </td><td> </td> </tr> <tr><th>11</th><td>s7</td><td> </td><td>s2</td><td>s4</td><td> </td><td> </td><td>s5</td><td> </td><td> </td><td>3</td><td>14</td> </tr> <tr><th>12</th><td> </td><td>r3</td><td> </td><td> </td><td>r3</td><td>r3</td><td> </td><td>r3</td><td> </td><td> </td><td> </td> </tr> <tr><th>13</th><td> </td><td>r6</td><td> </td><td> </td><td>r6</td><td>r6</td><td> </td><td>r6</td><td> </td><td> </td><td> </td> </tr> <tr><th>14</th><td> </td><td>r1</td><td> </td><td> </td><td>s8</td><td>r1</td><td> </td><td>r1</td><td> </td><td> </td><td> </td> </tr> </table> </div> </body> </html>