function ll_start($s) {
$t = array();
foreach($this->rule as $rule) if($rule[0] == $rule[1]) $t[] = $rule;
if($t) {
foreach($t as $rule) printf('<tr><td colspan="4">%s 存在左递归</td></tr>', preg_replace('/ /', ' → ', join(' ', $rule), 1));
return;
}
$stack = array('#', key($this->forecast));
$i = 0;
$step = 1;
$timeout = 10 * strlen($s);
while($stack && $i forecast[$r][$s{$i}])) $msg = $r . ' → ' . join(' ', array_reverse($this->forecast[$r][$s{$i}][0]));
else $msg = '错误';
printf("<tr>
<td>%d</td>
<td>%s</td>
<td>%s</td>
<td>%s</td>
</tr>", $step++, substr(join('', $stack), -50), substr($s, $i), $msg);
if($r == $s{$i}) {
array_pop($stack);
$i++;
}elseif(isset($this->forecast[$r][$s{$i}])) {
array_pop($stack);
if(current($this->forecast[$r][$s{$i}][0]) != '#')
$stack = array_merge($stack, $this->forecast[$r][$s{$i}][0]);
}else break;
}
}
function lr_start($s) {
$State = array(0); //状态栈
$Symbol = array('#'); //符号栈
$i = 0;
$step = 1;
$timeout = 10 * strlen($s);
while($i action[$sp][$ch]) && $this->action[$sp][$ch][0] == 'r0') $msg = 'acc';
if(isset($this->request[$sp][$ch])) $request = preg_replace('/ /', ' → ', join(' ', $this->rule[$this->request[$sp][$ch]]), 1);
else $request = 'error';
printf("<tr>
<th>%d</th>
<td>%s</td>
<td>%s</td>
<td>%s</td>
<td>%s</td>
</tr>", $step++, substr(join('', $State), -50), join('', $Symbol), $msg, $request);
if(isset($this->action[$sp][$ch]) isset($this->goto[$sp][$ch])) {
$t = isset($this->action[$sp][$ch]) ? $this->action[$sp][$ch][0] : $this->goto[$sp][$ch];
$n = substr($t, 1) + 0;
if($t{0} == 'r') {
for($j=0; $j<count>rule[$n])-1; $j++) {
array_pop($State);
array_pop($Symbol);
}
if($n == 0) break;
$c = $Symbol[] = $this->rule[$n][0];
$State[] = $this->goto[end($State)][$c];
}elseif($t{0} == 'S') {
$State[] = $n;
$Symbol[] = $ch;
$i++;
}else ;
}else break;
}
}
function report($in='') {
if($in) $in = trim($in, '#') . '#';
echo '<style>table {font-size:10pt</style>';
echo '<table>
<tr><td><b>文法</b></td></tr>';
foreach($this->rule as $rule) {
echo '<tr><td>';
echo preg_replace('/ /', ' → ', join(' ', $rule), 1);
echo '</td></tr>';
}
echo '</table>';
$identifier = $this->identifier;
echo '<table>
<tr>
<td><b>标识符</b></td>';
echo '<td>' . join(' ', $identifier) . '</td>
</tr>';
echo '</table>';
$leay = array_diff($this->leay, array('#'));
$leay[] = '#';
echo '<table>
<tr>
<td><b>终结符</b></td>';
echo '<td>' . join(' ', $leay) . '</td>
</tr>';
echo '</table>';
echo '<table width="60%" border="1">
<tr>
<th>标识符</th>
<th>推出空</th>
<th>FIRST集</th>
<th>FOLLOW集</th>
</tr>';
foreach($identifier as $ch) {
echo '<tr>
<td>' . $ch . '</td>';
echo '<td>' . (in_array('#', $this->first[$ch]) ? 'True' : 'false') . '</td>';
echo '<td>' . join(' ', $this->first[$ch]) . '</td>';
echo '<td>' . join(' ', $this->follow[$ch]) . '</td>';
echo '</tr>';
}
echo '</table>';
echo '<table width="100%">
<tr><td> </td></tr>
<tr><th>' . $this->ll . '文法分析</th></tr>
</table>';
echo '<table width="60%" border="1">
<tr>
<th>产生式</th>
<th>Select集</th>
</tr>';
foreach($this->rule as $i=>$rule) {
echo '<tr>';
echo '<td>' . preg_replace('/ /', ' → ', join(' ', $rule), 1) . '</td>';
echo '<td>' . join(' ', $this->select[$i]) . '</td>';
echo '</tr>';
}
echo '</table>';
$forecast = $this->forecast;
echo '<table width="60%">
<tr><td><b>预测分析表</b></td></tr>';
echo '<tr><td><table width="100%" border="1">';
echo '<tr>
<th> </th>
<th>' . join('</th>
<th>', $leay) . '</th>
</tr>';
foreach($identifier as $ch) {
echo '<tr>
<td>' . $ch . '</td>';
foreach($leay as $v) {
$s = '';
if(isset($forecast[$ch][$v])) {
foreach($forecast[$ch][$v] as $t) {
if($s) $s .= '<br>';
$s .= $ch . ' → '. join(' ', array_reverse($t));
}
if(count($forecast[$ch][$v]) > 1) $s = "<font color="red">$s</font>";
}else $s .= ' ';
echo '<td>' . $s . '</td>';
}
echo '</tr>
<tr>';
}
echo '</tr>
</table></td></tr>';
echo '</table>';
if($in) {
echo '<table><tr>
<th>测试字符串</th>';
echo '<td>' . trim($in, '#') . '</td>
</tr></table>';
echo '<table width="100%" border="1">';
echo '<tr>
<th>步骤</th>
<th>分析栈</th>
<th>剩余字符</th>
<th>生成式或匹配</th>
</tr>';
$this->ll_start($in);
echo '</table>';
}
echo '<table width="100%">
<tr><td> </td></tr>';
echo '<tr>
<th>' . $this->lr . '文法分析</th>
<th></th>
</tr>
</table>';
echo '<table><tr><th>状态转移表</th></tr></table>';
echo '<table width="100%" border="1">';
echo '<tr>
<th rowspan="2">状态</th>
<th colspan="'" . count>Action</th>
<th colspan="'" . count>Goto</th>
<th rowspan="2">DFA</th>
</tr>';
echo '<tr>
<th>' . join('</th>
<th>', $leay) . '</th>
<th>'. join('</th>
<th>', $identifier) . '</th>
</tr>';
foreach($this->action as $i=>$item) {
echo "<tr>
<td>$i</td>";
foreach($leay as $v) {
$s = isset($item[$v]) ? join(',', $item[$v]) : ' ';
if(strpos($s, ',')) $s = "<font color="red">$s</font>";
echo "<td>$s</td>";
}
foreach($identifier as $v) {
$s = isset($this->goto[$i][$v]) ? $this->goto[$i][$v] : ' ';
echo "<td>$s</td>";
}
echo '<td>' . $this->showDFA($i) .'</td>';
echo '</tr>';
}
echo '</table>';
if($in) {
echo '<table><tr>
<th>测试字符串</th>';
echo '<td>' . trim($in, '#') . '</td>
</tr></table>';
echo '<table width="100%" border="1">';
echo '<tr>
<th>步骤</th>
<th>状态栈</th>
<th>符号栈</th>
<th>剩余字符</th>
<th>生成式</th>
</tr>';
$this->lr_start($in);
echo '</table>';
}
}
function showDFA($i) {
$res = array();
foreach($this->closure[$i] as $dfa) {
$rule = $this->rule[$dfa['rule']];
array_splice($rule, $dfa['offs'], 0, '·');
array_splice($rule, 1, 0, '→');
if(isset($dfa['target'])) $rule[] = " [$dfa[target]]";
$res[] = join('', $rule);
}
return join('; ', $res);
}
}
for($i=1; $i$i";
$n = current($_GET) or $n = 1;
$S = '';
include "$n.txt";
$p = new grammar($G);
$p->report($S);
</count>Nach dem Login kopieren
