STOP

Specifications

Informal

XDI

Specification in XDI model:

(AND/IF_1.0
  (NFA
    (NAME STOP)
    (INTERPRETATION Verhoeff/XDI)
    (SYMBOLS 
      (a0 INPUT)
      (a1 OUTPUT)
    )
    (STATES
      (0 INITIAL BOX)
      (1 BOX)
    )
    (TRANSITIONS
      (0 1 a0)
    )
  )
)

Verdect

No information available

DI Algebra

Specification in DI Algebra:

NAME = "STOP"
I    = { a0?  }
O    = { a1! }
STOP = []

Properties

In DI Algebra the following property holds for a process with a in its input alphabet:

a?;a?;P = a?;[] = []

Implementations

Generalizations

No information available

Miscellaneous

References

Last modified at Fri Nov 20 10:11:41 1998