equal
deleted
inserted
replaced
188 |
188 |
189 you can define |
189 you can define |
190 |
190 |
191 \begin{center} |
191 \begin{center} |
192 \begin{tabular}{l} |
192 \begin{tabular}{l} |
193 \bl{$\widehat{\delta}(q, []) \dn q$}\\ |
193 \bl{$\widehat{\delta}(Q, []) \dn Q$}\\ |
194 \bl{$\widehat{\delta}(q, c::s) \dn \widehat{\delta}(\delta(q, c), s)$}\\ |
194 \bl{$\widehat{\delta}(Q, c::s) \dn \widehat{\delta}(\delta(Q, c), s)$}\\ |
195 \end{tabular} |
195 \end{tabular} |
196 \end{center}\pause |
196 \end{center}\pause |
197 |
197 |
198 Whether a string \bl{$s$} is accepted by \bl{$A$}? |
198 Whether a string \bl{$s$} is accepted by \bl{$A$}? |
199 |
199 |