Title :
Implementation of Turing Machines with the Scufl Data-Flow Language
Author :
Glatard, Tristan ; Montagnat, Johan
Author_Institution :
I3S Lab., CNRS / UNSA, Sophia Antipolis
Abstract :
In this paper, the expressiveness of the simple Scufl data-flow language is studied by showing how it can be used to implement Turing machines. To do that, several non trivial Scufl patterns such as self-looping or sub-workflows are required and we precisely explicit them. The main result of this work is to show how a complex workflow can be implemented using a very simple data-flow language. Beyond that, it shows that Scufl is a Turing complete language, given some restrictions that we discuss.
Keywords :
Turing machines; parallel languages; Scufl data-flow language; Turing machines; complex workflow; data-flow language; Bioinformatics; Fires; Grid computing; High performance computing; Laboratories; Logic; Pipelines; Project management; Turing machines; XML; Scientific workflow; Scufl language; Turing machines;
Conference_Titel :
Cluster Computing and the Grid, 2008. CCGRID '08. 8th IEEE International Symposium on
Conference_Location :
Lyon
Print_ISBN :
978-0-7695-3156-4
Electronic_ISBN :
978-0-7695-3156-4
DOI :
10.1109/CCGRID.2008.52
