Distributed Splicing of RE with 6 Test Tubes

M. SturmM. Sturm, T. HinzeT. Hinze

Download

M. Sturm, T. Hinze
Distributed Splicing of RE with 6 Test Tubes
Romanian Journal of Information Science and Technology, 4(1-2):211--234, 2001

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@article{ SturmHinze-WMP2000-01,
  author = {M. {Sturm} and T. {Hinze}},
  journal = {Romanian Journal of Information Science and Technology},
  number = {1-2},
  pages = {211--234},
  title = {Distributed Splicing of RE with 6 Test Tubes},
  volume = {4},
  year = {2001},
}