EDIS: Guide | FAQ | New | Search | Bibliography | Index | Feedback

Empty

Specifications

Informal

Empty is, in the XDI-model one of the three possible systems that donnot have any terminals. Empty has just one state, that is labeled indifferent. The other two systems without any terminals are Miracle and Chaos.

XDI

Schematic diagram for Empty:
Not applicable.
XDI state graph for Empty:
Not available.

Verdect

Specification in Verdect:


<l 0, 0, 0 , 0, epsilon >
Also available through this link

DI Algebra

Specification in DI Algebra:


NAME = EMPTY
I = {  }  O = { }
S0 = [ ]
Also available through this link

Properties

XDI Report.

Implementations

DI Decompositions

No information available

Using Boolean Gates

No information available

Using Transistors

No information available

Generalizations

No information available.

Miscellaneous

No information available.

References


Last modified at Fri Nov 20 10:11:39 1998
Encyclopaedia of Delay-Insensitive Systems
Copyright © 1995-1998 Tom Verhoeff / Tom.Verhoeff@acm.org