2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID)
Implementation of Turing Machines with the Scufl Data-Flow Language
May 19-May 22
ISBN: 978-0-7695-3156-4
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.
Index Terms:
Scientific workflow, Scufl language, Turing machines
Citation:
Tristan Glatard, Johan Montagnat, "Implementation of Turing Machines with the Scufl Data-Flow Language," ccgrid, pp.663-668, 2008 Eighth IEEE International Symposium on Cluster Computing and the Grid (CCGRID), 2008