Detail publikace

Insertion and Deletion Operations in Formal Language Theory

VÍTEK, M. Insertion and Deletion Operations in Formal Language Theory. In Proceedings of 8th Spring International Conference ISIM '05. Ostrava: 2005. p. 73-80. ISBN: 80-86840-09-3.
Název česky
Vkládací a mazací operace v teorii formálních jazyků
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Vítek Martin, Ing., Ph.D.
Klíčová slova
  • stringology
  • sequential insertion
  • parallel insertion
  • scattered sequential insertion
  • sequential deletion
  • parallel deletion
  • scattered sequential deletion
  • finite automata
  • closure properties
Abstrakt

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 jazyků vůči těmto operacím.

Rok
2005
Strany
73–80
Sborník
Proceedings of 8th Spring International Conference ISIM '05
ISBN
80-86840-09-3
Místo
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",
  address="Ostrava",
  isbn="80-86840-09-3"
}
Nahoru