LATPub200: Unterschied zwischen den Versionen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
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--234
|Pages=211-234
|Publisher=
|Publisher=
|Volume=4
|Volume=4

Version vom 20. März 2015, 16:28 Uhr

Toggle side column

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
  • 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},
}