Publication Details

Two-Sided Pushdown Automata over Free Groups

BIDLO, R.; BLATNÝ, P. 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. p. 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., Ph.D.
Blatný Petr, Ing., Ph.D.
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
ISBN
80-214-3163-6
Publisher
Faculty of Electrical Engineering and Communication BUT
Place
Brno
BibTeX 
@inproceedings{BUT22363,
  author="Radek {Bidlo} and Petr {Blatný}",
  title="Two-Sided Pushdown Automata over Free Groups",
  booktitle="Proceedings of the 12th Conference Student EEICT 2006 Volume 4",
  year="2006",
  pages="352--355",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-3163-6"
}
Back to top