Style and typos fixed

Author: kajigor

tex/FormalLanguageConstrainedReachabilityLectureNotes.tex

@@ -160,22 +160,22 @@
 \input{Introduction}
 \input{LinearAlgebra}
 \input{GraphTheoryIntro}
-\input{FormalLanguageTheoryIntro}
-\input{FLPQ}
-%\input{RegularLanguages}
-\input{Context-Free_Languages}
-\input{CYK_for_CFPQ}
-\input{Matrix-based_CFPQ}
-\input{TensorProduct}
-\input{SPPF}
-\input{GLL-based_CFPQ}
-\input{GLR-based_CFPQ}
-%\input{CombinatorsForCFPQ}
-%\input{DerivativesForCFPQ}
-%\input{CFPQ_to_Datalog}
-%\input{Multiple_Context-Free_Languages}
-%\input{ConjunctiveAndBooleanLanguages}
-%\input{Conclusion}
+% \input{FormalLanguageTheoryIntro}
+% \input{FLPQ}
+% %\input{RegularLanguages}
+% \input{Context-Free_Languages}
+% \input{CYK_for_CFPQ}
+% \input{Matrix-based_CFPQ}
+% \input{TensorProduct}
+% \input{SPPF}
+% \input{GLL-based_CFPQ}
+% \input{GLR-based_CFPQ}
+% %\input{CombinatorsForCFPQ}
+% %\input{DerivativesForCFPQ}
+% %\input{CFPQ_to_Datalog}
+% %\input{Multiple_Context-Free_Languages}
+% %\input{ConjunctiveAndBooleanLanguages}
+% %\input{Conclusion}
 
 \bibliographystyle{abbrv}
 \bibliography{FormalLanguageConstrainedReachabilityLectureNotes}