Please note that the content of this book primarily consists of
articles available from Wikipedia or other free sources online. The
Stream X-machine is a model of computation introduced by Gilbert
Laycock in his 1993 PhD thesis, The Theory and Practice of
Specification Based Software Testing. Based on Samuel Eilenberg's
X-machine, an extended finite state machine for processing data of
the type X, the Stream X-Machine is a kind of X-machine for
processing a memory data type Mem with associated input and output
streams In* and Out*, that is, where X = Out* Mem In*. The
transitions of a Stream X-Machine are labelled by functions of the
form: Mem In Out Mem, that is, which compute an output value and
update the memory, from the current memory and an input value.
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!