Заголовок для главы 7 сокращён (#3).

Author: gsvgit

tex/Matrix-based_CFPQ.tex

@@ -1,9 +1,12 @@
-\chapter{КС и конъюнктивная достижимость через произведение матриц}\label{chpt:MatrixBasedAlgos}
+\chapter[Контекстно-свободная достижимость через произведение матриц]{Контекстно-свободная достижимость через произведение матриц}\label{chpt:MatrixBasedAlgos}
+\chaptermark{КС достижимость через произведение матриц}
 
-В данном разделе мы рассмотрим алгоритм решения задачи контекстно-свободной и конъюнктивной достижимости, основанный на произведении матриц. Будет показано, что при использовании конъюнктивных граммтик, представленный алгоритм находит переапроксимацию истинного решения задачи.
+В данном разделе мы рассмотрим алгоритм решения задачи контекстно-свободной достижимости, основанный на произведении матриц. Будет показано, что при использовании конъюнктивных граммтик, представленный алгоритм находит переапроксимацию истинного решения задачи.
 
-\section{КС достижимость через произведение матриц}
+\section[Алгоритм контекстно-свободной достижимости через произведение матриц]{Алгоритм контекстно-свободной достижимости через произведение матриц\sectionmark{Алгоритм КС достижимости через произведение матриц}}
+\sectionmark{Алгоритм КС достижимости через произведение матриц}
 \label{Matrix-CFPQ}
+
 В главе~\ref{graph:CYK}~был изложен алгоритм для решения задачи КС достижимости на основе CYK. Заметим, что обход матрицы напоминает умножение матриц в ячейках которых множества нетерминалов:
 
 \begin{align*}