D 2006

Communication of two stacks and rewriting

KARHUMÄKI, Juhani; Michal KUNC and Alexander OKHOTIN

Basic information

Original name

Communication of two stacks and rewriting

Name in Czech

Komunikace dvou zásobníků a přepisování

Authors

KARHUMÄKI, Juhani (246 Finland); Michal KUNC (203 Czech Republic, guarantor) and Alexander OKHOTIN (643 Russian Federation)

Edition

Berlin, Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II, p. 468-479, 2006

Publisher

Springer

Other information

Language

English

Type of outcome

Proceedings paper

Field of Study

10101 Pure mathematics

Country of publisher

Germany

Confidentiality degree

is not subject to a state or trade secret

References:

RIV identification code

RIV/00216224:14330/06:00017106

Organization unit

Faculty of Informatics

ISBN

3-540-35907-9

UT WoS

000239475900040

Keywords in English

Multi-pushdown automaton; Word rewriting; Universal computation; Context-free language; Regular language
Changed: 24/3/2010 11:15, doc. Mgr. Michal Kunc, Ph.D.

Abstract

In the original language

Rewriting systems working on words with a center marker are considered. The derivation is done by erasing a prefix or a suffix and then adding a prefix or a suffix. This can be naturally viewed as two stacks communicating with each other according to a fixed protocol. The paper systematically considers different cases of these systems and determines their expressiveness. Several cases are identified where very limited communication surprisingly yields universal computation power.

In Czech

V práci se zabýváme přepisovacími systémy pracujícími na slovech se středovou značkou. Odvozování se provádí umazáním prefixu nebo sufixu a následným přidáním prefixu nebo sufixu. Tento proces je možné přirozeně chápat jako vzájemnou komunikaci dvou zásobníků podle jistého pevného protokolu. Systematicky uvažujeme různé případy těchto systémů a určujeme jejich vyjadřovací schopnost. Nalézáme několik případů, kde velmi omezená komunikace překvapivě poskytuje univerzální výpočetní sílu.

Links

1M0545, research and development project
Name: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science