\makenoidxglossaries

\newglossaryentry{mT}
{
  name        = {mT},
  description = {machine de Turing}
}
\newglossaryentry{mTd}
{
  name        = {mTd},
  description = {mT déterministe}
}
\newglossaryentry{mTnd}
{
  name        = {mTnd},
  description = {mT non-déterministe}
}
\newglossaryentry{AuxPDA}
{
  name        = {AuxPDA},
  description = {un automate à pile avec un ruban de travail additionnel (\english{auxiliary pushdown automaton})}
}
\newglossaryentry{AuxDPDA}
{
  name        = {AuxDPDA},
  description = {AuxPDA déterministe}
}
\newglossaryentry{AuxNPDA}
{
  name        = {AuxNPDA},
  description = {AuxPDA non-déterministe}
}
\newglossaryentry{CFL}
{
  name        = {CFL},
  description = {language hors-contexte (\english{context-free language})}
}
\newglossaryentry{DCFL}
{
  name        = {DCFL},
  description = {language hors-contexte déterministe (\english{deterministic context-free language})}
}
\newglossaryentry{PDA}
{
  name        = {PDA},
  description = {automate à pile (\english{pushdown automaton})}
}
\newglossaryentry{DPDA}
{
  name        = {DPDA},
  description = {automate à pile déterministe (\english{deterministic pushdown automaton})}
}
\newglossaryentry{label}
{
  name        = {name},
  description = {description}
}