Insertion and Deletion Operations in Formal Language Theory
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F05%3APU55711" target="_blank" >RIV/00216305:26230/05:PU55711 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Insertion and Deletion Operations in Formal Language Theory
Original language description
Stringology is a modern part of the formal language theory which deals with strings and operations on them. These operations we can divide into two groups - insertion and deletion operations. This paper presents these operations and studies their closureproperties. The main contribution of this paper are algorithms constructing finite automata accepting the result of these operations from finite automata accepting the operands. By designing these algorithms we demonstrate, that the family of regular laanguages is closed under these operations.
Czech name
Vkládací a mazací operace v teorii formálních jazyků
Czech description
Stringologie reprezentuje nový moderní obor teoretické informatiky, který se zabývá operacemi nad řetězci a formálními jazyky. Tyto operace můžeme rozdělit na vkládací a mazací operace. Cílem této práce bylo prostudovat tyto operace a jejich uzávěrové vlastnosti. Hlavním přínosem této práce jsou algoritmy konstrukce konečných automatů přijímajících výsledky těchto operací z konečných automatů přijímajících operandy těchto operací. Návrhem těchto algoritmů lze dokázat uzavřenost třídy regulárních jaazyků vůči těmto operacím.
Classification
Type
D - Article in proceedings
CEP classification
BD - Information theory
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GA201%2F04%2F0441" target="_blank" >GA201/04/0441: Optimally integrated models of modern information technologies</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2005
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of 8th Spring International Conference ISIM '05
ISBN
80-86840-09-3
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
73-80
Publisher name
NEUVEDEN
Place of publication
Ostrava
Event location
Hradec nad Moravicí
Event date
Apr 19, 2005
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—