« Théorie des automates » : différence entre les versions

Version du 1 juin 2019 à 08:48

Domaine

Définition

En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul. Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme la calculabilité, les automates finis, la théorie de la complexité des algorithmes, la vérification de modèle.

Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.

Français

théorie des automates

Anglais

Automata theory

Source : Wikipedia

@@ Ligne 1 : / Ligne 1 : @@
 == Domaine ==
-[[Category:Vocabulary]]Vocabulary<br />
+[[Category:Vocabulary]]<br />
-[[Category:Coulombe]]Coulombe<br />
+[[Category:Coulombe]]<br />
+[[Category:scotty]]<br />
 == Définition ==
+En informatique théorique, l'objectif de la théorie des automates est de proposer des modèles de mécanismes mathématiques qui formalisent les méthodes de calcul.
+Cette théorie est le fondement de plusieurs branches importantes de l'informatique théorique, comme la calculabilité, les automates finis, la théorie de la complexité des algorithmes, la vérification de modèle.
+Les automates n'ont pas d'existence physique, mais sont un modèle abstrait.
 == Français ==
-théorie des automates
+'''théorie des automates'''
-Source: https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_automates
 == Anglais ==
-=== Automata theory ===
+'''Automata theory'''
-Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical computer science and discrete mathematics (a subject of study in both mathematics and computer science). The word automata (the plural of automaton) comes from the Greek word αὐτόματα, which means "self-acting".
-The figure at right illustrates a finite-state machine, which belongs to a well-known type of automaton. This automaton consists of states (represented in the figure by circles) and transitions (represented by arrows). As the automaton sees a symbol of input, it makes a transition (or jump) to another state, according to its transition function, which takes the current state and the recent symbol as its inputs.
-Automata theory is closely related to formal language theory. An automaton is a finite representation of a formal language that may be an infinite set. Automata are often classified by the class of formal languages they can recognize, typically illustrated by the Chomsky hierarchy, which describes the relations between various languages and kinds of formalized logic.
-<br/>
+[https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_automates   Source : Wikipedia  ]
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>