Use same convention for DFA

1 files changed, 1 insertions, 2 deletions

diff --git a/mgr.tex b/mgr.tex
index 12b75d8..e8b0717 100644
--- a/mgr.tex
+++ b/mgr.tex
@@ -511,8 +511,7 @@ its own.
 The question answering problem we will solve is:
 
 \queryproblem[%
-    regular language $L$ over alphabet $\Sigma$, given by deterministic
-    automaton $A$.
+    regular language $L$ over alphabet $\Sigma$, given by DFA $A$.
 ]{Branch Infix Regular Questions}{%
     a $\Sigma$-labeled tree $T$.
 }{%