Interface | Description |
---|---|
AcceptorTS<S,I> |
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS<S,I> |
A deterministic acceptor transition system.
|
Copyright © 2015. All Rights Reserved.