From: Nathaniel Wesley Filardo <nwf@cs.jhu.edu>
Date: Wed, 5 Mar 2014 20:27:22 +0000 (-0500)
Subject: Fix typo and add missed changes
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=977f220bf175d1f0e7d83c00c9ba5ee145463d10;p=autzoo

Fix typo and add missed changes
---

diff --git a/main.tex b/main.tex
index 2d55300..65a1cd8 100644
--- 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 cf282c7..fc9944a 100644
--- 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'}$?},
 %