| Property |
Value |
| dbo:abstract
|
- Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie. Un automate fini est une construction mathématique abstraite, susceptible d'être dans un nombre fini d'états, mais étant un moment donné dans un seul état à la fois ; l'état dans lequel il se trouve alors est appelé l'« état courant ». Le passage d'un état à un autre est activé par un événement ou une condition ; ce passage est appelé une « transition ». Un automate particulier est défini par l'ensemble de ses états et l'ensemble de ses transitions. On rencontre couramment des automates finis dans de nombreux appareils qui réalisent des actions déterminées en fonction des événements qui se présentent. Un exemple est un distributeur automatique de boissons qui délivre l'article souhaité quand le montant introduit est approprié. D'autres exemples sont les ascenseurs qui savent combiner les appels successifs pour s'arrêter aux étages intermédiaires, les feux de circulation qui savent s'adapter aux voitures en attente, les digicodes qui analysent la bonne suite de chiffres. Les automates finis peuvent modéliser un grand nombre de problèmes, parmi lesquels la conception assistée par ordinateur pour l'électronique, la conception de protocoles de communication, l'analyse syntaxique de langages. Dans la recherche en biologie et en intelligence artificielle, les automates finis ou des hiérarchies de telles machines ont été employés pour décrire des systèmes neurologiques. En linguistique, ils sont utilisés pour décrire les parties simples de grammaires de langues naturelles. En vérification de programmes (model checking), des automates finis, avec parfois un nombre très important d'états (des milliards), sont employés. Vus comme un modèle de calcul les automates finis ont un potentiel faible ; ils ont bien moins de puissance de calcul qu'une machine de Turing. En d'autres termes, il y a des tâches qu'un automate fini ne peut pas accomplir alors qu'un automate à pile ou une machine de Turing le pourront. Ceci est principalement dû au fait qu'un automate fini a une mémoire limitée à son nombre d'états. L'étude des automates finis est une branche de la théorie des automates. (fr)
- Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie. Un automate fini est une construction mathématique abstraite, susceptible d'être dans un nombre fini d'états, mais étant un moment donné dans un seul état à la fois ; l'état dans lequel il se trouve alors est appelé l'« état courant ». Le passage d'un état à un autre est activé par un événement ou une condition ; ce passage est appelé une « transition ». Un automate particulier est défini par l'ensemble de ses états et l'ensemble de ses transitions. On rencontre couramment des automates finis dans de nombreux appareils qui réalisent des actions déterminées en fonction des événements qui se présentent. Un exemple est un distributeur automatique de boissons qui délivre l'article souhaité quand le montant introduit est approprié. D'autres exemples sont les ascenseurs qui savent combiner les appels successifs pour s'arrêter aux étages intermédiaires, les feux de circulation qui savent s'adapter aux voitures en attente, les digicodes qui analysent la bonne suite de chiffres. Les automates finis peuvent modéliser un grand nombre de problèmes, parmi lesquels la conception assistée par ordinateur pour l'électronique, la conception de protocoles de communication, l'analyse syntaxique de langages. Dans la recherche en biologie et en intelligence artificielle, les automates finis ou des hiérarchies de telles machines ont été employés pour décrire des systèmes neurologiques. En linguistique, ils sont utilisés pour décrire les parties simples de grammaires de langues naturelles. En vérification de programmes (model checking), des automates finis, avec parfois un nombre très important d'états (des milliards), sont employés. Vus comme un modèle de calcul les automates finis ont un potentiel faible ; ils ont bien moins de puissance de calcul qu'une machine de Turing. En d'autres termes, il y a des tâches qu'un automate fini ne peut pas accomplir alors qu'un automate à pile ou une machine de Turing le pourront. Ceci est principalement dû au fait qu'un automate fini a une mémoire limitée à son nombre d'états. L'étude des automates finis est une branche de la théorie des automates. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 43902 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1992 (xsd:integer)
- 1994 (xsd:integer)
- 1996 (xsd:integer)
- 1997 (xsd:integer)
- 1998 (xsd:integer)
- 1999 (xsd:integer)
- 2002 (xsd:integer)
- 2003 (xsd:integer)
- 2006 (xsd:integer)
- 2007 (xsd:integer)
- 2009 (xsd:integer)
- 2010 (xsd:integer)
- 2011 (xsd:integer)
- 2012 (xsd:integer)
- 2013 (xsd:integer)
- 2020 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
| |
| prop-fr:auteur
|
- dbpedia-fr:Alexandra_Silva
- Martin Davis (fr)
- Peter Linz (fr)
- Robert Tibshirani (fr)
- Trevor Hastie (fr)
- Alberto Sangiovanni-Vincentelli (fr)
- Boaz Barak (fr)
- Christos G. Cassandras (fr)
- Christos H. Papadimitriou (fr)
- Elaine J. Weyuker (fr)
- Ferdinand Wagner (fr)
- George S. Boolos (fr)
- Gérard Berry (fr)
- Harry R. Lewis (fr)
- James A. Anderson (fr)
- James A. Storer (fr)
- Jean-Éric Pin (fr)
- Jerome Friedman (fr)
- John P. Burgess (fr)
- Michael Sipser (fr)
- Miro Samek (fr)
- Nicholas Pippenger (fr)
- Peter Wolstenholme (fr)
- Richard C. Jeffrey (fr)
- Robert K. Brayton (fr)
- Ron Sigal (fr)
- Ruedi Schmuki (fr)
- Sanjeev Arora (fr)
- Stefan Milius (fr)
- Stéphane Lafortune (fr)
- Susan H. Rodger (fr)
- Thomas J. Head (fr)
- Thomas W. Finley (fr)
- Thomas Wagner (fr)
- Timothy Kam (fr)
- Tiziano Villa (fr)
- Yishai A. Feldman (fr)
|
| prop-fr:auteurOuvrage
|
- Allen Kent et James G. Williams (fr)
- Allen Kent et James G. Williams (fr)
|
| prop-fr:auteursOuvrage
|
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
- Jacky Akoka et Isabelle Comyn-Wattiau (fr)
|
| prop-fr:date
|
- juillet 2000 (fr)
- juillet 2000 (fr)
|
| prop-fr:doi
| |
| prop-fr:enLigneLe
|
- septembre 2015 (fr)
- septembre 2015 (fr)
|
| prop-fr:fr
|
- Automate fini dirigé par événements (fr)
- Automate fini virtuel (fr)
- Automates finis communicants (fr)
- Programmation fondée sur des automates (fr)
- State encoding for low power (fr)
- automate fini virtuel (fr)
- système réactif (fr)
- Automate fini dirigé par événements (fr)
- Automate fini virtuel (fr)
- Automates finis communicants (fr)
- Programmation fondée sur des automates (fr)
- State encoding for low power (fr)
- automate fini virtuel (fr)
- système réactif (fr)
|
| prop-fr:id
|
- Anderson (fr)
- ITU (fr)
- ECST (fr)
- EISI (fr)
- Anderson (fr)
- ITU (fr)
- ECST (fr)
- EISI (fr)
|
| prop-fr:isbn
|
- 0 (xsd:integer)
- 2 (xsd:integer)
- 978 (xsd:integer)
- 146120075 (xsd:integer)
- 521848873 (xsd:integer)
|
| prop-fr:issn
| |
| prop-fr:journal
| |
| prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
| prop-fr:lieu
|
- Amsterdam (fr)
- Cambridge (fr)
- New York (fr)
- Paris (fr)
- San Diego (fr)
- Boston, MA (fr)
- Sudbury, MA (fr)
- Amsterdam (fr)
- Cambridge (fr)
- New York (fr)
- Paris (fr)
- San Diego (fr)
- Boston, MA (fr)
- Sudbury, MA (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Sakarovitch (fr)
- Gurevich (fr)
- Goncharov (fr)
- Sakarovitch (fr)
- Gurevich (fr)
- Goncharov (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 3 (xsd:integer)
|
| prop-fr:numéroArticle
| |
| prop-fr:numéroD'édition
|
- 2 (xsd:integer)
- 3 (xsd:integer)
- 5 (xsd:integer)
|
| prop-fr:oclc
| |
| prop-fr:pages
| |
| prop-fr:pagesTotales
|
- 88 (xsd:integer)
- 192 (xsd:integer)
- 264 (xsd:integer)
- 282 (xsd:integer)
- 361 (xsd:integer)
- 366 (xsd:integer)
- 381 (xsd:integer)
- 392 (xsd:integer)
- 416 (xsd:integer)
- 437 (xsd:integer)
- 480 (xsd:integer)
- 579 (xsd:integer)
- 599 (xsd:integer)
- 609 (xsd:integer)
- 712 (xsd:integer)
- 816 (xsd:integer)
- 822 (xsd:integer)
- xxii+745 (fr)
- xxxv+1941 (fr)
|
| prop-fr:passage
|
- 73 (xsd:integer)
- 966 (xsd:integer)
|
| prop-fr:prénom
|
- Yuri (fr)
- Jacques (fr)
- Sergey (fr)
- Yuri (fr)
- Jacques (fr)
- Sergey (fr)
|
| prop-fr:présentationEnLigne
| |
| prop-fr:sousTitre
|
- --03-28
- A Modern Approach (fr)
- A Practical Approach (fr)
- Event-Driven Programming for Embedded Systems (fr)
- Functional Optimization (fr)
- Fundamentals of Theoretical Computer Science (fr)
- Logic Optimization (fr)
- Quantum Programming for Embedded Systems (fr)
- data mining, inference, and prediction (fr)
- An Interactive Formal Languages and Automata Package (fr)
|
| prop-fr:sousTitreOuvrage
|
- Volume 25 - Supplement 10 (fr)
- Volume 25 - Supplement 10 (fr)
|
| prop-fr:texte
|
- systèmes réactifs (fr)
- techniques spécifiques (fr)
- systèmes réactifs (fr)
- techniques spécifiques (fr)
|
| prop-fr:titre
|
- Computational Complexity (fr)
- An Introduction to Formal Languages and Automata (fr)
- Éléments de théorie des automates (fr)
- Toward a Uniform Theory of Effectful State Machines (fr)
- Z.100 : Langage de description et de spécification - Présentation générale de SDL-2010 (fr)
- An Introduction to Data Structures and Algorithms (fr)
- Automata Theory with Modern Applications (fr)
- Computability and Logic (fr)
- Computability, Complexity, and Languages (fr)
- Elements of the Theory of Computation (fr)
- Free On-Line Dictionary of Computing (fr)
- Introduction to Discrete Event Systems (fr)
- Introduction to the theory of computation (fr)
- JFLAP (fr)
- L’informatique du temps et des événements (fr)
- Modeling Software with Finite State Machines (fr)
- Practical Statecharts in C/C++ (fr)
- Practical UML Statecharts in C/C++ (fr)
- Synthesis of Finite State Machines (fr)
- The elements of statistical learning (fr)
- Theories of Computability (fr)
- Sequential Abstract State Machines Capture Sequential Algorithms (fr)
- Computational Complexity (fr)
- An Introduction to Formal Languages and Automata (fr)
- Éléments de théorie des automates (fr)
- Toward a Uniform Theory of Effectful State Machines (fr)
- Z.100 : Langage de description et de spécification - Présentation générale de SDL-2010 (fr)
- An Introduction to Data Structures and Algorithms (fr)
- Automata Theory with Modern Applications (fr)
- Computability and Logic (fr)
- Computability, Complexity, and Languages (fr)
- Elements of the Theory of Computation (fr)
- Free On-Line Dictionary of Computing (fr)
- Introduction to Discrete Event Systems (fr)
- Introduction to the theory of computation (fr)
- JFLAP (fr)
- L’informatique du temps et des événements (fr)
- Modeling Software with Finite State Machines (fr)
- Practical Statecharts in C/C++ (fr)
- Practical UML Statecharts in C/C++ (fr)
- Synthesis of Finite State Machines (fr)
- The elements of statistical learning (fr)
- Theories of Computability (fr)
- Sequential Abstract State Machines Capture Sequential Algorithms (fr)
|
| prop-fr:titreChapitre
|
- Automates finis (fr)
- Finite-state Machines (fr)
- Automates finis (fr)
- Finite-state Machines (fr)
|
| prop-fr:titreOuvrage
|
- Encyclopedia of Computer Science and Technology (fr)
- Encyclopédie de l'informatique et des systèmes d'information (fr)
- Encyclopedia of Computer Science and Technology (fr)
- Encyclopédie de l'informatique et des systèmes d'information (fr)
|
| prop-fr:trad
|
- Automata-based programming (fr)
- Communicating finite-state machine (fr)
- Event-driven finite-state machine (fr)
- State encoding for low power (fr)
- Virtual finite-state machine (fr)
- reactive system (fr)
- Automata-based programming (fr)
- Communicating finite-state machine (fr)
- Event-driven finite-state machine (fr)
- State encoding for low power (fr)
- Virtual finite-state machine (fr)
- reactive system (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 1 (xsd:integer)
- 21 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:zbl
| |
| prop-fr:éditeur
|
- Collège de France (fr)
- Springer (fr)
- Cambridge University Press (fr)
- Auerbach Publications (fr)
- Newnes (fr)
- Academic Press (fr)
- Vuibert (fr)
- Prentice Hall (fr)
- Springer Science & Business Media (fr)
- CRC Press (fr)
- Jones & Bartlett Learning (fr)
- Jones & Bartlett Publishers (fr)
- Marcel Dekker (fr)
- Cengage Learning (fr)
- Union internationale des télécommunications (fr)
- Collège de France (fr)
- Springer (fr)
- Cambridge University Press (fr)
- Auerbach Publications (fr)
- Newnes (fr)
- Academic Press (fr)
- Vuibert (fr)
- Prentice Hall (fr)
- Springer Science & Business Media (fr)
- CRC Press (fr)
- Jones & Bartlett Learning (fr)
- Jones & Bartlett Publishers (fr)
- Marcel Dekker (fr)
- Cengage Learning (fr)
- Union internationale des télécommunications (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie. Un automate fini est une construction mathématique abstraite, susceptible d'être dans un nombre fini d'états, mais étant un moment donné dans un seul état à la fois ; l'état dans lequel il se trouve alors est appelé l'« état courant ». Le passage d'un état à un autre est activé par un événement ou une condition ; ce passage est appelé une « transition ». Un automate pa (fr)
- Un automate fini ou automate avec un nombre fini d'états (en anglais finite-state automaton ou finite state machine ou FSM) est un modèle mathématique de calcul, utilisé dans de nombreuses circonstances, allant de la conception de programmes informatiques et de circuits en logique séquentielle aux applications dans des protocoles de communication, en passant par le contrôle des processus, la linguistique et même la biologie. Un automate fini est une construction mathématique abstraite, susceptible d'être dans un nombre fini d'états, mais étant un moment donné dans un seul état à la fois ; l'état dans lequel il se trouve alors est appelé l'« état courant ». Le passage d'un état à un autre est activé par un événement ou une condition ; ce passage est appelé une « transition ». Un automate pa (fr)
|
| rdfs:label
|
- Automate fini (fr)
- Autómata finito (es)
- Eindigetoestandsautomaat (nl)
- Máquina de estados finita (pt)
- Конечный автомат (ru)
- Скінченний автомат (uk)
- Automate fini (fr)
- Autómata finito (es)
- Eindigetoestandsautomaat (nl)
- Máquina de estados finita (pt)
- Конечный автомат (ru)
- Скінченний автомат (uk)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
