About: Algebraic properties of substitution on trajectories     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

AttributesValues
rdf:type
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. (en)
  • 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ů. (cs)
Title
  • Algebraic properties of substitution on trajectories
  • Algebraické vlastnosti substitucí na trajektoriích (cs)
  • Algebraic properties of substitution on trajectories (en)
skos:prefLabel
  • Algebraic properties of substitution on trajectories
  • Algebraické vlastnosti substitucí na trajektoriích (cs)
  • Algebraic properties of substitution on trajectories (en)
skos:notation
  • RIV/47813059:19240/06:#0001875!RIV09-MSM-19240___
http://linked.open...avai/riv/aktivita
http://linked.open...avai/riv/aktivity
  • S
http://linked.open...iv/cisloPeriodika
  • 369
http://linked.open...vai/riv/dodaniDat
http://linked.open...aciTvurceVysledku
http://linked.open.../riv/druhVysledku
http://linked.open...iv/duvernostUdaju
http://linked.open...titaPredkladatele
http://linked.open...dnocenehoVysledku
  • 464563
http://linked.open...ai/riv/idVysledku
  • RIV/47813059:19240/06:#0001875
http://linked.open...riv/jazykVysledku
http://linked.open.../riv/klicovaSlova
  • substitution on trajectories; algebra (en)
http://linked.open.../riv/klicoveSlovo
http://linked.open...odStatuVydavatele
  • NL - Nizozemsko
http://linked.open...ontrolniKodProRIV
  • [FB6812421B61]
http://linked.open...i/riv/nazevZdroje
  • THEORETICAL COMPUTER SCIENCE
http://linked.open...in/vavai/riv/obor
http://linked.open...ichTvurcuVysledku
http://linked.open...cetTvurcuVysledku
http://linked.open...UplatneniVysledku
http://linked.open...v/svazekPeriodika
  • 1
http://linked.open...iv/tvurceVysledku
  • Sosík, Petr
  • Domaratzki, Michael
  • Rodriguez-Paton, Alfonso
issn
  • 0304-3975
number of pages
http://localhost/t...ganizacniJednotka
  • 19240
Faceted Search & Find service v1.16.118 as of Jun 21 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 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 38 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software