Ils fonctionnent à l'aide de symboles qui demandent à être manipulés selon des règles formelles.