3b1510462d79a9f8.tex
1: \begin{definition}
2: \label{def:partial}
3: For $n \ge 1$, let $\cB_n = (Q,\Sig,\delta,1,\{1\})$ be the IDFA in which $Q = \{1,\ldots,n\}$,
4: $\Sig= \{a,b_1,\ldots,b_{n-1},c_1,\ldots,c_{n-1},d\}$, and each letter in $\Sig$ performs the partial transformation defined in Theorem~\ref{thm:po}.
5: \end{definition}
6: