1. Les concepts de base
Mots, monoïdes, langages
- Le monoïde libre
- Calcul sur les mots
- Langages
Les systèmes formels
- Le calcul des propositions
- La notion de système formel
- Définition des systèmes formels
Les systèmes combinatoires
- Définition
- Systèmes normaux
Algorithmes et machines de Turing
- Algorithmes
- Machines de Turing
Calculabilité, décidabilité
- Calcul des fonctions
- Opérations sur les fonctions
- Techniques de Gödel
- Ensembles récursifs et ensembles récursivement énumérables
- Problèmes indécidables
2. Quelques classes de langages
Les langages de Chomsky
Les classes de C-langages
Les automates à piles de mémoires
- Automate acceptant les phrases d’un C-langage
- Automate engendrant un langage
- Classes des langages acceptés par la classe des automates à pile
Les automates à piles de mémoires
- Automate acceptant les phrases d’un C-langage
- Automate engendrant un langage
- Classes des langages acceptés par la classe des automates à pile
Langages de Kleene et automates finis
- Les K-grammaires
- Les automates finis
- K-langages et C-langages
- Transducteurs unilatères finis
Grammaires à règles contextuelles
- Classification des automates
- Automate à mémoire linéairement bornée
3. Le point de vue algébrique
- Morphismes de monoïdes
- Compléments sur les langages de Kleene
- Compléments sur les langages de Chomsky
- Langages algébriques
- Grammaires transformationnelles
- Grammaires formelles et langues naturelles
- C-grammaires et transformations
- Extension des grammaires
|
Public concerné:
Toute personne désirant connaître les bases théoriques du traitement automatique du langage naturel.
Nombre de jours de formation:
5
Niveau:
Intermédiaires
Langues de la formation:
Français ou Anglais
Prix 2008/2009:
Nous consulter
Cette fiche a été consultée
1655 fois
Formateurs, organismes de formation
Vous pouvez commander le support de cours indépendamment de la prestation de formation
Cliquez sur la vignette pour nous contacter
|