Algebraické vlastnosti substitucí na trajektoriích

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F06%3A%230001875" target="_blank" >RIV/47813059:19240/06:#0001875 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Algebraic properties of substitution on trajectories

Popis výsledku v původním jazyce

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 elegantlanguage-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 termsof 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.

Název v anglickém jazyce

Algebraic properties of substitution on trajectories

Popis výsledku anglicky

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 elegantlanguage-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 termsof 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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2006

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

THEORETICAL COMPUTER SCIENCE

ISSN

0304-3975

e-ISSN

—

Svazek periodika

1

Číslo periodika v rámci svazku

369

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

14

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—