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 © 2018. All rights reserved.