Quin és el tema principal del text següent?
Un trie és un cas especial d'autòmat finit determinista                         (         S         ,         Σ         ,         T         ,         s         ,         A         )                 {\displaystyle (S,\Sigma ,T,s,A)}   , que serveix per a emmagatzemar un conjunt de cadenes                         E                 {\displaystyle E}    en el qual:                          Σ                 {\displaystyle \Sigma }    és l'alfabet sobre el qual estan definides les cadenes;                         S                 {\displaystyle S}   , el conjunt d'estats, cadascun dels quals representa un prefix de E; la funció de transició:                         T         :         S         ×         Σ         →         S                 {\displaystyle T:S\times \Sigma \to S}   ; està definida com segueix:                         T         (         x         ,         σ         )         =         x         σ                 {\displaystyle T(x,\sigma )=x\sigma }    si                         x         ,         x         σ         ∈         S                 {\displaystyle x,x\sigma \in S}   , i indefinida altrament; l'estat inicial                         s                 {\displaystyle s}    correspon a la cadena buida                         λ         ;                 {\displaystyle \lambda ;}    el conjunt d'estats d'acceptació                         A         ⊆         S                 {\displaystyle A\subseteq S}    és igual a                         E                 {\displaystyle E}   .El seu nom procedeix del terme anglés retrieval.
El text tracta sobre informàtica.