From 977f220bf175d1f0e7d83c00c9ba5ee145463d10 Mon Sep 17 00:00:00 2001 From: Nathaniel Wesley Filardo Date: Wed, 5 Mar 2014 15:27:22 -0500 Subject: [PATCH] Fix typo and add missed changes --- main.tex | 2 +- strautintro.tex | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) 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'}$?}, % -- 2.50.1