Skip to content

Commit

Permalink
Опечатки в презентации по MCFL
Browse files Browse the repository at this point in the history
  • Loading branch information
gsvgit committed Jul 27, 2023
1 parent 87eb79c commit bd0feda
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
Binary file modified docs/beyond_CFG/presentation.pdf
Binary file not shown.
4 changes: 2 additions & 2 deletions docs/beyond_CFG/presentation.tex
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,7 @@

\item $MIX = \{\omega \in \{a,b,c\}^* \mid |\omega|_a = |\omega|_b = |\omega|_c\}$ --- MCFL? Хотелось верить, что нет
\begin{itemize}
\item \href{https://hal.inria.fr/inria-00564552/document}{MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solvedby a third-order collapsible pushdown automaton, Sylvain Salvati, 2011}
\item \href{https://hal.inria.fr/inria-00564552/document}{MIX is a 2-MCFL and the word problem in $\mathbb{Z}^2$ is solved by a third-order collapsible pushdown automaton, Sylvain Salvati, 2011}
\end{itemize}
\pause
\item $O_2=\{\omega \in \{a,\overline{a},b,\overline{b}\}^* \mid |\omega|_a=|\omega|_{\overline{a}} \wedge |w|_b=|w|_{\overline{b}}\}$
Expand All @@ -316,7 +316,7 @@
\item Сопоставление с другими классами и иерархиями
\item Представимость языков
\begin{itemize}
\item Ваианты леммы о накачке
\item Варианты леммы о накачке
\item Представимость конкретных языков
\begin{itemize}
\item Многомерный язык Дика: \href{https://link.springer.com/chapter/10.1007/978-3-662-59620-3_5}{Towards a 2-Multiple Context-Free Grammar for the 3-Dimensional Dyck Language, Konstantinos Kogkalidis, Orestis Melkonian, 2019}
Expand Down

0 comments on commit bd0feda

Please sign in to comment.