Algebraic properties of substitution on trajectories

Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Algebraic properties of substitution on trajectories
Original language 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 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.
Czech name
Algebraické vlastnosti substitucí na trajektoriích
Czech description
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ů.

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—

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

Similar results(10)