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 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Monika | ||
|ErsterAutorNachname=Sturm | |ErsterAutorNachname=Sturm | ||
|FurtherAuthors= | |FurtherAuthors=Thomas Hinze | ||
}} | }} | ||
{{Article | {{Article | ||
| Zeile 18: | Zeile 18: | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Abstract=This paper introduces a functional approach to distributed | |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. | ||
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. | |||
|ISBN= | |ISBN= | ||
|ISSN= | |ISSN= | ||
| Zeile 46: | Zeile 36: | ||
year = {2001}, | year = {2001}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:24 Uhr
Distributed Splicing of RE with 6 Test Tubes
Monika SturmMonika Sturm, Thomas HinzeThomas Hinze
Monika Sturm, Thomas 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 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},
}
