小编Sis*_*hus的帖子

我的代码是

digraph{
rankdir=LR;
ratio=auto
node[shape=rectangle];

i0[label=<
    <TABLE border="0">
        <TR>
            <TD valign="top" rowspan="2">
                I<sub>0</sub>:
            </TD>
            <TD align="left">
                S'?.bexpr<BR ALIGN="LEFT"/>
            </TD>
        </TR>
        <TR>
            <TD align="left" bgcolor="#aaaaaa">
                bexpr?.bexpr or bterm <BR ALIGN="LEFT"/>
                bexpr?.bterm <BR ALIGN="LEFT"/>
                bterm? .bterm and bfactor <BR ALIGN="LEFT"/>
                bterm?.bfactor <BR ALIGN="LEFT"/>
                bfactor?.not bfactor <BR ALIGN="LEFT"/>
                bfactor?.(bexpr) <BR ALIGN="LEFT"/>
                bfactor?.true <BR ALIGN="LEFT"/>
                bfactor?.false <BR ALIGN="LEFT"/>
            </TD>
        </TR>
    </TABLE>
>];

i1[label=<
    <TABLE border="0">
        <TR>
            <TD valign="top">
                I<sub>1</sub>:
            </TD>
            <TD align="left">
                S'?bexpr. <BR ALIGN="LEFT"/>
                bexpr?bexpr .or bterm <BR ALIGN="LEFT"/>
            </TD>
        </TR>
    </TABLE>
>]; …