automate infini
1Automate Fini — Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …
2Automate déterministe à états fini — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …
3Automate fini déterministe — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …
4Automate fini non déterministe — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …
5Automate fini non déterministe généralisé — Automate fini Pour les articles homonymes, voir Automate. Exemple d un diagramme d automate fini. Un automate fini (on dit parfois machine …
6Automate de Büchi — non déterministe reconnaissant les mots infinis contenant un nombre fini le a En informatique théorique, un automate de Büchi est un automate fini acceptant des mots infinis, avec une condition d acceptation particulière : une trace (ou… …
7Automate De Büchi — Un automate de Büchi est un automate fini avec une condition d acceptation particulière : une trace est acceptée si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Les automates de Büchi déterministes et… …
8Automate de Buchi — Automate de Büchi Un automate de Büchi est un automate fini avec une condition d acceptation particulière : une trace est acceptée si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Les automates de Büchi… …
9Automate de büchi — Un automate de Büchi est un automate fini avec une condition d acceptation particulière : une trace est acceptée si et seulement si elle passe un nombre infini de fois par au moins un état acceptant. Les automates de Büchi déterministes et… …
10Automate sur les mots infinis — En informatique théorique, et spécialement en théorie des automates un automate sur les mots infinis ou ω automate est un automate fini, déterministe ou non, qui accepte des mots infins. Comme un tel automate ne s arrête pas, les conditions d… …