Vlastnosti operací míchání a mazání na trajektoriích
Popis výsledku
Operace na trajektoriích nad slovy a jazyky poskytují obecný rámec pro studium operací založených na sekvenčním vkládání a vymazávání. Trajektorie představují syntaktickou podmínku omezující tyto operace, s intuitivním geometrickým významem. Studujeme algebraické vlastnosti vymazávání na trajektoriích a s tím spojené rozhodovací vlastnosti. Mimo jiné charakterizujeme třídu operací, pro které je (ne)rozhodnutelná řešitelnost jednoduchých rovnic nad jazyky, jež tyto operace obsahují.
Klíčová slova
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Aspects of shuffle and deletion on trajectories
Popis výsledku v původním jazyce
Word and language operations on trajectories provide a general framework for the study of properties of sequential insertion and deletion operations. A trajectory gives a syntactical constraint on the scattered insertion (deletion) of a word into(from) another one, with an intuitive geometrical interpretation. Moreover, deletion on trajectories is an inverse of the shuffle on trajectories. These operations are a natural generalization of many binary word operations like catenation, quotient, insertion,deletion, shuffle, etc. Besides they were shown to be useful, e.g. in concurrent processes modelling and recently in biocomputing area.
Název v anglickém jazyce
Aspects of shuffle and deletion on trajectories
Popis výsledku anglicky
Word and language operations on trajectories provide a general framework for the study of properties of sequential insertion and deletion operations. A trajectory gives a syntactical constraint on the scattered insertion (deletion) of a word into(from) another one, with an intuitive geometrical interpretation. Moreover, deletion on trajectories is an inverse of the shuffle on trajectories. These operations are a natural generalization of many binary word operations like catenation, quotient, insertion,deletion, shuffle, etc. Besides they were shown to be useful, e.g. in concurrent processes modelling and recently in biocomputing area.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2005
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ů
Údaje specifické pro druh výsledku
Název periodika
THEORETICAL COMPUTER SCIENCE
ISSN
0304-3975
e-ISSN
—
Svazek periodika
1
Číslo periodika v rámci svazku
332
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
—
Základní informace
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
IN - Informatika
Rok uplatnění
2005