Cette orientation du DEA est une formation dans le domaine des automates finis et de la logique. Ces deux thèmes théoriques sont complétés par l'application aux algotithmes sur les textes.
