Processus: le pattern matching

Le pattern matching est la comparaison d'une entrée (un énoncé ou un mot) avec un modèle (d'énoncé ou de mot). La comparaison dépend du type d'entrée: monosémiques ou polysémiques. Les entrées monosémiques n’ont pas d’ambiguïté dans le lexique. Par exemple, la racine ‘affol’ correspond à un champ sémantique spécifique (‘affolé, affolement,’). L'algorithme de recherche est donc ‘recherche : affol*’, le * figurant tout caractère. Les entrées polysémiques interdisent l'utilisation de cet algorithme. En effet, l'entrée ‘fou’ permet la correspondance avec ‘fou’ mais également avec ‘foule, foudre’ qui ne font pas partie du même champ sémantique. Dans ce cas, l'algorithme de recherche est "recherche: fou"
Un moteur de recherche générique, dont la sortie est une variable typée, contenant la position et la longueur de la chaîne de caractères, est utilisée dans certaines fonctions de recherche spécifiques (verifcs, evasugdont les sorties sont suffisantes pour déterminer la reconnaissance de la chaîne) ou partiellement spécifiques, comme les opérateurs syntaxiques.
D'autres fonctions de recherche spécifiques (evaint, fonction de la catégorie évaluation) donnent en sortie une variable de présence ou absence de leur chaîne spécifique, car elles utilisent un modèle spécifique à la catégorie, suffisant pour déterminer la reconnaissance de la chaîne.