Fix typo and add missed changes

diff --git a/main.tex b/main.tex
index 2d55300de7ef3cc2ab9bed6e554b22b16aa6cc04..65a1cd8cd5692d2954d49deb0124cffe06537ff1 100644 (file)
--- a/main.tex
+++ b/main.tex
@@ -167,7 +167,7 @@ or \url{http://www.gnu.org/licenses/agpl-3.0.txt}) or any later version.}}
                \textbf{Decision Predicates} & \\ \hline
                \ifdefempty{\autmember} {}{Membership testing   & \autmember  \\ \hline}
                \ifdefempty{\autempty}  {}{Emptiness            & \autempty   \\ \hline}
-               \ifdefempty{\autfinte}  {}{Finiteness           & \autfinite  \\ \hline}
+               \ifdefempty{\autfinite} {}{Finiteness           & \autfinite  \\ \hline}
         \ifdefempty{\autuniv}   {}{Universality         & \autuniv    \\ \hline}
                \ifdefempty{\autequiv}  {}{Equivalence          & \autequiv   \\ \hline}
                \ifdefempty{\autsubset} {}{Subset               & \autsubset  \\ \hline}

diff --git a/strautintro.tex b/strautintro.tex
index cf282c71e4fc0f992c3160e4299305c0e1362ab4..fc9944a0e930c863656c4c2ad0e9deca3de7f44f 100644 (file)
--- a/strautintro.tex
+++ b/strautintro.tex
@@ -107,6 +107,7 @@ Here, we use the common table to describe itself.  Given a string $s \in
   member={$s \in \alang{A}$?},
   empty={$\alang{A} = \emptyset$?},
   univ={$\alang{A} = \Sigma^*$?},
+  finite={$\abs{\alang{A}} < \infty$?},
   equiv={$\alang{A} = \alang{A'}$?},
   subset={$\alang{A} \subseteq \alang{A'}$?},
 %