Result Details
Insertion and Deletion Operations in Formal Language Theory
VÍTEK, M. Insertion and Deletion Operations in Formal Language Theory. Proceedings of 8th Spring International Conference ISIM '05. Ostrava: Marq software s.r.o., 2005. p. 73-80. ISBN: 80-86840-09-3.
Type
conference paper
Language
English
Authors
Vítek Martin, Ing., Ph.D., FIT (FIT), DIFS (FIT)
Abstract
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 closure properties. 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 languages is closed under these operations.
Keywords
- stringology
- sequential insertion
- parallel insertion
- scattered sequential insertion
- sequential deletion
- parallel deletion
- scattered sequential deletion
- finite automata
- closure properties
Published
2005
Pages
73–80
Proceedings
Proceedings of 8th Spring International Conference ISIM '05
Conference
8th International Conference on Information Systems Implementation and Modelling
ISBN
80-86840-09-3
Publisher
Marq software s.r.o.
Place
Ostrava
BibTeX
@inproceedings{BUT21457,
author="Martin {Vítek}",
title="Insertion and Deletion Operations in Formal Language Theory",
booktitle="Proceedings of 8th Spring International Conference ISIM '05",
year="2005",
pages="73--80",
publisher="Marq software s.r.o.",
address="Ostrava",
isbn="80-86840-09-3"
}
Projects
Optimally Integrated Models of Modern Information Technologies, GACR, Standardní projekty, GA201/04/0441, start: 2004-01-01, end: 2006-12-31, completed
Departments