UE — Théorie des langages, automates

Licence — L2+L3 | Informatique | 6 ECTS

Unité d'enseignement « Théorie des langages, automates » — Informatique (L2, L3). Cette UE permet de construire les bases conceptuelles, méthodologiques et pratiques associées à la thématique.

Discipline Informatique
Niveau Licence — L2+L3
Volume horaire 60h CM/TD
Prérequis
  • UE Logique
  • UE Mathématiques discrètes

Thèmes abordés

T1 — Langages formels et automates

Étude approfondie : Langages formels et automates.

T1.1 — Représentation des entiers en binaire (complément à deux, hexadécimal)

Vocabulaire :

  • binaire
  • hexadécimal
  • complément à deux
  • bit
  • octet
  • base
  • conversion

T1.2 — Représentation des nombres à virgule flottante (norme IEEE 754)

Vocabulaire :

  • flottant
  • IEEE 754
  • mantisse
  • exposant
  • précision
  • arrondi

T1.3 — Représentation des textes (encodage ASCII, UTF-8, Unicode)

Vocabulaire :

  • ASCII
  • UTF-8
  • Unicode
  • encodage
  • caractère
  • table de codage

T1.4 — Algorithmes de parcours séquentiel (recherche d'un élément, d'un extremum)

Vocabulaire :

  • parcours
  • recherche séquentielle
  • extremum
  • minimum
  • maximum
  • itération

T1.5 — Portraits, images et stéréotypes culturels

Vocabulaire :

  • portrait
  • stéréotype
  • image
  • représentation de soi
  • préjugé
  • identité

T2 — Sémantique formelle

Étude approfondie : Sémantique formelle.

Aucun sous-thème défini pour ce thème.

T3 — Vérification formelle

Étude approfondie : Vérification formelle.

Aucun sous-thème défini pour ce thème.

Compétences visées

Ressources complémentaires