About: Brzozowski derivative     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatFormalLanguages, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon
http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FBrzozowski_derivative&invfp=IFP_OFF&sas=SAME_AS_OFF

In theoretical computer science, in particular in formal language theory, the Brzozowski derivative of a set of strings and a string is the set of all strings obtainable from a string in by cutting off the prefix , as illustrated in the figure. Formally: . It was introduced under various different names since the late 1950s.Today it is named after the computer scientist Janusz Brzozowski who investigated its properties and gave an algorithm to compute the derivative of a generalized regular expression.

AttributesValues
rdf:type
rdfs:label
  • Brzozowski derivative (en)
  • Dérivée de Brzozowski (fr)
  • Pochodna Brzozowskiego (pl)
rdfs:comment
  • In theoretical computer science, in particular in formal language theory, the Brzozowski derivative of a set of strings and a string is the set of all strings obtainable from a string in by cutting off the prefix , as illustrated in the figure. Formally: . It was introduced under various different names since the late 1950s.Today it is named after the computer scientist Janusz Brzozowski who investigated its properties and gave an algorithm to compute the derivative of a generalized regular expression. (en)
  • 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)
  • W teorii języków formalnych w informatyce pochodna Brzozowskiego u−1S zbioru ciągów znaków S względem ciągu znaków u jest zdefiniowana jako zbiór ciągów znaków otrzymanych z elementów zbioru S poprzez usunięcie prefiksu u (jeśli istnieje), formalnie u−1S = { v ∈ Σ*: uv ∈ S }, jak na rysunku.Nazwa pochodnych Brzozowskiego pochodzi od nazwiska informatyka Janusza Brzozowskiego, który badał ich właściwości i opracował algorytm liczący pochodne uogólnionych wyrażeń regularnych. (pl)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/Brzozowski_derivative.gif
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
sameAs
dbp:wikiPageUsesTemplate
thumbnail
has abstract
  • In theoretical computer science, in particular in formal language theory, the Brzozowski derivative of a set of strings and a string is the set of all strings obtainable from a string in by cutting off the prefix , as illustrated in the figure. Formally: . It was introduced under various different names since the late 1950s.Today it is named after the computer scientist Janusz Brzozowski who investigated its properties and gave an algorithm to compute the derivative of a generalized regular expression. (en)
  • 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)
  • W teorii języków formalnych w informatyce pochodna Brzozowskiego u−1S zbioru ciągów znaków S względem ciągu znaków u jest zdefiniowana jako zbiór ciągów znaków otrzymanych z elementów zbioru S poprzez usunięcie prefiksu u (jeśli istnieje), formalnie u−1S = { v ∈ Σ*: uv ∈ S }, jak na rysunku.Nazwa pochodnych Brzozowskiego pochodzi od nazwiska informatyka Janusza Brzozowskiego, który badał ich właściwości i opracował algorytm liczący pochodne uogólnionych wyrażeń regularnych. (pl)
prov:wasDerivedFrom
page length (characters) of wiki page
foaf:isPrimaryTopicOf
is Link from a Wikipage to another Wikipage of
is Wikipage disambiguates of
is known for of
is known for of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 59 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software