About: dbpedia-fr:Dérivée_de

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

About: dbpedia-fr:Dérivée_de_Brzozowski Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdfs:label	Dérivée de Brzozowski (fr) Pochodna Brzozowskiego (pl)
rdfs:comment	En Informatique théorique, et en particulier en théorie des automates finis, la dérivée de Brzozowski est un outil qui permet de construire un automate fini à partir d'une expression rationnelle ou régulière. Elle tient son nom de l'informaticien Janusz A. Brzozowski qui, dans un article datant de 1964, en a étudié ses propriétés et a démontré que l’algorithme de calcul se termine. (fr)
sameAs	dbr:Brzozowski_derivative wikidata:Q17005656 dbpedia-pl:Pochodna_Brzozowskiego http://g.co/kg/m/010pg2jt http://ma-graph.org/entity/2779891005
Wikipage page ID	8571856 (xsd:integer)
Wikipage revision ID	178538571 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Automates_finis_et_langages_réguliers dbpedia-fr:Automate_fini category-fr:Méthode_formelle dbpedia-fr:Construction_de_Glushkov Regular expression Theoretical computer science dbpedia-fr:Janusz_A._Brzozowski
page length (characters) of wiki page	15750 (xsd:nonNegativeInteger)
dct:subject	category-fr:Automates_finis_et_langages_réguliers category-fr:Méthode_formelle
prop-fr:wikiPageUsesTemplate	dbpedia-fr:Modèle:Article dbpedia-fr:Modèle:Article_détaillé dbpedia-fr:Modèle:Ouvrage dbpedia-fr:Modèle:Plume dbpedia-fr:Modèle:Portail dbpedia-fr:Modèle:Références dbpedia-fr:Modèle:Théorème
prov:wasDerivedFrom	wikipedia-fr:Dérivée_de_Brzozowski?oldid=178538571&ns=0
foaf:depiction
prop-fr:année	1964 (xsd:integer) 1996 (xsd:integer) 2003 (xsd:integer)
prop-fr:auteur	Janusz A. Brzozowski (fr) Valentin M. Antimirov (fr)
prop-fr:doi	10 (xsd:double)
prop-fr:isbn	2 (xsd:integer)
prop-fr:journal	Journal of the ACM (fr) Theor. Comput. Sci (fr)
prop-fr:langue	fr (fr)
prop-fr:lieu	Paris (fr)
prop-fr:nom	Sakarovitch (fr)
prop-fr:numéro	2 (xsd:integer)
prop-fr:pages	481 (xsd:integer)
prop-fr:pagesTotales	816 (xsd:integer)
prop-fr:passage	291 (xsd:integer)
prop-fr:prénom	Jacques (fr)
prop-fr:titre	Éléments de théorie des automates (fr) Derivatives of Regular Expressions (fr) Partial Derivatives of Regular Expressions and Finite Automaton Constructions (fr)
prop-fr:volume	11 (xsd:integer) 155 (xsd:integer)
prop-fr:éditeur	Vuibert (fr)
thumbnail	wiki-commons:Special:FilePath/Automate_des_dérivés.jpg?width=300
prop-fr:zbl	1188 (xsd:double)
foaf:isPrimaryTopicOf	wikipedia-fr:Dérivée_de_Brzozowski
has abstract	En Informatique théorique, et en particulier en théorie des automates finis, la dérivée de Brzozowski est un outil qui permet de construire un automate fini à partir d'une expression rationnelle ou régulière. Elle tient son nom de l'informaticien Janusz A. Brzozowski qui, dans un article datant de 1964, en a étudié ses propriétés et a démontré que l’algorithme de calcul se termine. (fr)
is dbo:wikiPageWikiLink of	dbpedia-fr:Janusz_A._Brzozowski dbpedia-fr:Théorème_de_Kleene
is oa:hasTarget of	Pl labels Wikidata Fr related
is foaf:primaryTopic of	wikipedia-fr:Dérivée_de_Brzozowski

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, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software