\newcommand{\LangAF}{\mathop{{\cal L}_{AF}}\nolimits}\newcommand{\LangER}{\mathop{{\cal L}_{ER}}\nolimits}\newcommand{\Alphabet}{\Sigma}\newcommand{\donne}[1]{\buildrel\>#1\>\over\longrightarrow}\newcommand{\vvv}{\mathop{\mathbf{v}{}}\nolimits}\newcommand{\fff}{\mathop{\mathbf{f}{}}\nolimits}\endinput