diff --git a/lab5/img/tree.png b/lab5/img/tree.png new file mode 100644 index 0000000..584c3d2 Binary files /dev/null and b/lab5/img/tree.png differ diff --git a/lab5/report.tex b/lab5/report.tex index 8a030da..f295692 100644 --- a/lab5/report.tex +++ b/lab5/report.tex @@ -196,6 +196,15 @@ Язык, порождаемый грамматикой, очевидно, не сложнее контекстно-свободного. Также, по продукции \texttt{A -> a A B C}, можно сделать вывод, что язык не является автоматным. Эта продукция является рекурсивной и порождает вложенную структуру, которая не может быть описана конечным автоматом. + Пример дерева вывода для цепочки языка, порождаемого грамматикой, представлен на Рис.~\ref{fig:tree}. + + \begin{figure}[h!] + \centering + \includegraphics[width=0.7\linewidth]{img/tree.png} + \caption{Дерево вывода для цепочки $b a b b b c b b b$.} + \label{fig:tree} + \end{figure} + \subsection{LL(k)-анализаторы и LL(k)-грамматики}