Stream X-Machine
id:
stream-x-machine-319-3716668
title:
Stream X-Machine
text:
The Stream X-machine (SXM) 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 label
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Stream_X-Machine
date created:
date modified:
2021-07-24T15:29:00Z
main entity:
{"identifier":"Q7622659","url":"https://www.wikidata.org/entity/Q7622659"}
image:
fields total:
13
integrity:
13