This HTML5 document contains 13 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbnary-deuhttp://kaiko.getalp.org/dbnary/deu/
dbnaryhttp://kaiko.getalp.org/dbnary#
skoshttp://www.w3.org/2004/02/skos/core#
ontolexhttp://www.w3.org/ns/lemon/ontolex#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
dbnary-deu:__ws_1_leeres_Wort__Substantiv__1
rdf:type
ontolex:LexicalSense
dbnary:hypernym
dbnary-deu:Zeichenkette dbnary-deu:String dbnary-deu:Wort
dbnary:senseNumber
1
skos:definition
_:vb1008099
skos:example
_:vb1008102 _:vb1008100 _:vb1008101
Subject Item
_:vb1008099
rdf:value
Theoretische Informatik, formale Sprachen: Zeichenkette, welche aus keinem Symbol besteht
Subject Item
_:vb1008100
rdf:value
Das leere Wort ist das neutrale Element der Konkatenation; es gilt also für beliebiges Wort w\,: w \varepsilon = \varepsilon w = w\,.
Subject Item
_:vb1008101
rdf:value
Das leere Wort \varepsilon \, taucht in formalen Grammatiken etwa auf, um löschende Ersetzungsregeln für Nichtterminale zu formulieren.
Subject Item
_:vb1008102
rdf:value
Die Grammatik aus den Terminalsymbolen \lbrace a,\,b \rbrace, den Nichtterminalsymbolen \lbrace S \rbrace\, (ein einziges) und den Ersetzungsregeln \lbrace S \rightarrow aSa , S \rightarrow bSb , S \rightarrow a , S \rightarrow b , S \rightarrow \varepsilon \rbrace sowie dem Startsymbol S\, erzeugt die Menge aller Palindrome über dem Alphabet \Sigma = \lbrace a, b \rbrace\,. Das leere Wort \varepsilon \, ist Element der von dieser Grammatik erzeugten Sprache.