- Sunday
- July 7th, 2024
- Ajouter un cours
Le paradigme des langages orientés objets est apparu au fil du temps. Aujourd’hui il est reconnu que les langages à objet présentent des avantages pour programmer de grosses applications grâce à la structure qu’ils apportent. Par langage à objet, on...
Modèles de machines à compteurs non ambiguës Automates de Parikh faiblement non ambigus Automate de Parikh, calcul acceptant, faible non-ambiguïté Nous introduisons dans cette section les automates de Parikh étudiés dans [KR02], ainsi que leur version faiblement non ambiguë. De...
Les langages formels de spécification Les ASTD La notation ASTD [FGL+08] (Algebraic State Transition Diagram) est une notation graphique formelle combinant le formalisme des diagrammes d’état de Harel et le formalisme de l’algèbre de processus eb3 [FSD03]. Elle est caractérisée...
Les cadres conceptuels « méta » une approche pragmatique des langages socio-techniques de l’Internet
Les cadres conceptuels « méta » une approche pragmatique des langages socio-techniques de l’Internet Internet : métatechnologie et méta-média La sociologie de la technique, et en particulier la sociologie de l’innovation, s’intéresse à l’évolution des techniques non pas seulement en...
Grammaires, automates et langages formels Automates finis Les automates finis sont des machines abstraites qui vérifient sous forme séquentielle si un mot, passé en entrée, appartient ou non à un langage donné. Ces automates sont dits finis car restreints à...
Grammaires de mots et langages Mots et langages Nous considérons des ensembles finis de symboles, ou lettres, appelés alphabets. Les suites finies de lettres sont appelées mots. Autrement dit, un mot u de longeur n ≥ 0 sur un alphabet...
GENERALITE SUR LA MACHINE ASYNCHRONE Introduction Malgré l’existence d’un grand nombre de moteur utilisé en courant alternatif, c’est la machine asynchrone, moteur à champ électrique tournant alimenté par un courant triphasé qui est le plus utilisé. A cause de sa...
Cours et TP de Langage C++ L’OPERATEUR CIN L’opérateur cin, spécifique à C++, appartient à la bibliothèque iostream.h, et permet la saisie à partir du clavier de n'importe quel type de variable (l’affichage prend en compte le type de la...
Développement à l'Aide de Langages Dynamiques : Smalltalk Spécificités des Langages Dynamiques ● Liaisons dynamiques ● Prototypages rapides ● Absence d'aide des compilateurs ● Moins de protection des méthodes Smalltalk ● Typage dynamique ● Tout est objet : même les...
LE LANGAGE ASSEMBLEUR Introduction au langage assembleur : Le processeur ne peut exécuter que les instructions écrites dans un langage binaire appelé langage machine. Ce langage est propre à chaque famille de processeurs. Etant donné la forme de ce langage,...