Two-Sided Pushdown Automata over Free Groups
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU67153" target="_blank" >RIV/00216305:26230/06:PU67153 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Two-Sided Pushdown Automata over Free Groups
Original language description
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.<br>
Czech name
Oboustranné zásobníkové automaty nad volnými grupami
Czech description
Příspěvek představuje oboustranné zásobníkové automaty, jejichž zásobníky jsou definovány nad volnými grupami místo nad volnými monoidy, jak bývá obvyklé. Je ukázáno, že tyto automaty popisují celou třídu rekurzívně vyčíslitelných jazyků.<br>
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2006
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the 12th Conference Student EEICT 2006 Volume 4
ISBN
80-214-3163-6
ISSN
—
e-ISSN
—
Number of pages
4
Pages from-to
352-355
Publisher name
Faculty of Electrical Engineering and Communication BUT
Place of publication
Brno
Event location
Brno
Event date
Apr 27, 2006
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—