O rovnicích nad jazyky s operací vymazávání

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F47813059%3A19240%2F04%3A00012608" target="_blank" >RIV/47813059:19240/04:00012608 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

On language equations with deletion

Popis výsledku v původním jazyce

We study some decision problems concerning language equations involving natural language deletion operators such as left or right quotient, sequential deletion and scattered deletion. By the term "natural" we mean that these operators are inspired by string manipulation processes observed in nature, and they are applicable in fields like in DNA computing, coding theory, parallel processes modelling etc. We show solutions to several open decision problems concerning language equations involving the operators cited above.

Název v anglickém jazyce

On language equations with deletion

Popis výsledku anglicky

We study some decision problems concerning language equations involving natural language deletion operators such as left or right quotient, sequential deletion and scattered deletion. By the term "natural" we mean that these operators are inspired by string manipulation processes observed in nature, and they are applicable in fields like in DNA computing, coding theory, parallel processes modelling etc. We show solutions to several open decision problems concerning language equations involving the operators cited above.

Druh

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

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GP201%2F02%2FP079" target="_blank" >GP201/02/P079: Distribuované modely kognitivních výpočtů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2004

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

Bulletin of the EATCS

ISSN

0252-9742

e-ISSN

—

Svazek periodika

83

Číslo periodika v rámci svazku

červen

Stát vydavatele periodika

GB - Spojené království Velké Británie a Severního Irska

Počet stran výsledku

8

Strana od-do

173-180

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—