ROMANIAN JOURNAL OF INFORMATION SCIENCE AND
TECHNOLOGY
Volume 4, Numbers 1-2, 2001, 211 - 223
Distributed Splicing of RE with 6 Test
Tubes
Monika STURM, Thomas HINZE
Dresden University of Technology, Germany
Department of Theoretical Computer Science
Abstract.
This paper
introduces a functional approach to distributed splicing systems for generation of
recursive enumerable languages with 6 test tubes. The specification of this system serves
both, the formal mathematical and the lab-experimental aspect. The implementation of the
splicing system using a functional description of laboratory operations supports
particularly the last-mentioned aspect. Advantages of this approach consist in large
experimental practicability as well as in the independence of certain Chomsky type 0
grammar parameters. |