Detail výsledku

Closure Properties of Linear Languages under Operations of Linear Deletion

MASOPUST, T. Closure Properties of Linear Languages under Operations of Linear Deletion. Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4. Brno: Faculty of Information Technology BUT, 2006. p. 390-394. ISBN: 80-214-3163-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Masopust Tomáš, doc. RNDr., Ph.D., UIFS (FIT)
Abstrakt

In this paper, we give constructive proofs that linear languagesare closed under operations of regular deletion and that they are notclosed under operations of linear deletion. The operations are calledrandom parallel, parallel, sequential, scattered sequential, andmultiple scattered sequential deletion.
In addition, we prove that every recursively enumerable languagecan be obtained from a linear language by linear random parallel,parallel, or sequential deletion. In the conclusion, we formulate twoopen problems.

Klíčová slova

formal languages, regular languages, linear languages, regular deletion, linear deletion

Rok
2006
Strany
390–394
Sborník
Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4
Konference
Student EEICT 2006
ISBN
80-214-3163-6
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@inproceedings{BUT192596,
  author="Tomáš {Masopust}",
  title="Closure Properties of Linear Languages under Operations of Linear Deletion",
  booktitle="Proceedings of the 12th Conference and Competition STUDENT EEICT 2006 Volume 4",
  year="2006",
  pages="390--394",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  isbn="80-214-3163-6"
}
Výzkumné skupiny
Výzkumná skupina formálních modelů (VZ FM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru