Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Class and Description |
---|
AcceptorTS
A transition system whose semantics are defined by whether a state is "accepting"
or not.
|
DeterministicAcceptorTS
A deterministic acceptor transition system.
|
Copyright © 2015. All rights reserved.