About: dbpedia-fr:Automate_fini_non

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Automate_fini_non_déterministe Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Automate fini non déterministe (fr) Autómata finito no determinista (es) Máquina de estados finitos não determinística (pt) Недетерминированный конечный автомат (ru) Недетермінований скінченний автомат (uk)
rdfs:comment	Un automate fini (on dit parfois, par une traduction littérale de l'anglais, machine à états finis, au lieu de machine avec un nombre fini d'états ou machine à états finie ou machine finie à états), finite-state automaton ou finite-state machine (FSA, FSM), est une machine abstraite qui est un outil fondamental en mathématiques discrètes et en informatique. On les retrouve dans la modélisation de processus, le contrôle, les protocoles de communication, la vérification de programmes, la théorie de la calculabilité, dans l'étude des langages formels et en compilation. Ils sont utilisés dans la recherche des motifs dans un texte. (fr)
rdfs:seeAlso	https://commons.wikimedia.org/wiki/Category:Finite_state_machine
sameAs	dbr:Nondeterministic_finite_automaton wikidata:Q617295 dbpedia-ar:آلة_محدودة_الحالات_غير_قطعية http://bs.dbpedia.org/resource/Nedeterministički_konačni_automat dbpedia-ca:Autòmat_finit_no_determinista dbpedia-de:Nichtdeterministischer_endlicher_Automat dbpedia-el:Μη_ντετερμινιστικό_πεπερασμένο_αυτόματο dbpedia-es:Autómata_finito_no_determinista dbpedia-fa:اتوماتون_تعیین‌ناپذیر_متناهی dbpedia-he:אוטומט_סופי_לא_דטרמיניסטי dbpedia-hr:Nedeterministički_konačni_automat dbpedia-hu:Nemdeterminisztikus_véges_állapotú_gép dbpedia-it:Automa_a_stati_finiti_non_deterministico dbpedia-ja:非決定性有限オートマトン dbpedia-ko:비결정적_유한_상태_기계 dbpedia-no:Ikke-deterministisk_endelig_tilstandsmaskin dbpedia-pl:Niedeterministyczny_automat_skończony dbpedia-pt:Máquina_de_estados_finitos_não_determinística dbpedia-ru:Недетерминированный_конечный_автомат dbpedia-sh:Nedeterministički_konačni_automat dbpedia-sr:Недетерминистички_коначни_аутомат dbpedia-tr:Deterministik_olmayan_sonlu_durum_makinesi dbpedia-uk:Недетермінований_скінченний_автомат dbpedia-zh:非确定有限状态自动机 http://g.co/kg/m/02_w6j http://ma-graph.org/entity/158008952
Wikipage page ID	1571839 (xsd:integer)
Wikipage revision ID	191426999 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automates_finis_et_langages_réguliers dbpedia-fr:Action_de_groupe_(mathématiques) dbpedia-fr:Algorithme_de_Conway Thompson's construction String-searching algorithm Alphabet Tree (data structure) dbpedia-fr:Automate_d'arbres dbpedia-fr:Automate_de_Büchi dbpedia-fr:Automate_de_Muller dbpedia-fr:Automate_fini_déterministe dbpedia-fr:Automate_fini_inambigu dbpedia-fr:Automate_pondéré dbpedia-fr:Automate_sur_les_mots_infinis dbpedia-fr:Automate_transposé dbpedia-fr:Automate_à_pile Bit category-fr:Calculabilité category-fr:Méthode_formelle category-fr:Théorie_des_automates Integrated circuit Compiler dbpedia-fr:Construction_de_Glushkov dbpedia-fr:Construction_par_sous-ensembles dbpedia-fr:Epsilon_transition Regular expression Context-free grammar Grep Chomsky hierarchy dbpedia-fr:Inclusion_(mathématiques) Computer science dbpedia-fr:Janusz_A._Brzozowski dbpedia-fr:Ken_Thompson dbpedia-fr:Langage_formel dbpedia-fr:Langage_rationnel dbpedia-fr:Lemme_d'Arden Grammar Abstract machine Mealy machine Moore machine Turing machine Monoid Syntactic monoid dbpedia-fr:Mot dbpedia-fr:Mot_(mathématiques) dbpedia-fr:Produit_cartésien dbpedia-fr:Stephen_Cole_Kleene Kripke structure (model checking) Thue–Morse sequence Switch statement dbpedia-fr:Système_de_transition_d'états dbpedia-fr:Théorie_de_la_calculabilité dbpedia-fr:Théorie_des_automates dbpedia-fr:Théorie_des_graphes dbpedia-fr:Transducteur_fini Unix Victor Glushkov dbpedia-fr:Vérification_de_modèles dbpedia-fr:Mathématiques_discrètes dbpedia-fr:Matrice_(mathématiques) dbpedia-fr:Matrice_creuse dbpedia-fr:Minimisation_d'un_automate_fini_déterministe dbpedia-fr:Automate_de_Rabin

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 8 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software