Line 2,013: |
Line 2,013: |
| |} | | |} |
| | | |
− | <pre>
| + | '''State Partition''' |
− | State Partition: | |
| | | |
− | (( p0_q0 ),( p0_q1 ),( p0_q# ),( p0_q* ))
| + | {| align="center" cellpadding="8" width="90%" |
− | (( p1_q0 ),( p1_q1 ),( p1_q# ),( p1_q* ))
| + | | |
− | (( p2_q0 ),( p2_q1 ),( p2_q# ),( p2_q* ))
| + | <math>\begin{array}{l} |
| + | \texttt{((~p0\_q0~),(~p0\_q1~),(~p0\_q\#~),(~p0\_q*~))} |
| + | \\ |
| + | \texttt{((~p1\_q0~),(~p1\_q1~),(~p1\_q\#~),(~p1\_q*~))} |
| + | \\ |
| + | \texttt{((~p2\_q0~),(~p2\_q1~),(~p2\_q\#~),(~p2\_q*~))} |
| + | \end{array}</math> |
| + | |} |
| | | |
| + | <pre> |
| Register Partition: | | Register Partition: |
| | | |