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

Dernière version du 28 janvier 2024 à 15:16

Définition

La théorie des automates est l’étude des machines abstraites et des automates, ainsi que des problèmes de calcul qu’ils peuvent résoudre. C'est une théorie en informatique théorique et en mathématiques discrètes. Le mot automate vient du mot grec αὐτόματα, qui signifie « se fabriquer soi-même ».

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.

Français

théorie des automates

Anglais

Automata theory

Sources

Source: Wikipedia, Automata theory

@@ Ligne 1 : / Ligne 1 : @@
+==Définition==
+La théorie des automates est l’étude des machines abstraites et des automates, ainsi que des problèmes de calcul qu’ils peuvent résoudre. C'est une théorie en informatique théorique et en mathématiques discrètes. Le mot automate vient du mot grec ''αὐτόματα'', qui signifie « se fabriquer soi-même ».
-== Domaine ==
+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.
-[[Category:Vocabulary]]
-== Définition ==
+==Français==
+'''théorie des automates'''
+==Anglais==
+'''Automata theory'''
-== Français ==
+==Sources==
-théorie des automates
-Source: https://fr.wikipedia.org/wiki/Th%C3%A9orie_des_automates
+[https://en.wikipedia.org/wiki/Automata_theory Source: Wikipedia, ''Automata theory'']
-== Anglais ==
+[[Category:GRAND LEXIQUE FRANÇAIS]]
+[[Catégorie:Intelligence artificielle]]
-=== 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/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>
-<br/>