Publication result detail

Closure Properties of Insertion and Deletion Operations

VÍTEK, M.

Original Title

Closure Properties of Insertion and Deletion Operations

English Title

Closure Properties of Insertion and Deletion Operations

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

Stringology represents a modern part of the formal language theory, which deals with strings, languages and operations on them. It introduces many new language operations, which can be divided into two groups - insertion and deletion operations. This paper presents these operations and some their properties. Especially, closure properties are studied here. New algorithms that construct finite automata accepting languages resulting from some of these operations are described here. We actually demonstrate by designing these algorithms, that the family of regular languages is closed under these operations.

English abstract

Stringology represents a modern part of the formal language theory, which deals with strings, languages and operations on them. It introduces many new language operations, which can be divided into two groups - insertion and deletion operations. This paper presents these operations and some their properties. Especially, closure properties are studied here. New algorithms that construct finite automata accepting languages resulting from some of these operations are described here. We actually demonstrate by designing these algorithms, 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

Key words in English

  • Stringology
  • sequential insertion
  • parallel insertion
  • scattered sequential insertion
  • sequential deletion
  • parallel deletion
  • scattered sequential deletion
  • finite automata
  • closure properties

Authors

VÍTEK, M.

Released

28.04.2005

Publisher

Faculty of Information Technology BUT

Location

Brno

ISBN

80-214-2890-2

Book

Proceedings of the 11th conference Student EEICT 2005

Pages from

586

Pages to

590

Pages count

5

BibTex

@inproceedings{BUT21474,
  author="Martin {Vítek}",
  title="Closure Properties of Insertion and Deletion Operations",
  booktitle="Proceedings of the 11th conference Student EEICT 2005",
  year="2005",
  pages="586--590",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-2890-2"
}