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

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

Namespace Prefixes

PrefixIRI
n4http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n20http://localhost/temp/predkladatel/
n15http://purl.org/net/nknouf/ns/bibtex#
n16http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n13http://linked.opendata.cz/resource/domain/vavai/projekt/
n8http://linked.opendata.cz/ontology/domain/vavai/
n7https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n14http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n21http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n10http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n19http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n12http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F01%3A00004841%21RIV%2F2002%2FGA0%2F143302%2FN/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F01%3A00004841%21RIV%2F2002%2FGA0%2F143302%2FN
rdf:type
n8:Vysledek skos:Concept
dcterms:description
A classical construction assigns to any language its (ordered) syntactic monoid. Recently the author defined the so-called syntactic semiring of a language. We discuss here the relationships between those two structures. Pin's refinement of Eilenberg theorem gives a one-to-one correspondence between positive varieties of rational languages and pseudovarieties of ordered monoids. The author's modification uses so-called conjunctive varieties of rational languages and pseudovarieties of idempotent semirings. We present here also several examples of our varieties of languages. A classical construction assigns to any language its (ordered) syntactic monoid. Recently the author defined the so-called syntactic semiring of a language. We discuss here the relationships between those two structures. Pin's refinement of Eilenberg theorem gives a one-to-one correspondence between positive varieties of rational languages and pseudovarieties of ordered monoids. The author's modification uses so-called conjunctive varieties of rational languages and pseudovarieties of idempotent semirings. We present here also several examples of our varieties of languages.
dcterms:title
Syntactic Semiring of a Language Syntactic Semiring of a Language
skos:prefLabel
Syntactic Semiring of a Language Syntactic Semiring of a Language
skos:notation
RIV/00216224:14330/01:00004841!RIV/2002/GA0/143302/N
n3:strany
611
n3:aktivita
n21:P
n3:aktivity
P(GA201/01/0323)
n3:dodaniDat
n11:2002
n3:domaciTvurceVysledku
n16:3023516
n3:druhVysledku
n18:D
n3:duvernostUdaju
n6:S
n3:entitaPredkladatele
n12:predkladatel
n3:idSjednocenehoVysledku
698053
n3:idVysledku
RIV/00216224:14330/01:00004841
n3:jazykVysledku
n10:eng
n3:klicovaSlova
syntactic semiring, rational languages
n3:klicoveSlovo
n14:syntactic%20semiring n14:rational%20languages
n3:kontrolniKodProRIV
[FA1B0A4E2784]
n3:mistoKonaniAkce
Berlin
n3:mistoVydani
Berlin
n3:nazevZdroje
Mathematical foundations of computer science 2001
n3:obor
n19:BA
n3:pocetDomacichTvurcuVysledku
1
n3:pocetTvurcuVysledku
1
n3:pocetUcastnikuAkce
0
n3:pocetZahranicnichUcastnikuAkce
0
n3:projekt
n13:GA201%2F01%2F0323
n3:rokUplatneniVysledku
n11:2001
n3:tvurceVysledku
Polák, Libor
n3:typAkce
n4:WRD
n3:zahajeniAkce
2001-01-01+01:00
s:numberOfPages
10
n15:hasPublisher
Springer-Verlag
n7:isbn
3-540-42496-2
n20:organizacniJednotka
14330