Skip to content

Commit

Permalink
Comment more incomplete parts
Browse files Browse the repository at this point in the history
  • Loading branch information
WoWaster committed Jun 19, 2024
1 parent f5c2557 commit 4ddcece
Show file tree
Hide file tree
Showing 4 changed files with 296 additions and 293 deletions.
4 changes: 2 additions & 2 deletions tex/FormalLanguageConstrainedReachabilityLectureNotes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@
\input{FormalLanguageTheoryIntro}
\input{RegularLanguages}
\input{Context-Free_Languages}
% \input{Multiple_Context-Free_Languages}
% \input{Multiple_Context-Free_Languages} % FIXME: Переписать главу
% %\input{ConjunctiveAndBooleanLanguages}
% \input{FLPQ}
% \input{RPQ}
Expand All @@ -62,7 +62,7 @@
% \input{GLL-based_CFPQ}
% \input{GLR-based_CFPQ}
% %\input{CombinatorsForCFPQ}
% \input{Multiple_Context-Free_Language_Reachability}
% \input{Multiple_Context-Free_Language_Reachability} % FIXME: Исправить главу
% %\input{DerivativesForCFPQ}
% %\input{CFPQ_to_Datalog}
% \input{Conclusion}
Expand Down
Loading

0 comments on commit 4ddcece

Please sign in to comment.