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

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

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n15http://localhost/temp/predkladatel/
n12http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n16http://linked.opendata.cz/ontology/domain/vavai/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://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#
n6http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n14http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F47813059%3A19240%2F06%3A%230001875%21RIV09-MSM-19240___/
n17http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n11http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n8http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n5http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F47813059%3A19240%2F06%3A%230001875%21RIV09-MSM-19240___
rdf:type
skos:Concept n16:Vysledek
dcterms:description
Language operations on trajectories provide a generalization of many common operations such as concatenation, quotient, shuffle and others. A trajectory is a syntactical condition determining positions where an operation is applied. Besides their elegant language-theoretical properties, the operations on trajectories have been used to solve problems in coding theory, bio-informatics and concurrency theory. We focus on algebraic properties of substitution on trajectories. Their characterization in terms of language-theoretical properties of the associated sets of trajectories is given. The transitivity property is of particular interest. Unlike, e.g., shuffle on trajectories, in the case of substitution the transitive closure of a regular set of trajectories is again regular. This result has consequences in the above-mentioned application areas. Language operations on trajectories provide a generalization of many common operations such as concatenation, quotient, shuffle and others. A trajectory is a syntactical condition determining positions where an operation is applied. Besides their elegant language-theoretical properties, the operations on trajectories have been used to solve problems in coding theory, bio-informatics and concurrency theory. We focus on algebraic properties of substitution on trajectories. Their characterization in terms of language-theoretical properties of the associated sets of trajectories is given. The transitivity property is of particular interest. Unlike, e.g., shuffle on trajectories, in the case of substitution the transitive closure of a regular set of trajectories is again regular. This result has consequences in the above-mentioned application areas. Operace s formálními jazyky na trajektoriích jsou rámcem zobecňujícím řadu běžných jazykových operací jako zřetězení, kvocient, vsouvání a další. Zde se zaměřujeme na algebraické vlastnosti substitucí na trajektoriích. Zvláště zajímavá je tranzitivita - na rozdíl od jiných obdobných operací je uzavřená vzhledem ke třídě regulárních jazyků.
dcterms:title
Algebraické vlastnosti substitucí na trajektoriích Algebraic properties of substitution on trajectories Algebraic properties of substitution on trajectories
skos:prefLabel
Algebraic properties of substitution on trajectories Algebraic properties of substitution on trajectories Algebraické vlastnosti substitucí na trajektoriích
skos:notation
RIV/47813059:19240/06:#0001875!RIV09-MSM-19240___
n4:aktivita
n17:S
n4:aktivity
S
n4:cisloPeriodika
369
n4:dodaniDat
n5:2009
n4:domaciTvurceVysledku
n12:3180328
n4:druhVysledku
n7:J
n4:duvernostUdaju
n14:S
n4:entitaPredkladatele
n13:predkladatel
n4:idSjednocenehoVysledku
464563
n4:idVysledku
RIV/47813059:19240/06:#0001875
n4:jazykVysledku
n11:eng
n4:klicovaSlova
substitution on trajectories; algebra
n4:klicoveSlovo
n6:algebra n6:substitution%20on%20trajectories
n4:kodStatuVydavatele
NL - Nizozemsko
n4:kontrolniKodProRIV
[FB6812421B61]
n4:nazevZdroje
THEORETICAL COMPUTER SCIENCE
n4:obor
n8:IN
n4:pocetDomacichTvurcuVysledku
1
n4:pocetTvurcuVysledku
3
n4:rokUplatneniVysledku
n5:2006
n4:svazekPeriodika
1
n4:tvurceVysledku
Rodriguez-Paton, Alfonso Sosík, Petr Domaratzki, Michael
s:issn
0304-3975
s:numberOfPages
14
n15:organizacniJednotka
19240