Publication Details

Two-Sided Pushdown Automata over Free Groups

BIDLO Radek and BLATNÝ Petr. Two-Sided Pushdown Automata over Free Groups. In: Proceedings of the 12th Conference Student EEICT 2006 Volume 4. Brno: Faculty of Electrical Engineering and Communication BUT, 2006, pp. 352-355. ISBN 80-214-3163-6.

Czech title

Oboustranné zásobníkové automaty nad volnými grupami

Type

conference paper

Language

english

Authors

Bidlo Radek, Ing. (DIFS FIT BUT)
Blatný Petr, Ing. (DIFS FIT BUT)

Keywords

pushdown automaton, free group, two-sided pushdown automaton over a free group

Abstract

In the two-sided pushdown automata discussed in this paper, their two-sided pushdowns are introduced over free groups rather than free monoids. It is demonstrated that these automata with pushdowns introduced in this way charakterize the family of recursively enumerable languages.

Published

2006

Pages

352-355

Proceedings

Proceedings of the 12th Conference Student EEICT 2006 Volume 4

Conference

Student EEICT 2006, Brno, CZ

ISBN

80-214-3163-6

Publisher

Faculty of Electrical Engineering and Communication BUT

Place

Brno, CZ

BibTeX

@INPROCEEDINGS{FITPUB8048,
   author = "Radek Bidlo and Petr Blatn\'{y}",
   title = "Two-Sided Pushdown Automata over Free Groups",
   pages = "352--355",
   booktitle = "Proceedings of the 12th Conference Student EEICT 2006 Volume 4",
   year = 2006,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-3163-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8048"
}