LATPub200: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
Zeile 12: | Zeile 12: | ||
|Note= | |Note= | ||
|Number=1-2 | |Number=1-2 | ||
|Pages=211 | |Pages=211-234 | ||
|Publisher= | |Publisher= | ||
|Volume=4 | |Volume=4 |
Version vom 20. März 2015, 16:28 Uhr
Distributed Splicing of RE with 6 Test Tubes
M. SturmM. Sturm, T. HinzeT. Hinze
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
Distributed Splicing of RE with 6 Test Tubes
Romanian Journal of Information Science and Technology, 4(1-2):211-234, 2001
- KurzfassungAbstract
This paper introduces a functional approach to distributedsplicing 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},
}