| |
libFAUDES
PlugIns
Types
Functions
|
Misc Functions on GeneratorsEmptyLanguageTest or set Generator to empty language.
Signature:
EmptyLanguage(+In+ EventSet Sigma, +Out+ Generator LRes) Detailed description: Depending on the signature, this function tests for a generator to mark the empty language or constructs a generator that marks and generates the empty language. Detailed description: Testing for empty language, the argument may be non-deterministic. When generating an the empty language generator, we have L(G)=Lm(G)=0 at the cost of a formally non-determinitc generator G.AutomatonConvert generator to formal automaton.
Detailed description: Converts the given generator G to a formal automaton that generates the same maked language Lm(G) while accepting any input string. This is achieved by introducing a dump state to represent Sigma* - PreficClosure(Lm(G)). Parameter Conditions: The provided generator is assumed to be deterministic. The resulting generator is guaranteed to be deterministic. PrefixClosureCompute prefix closure for given language.
Signature:
PrefixClosure(+InOut+ Generator LArg) Detailed description: This function computes the prefix closure the language Lm(G) marked by the specified generator G. A language Lm is prefix closed if each string of Lm implies that all its prefixes are also element of Lm. The prefix closure of a language marked by a generator is always a subset of the generated language and is represented by the set of coaccessible states of the generator. The implementation first, erases all states that are not coaccessible and then marks all remaining states. SelfLoopSelf loop with specified alphabet.
Detailed description: This function selfoops all states of the provide generator G with the events from the alphabet Sigma: for each state q of G and each event alpha of Sigma, a transition (q,alpha,q) is inserted, irrespective of whether this event was already active in q before. Parameter Conditions: The provided generator may be non-deterministic. When a deterministic generator is provided, the result can still become non-determinstic in the case that Sigme shares events with the original alphabet. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"