| |
libFAUDES
Sections
Types
Functions
|
Misc Functions on GeneratorsEmptyLanguageSet generator to mark empty language.
Detailed description: Returns a generator G with the specified alphabet Sigma, one initial state and no no transitions; i.e., we have Lm(G) = 0, and L(G) = {epsilon}. Parameter Conditions: The empty language generator is deterministic. IsEmptyLanguageTest Generator G for empty marked language Lm(G).
Parameter Conditions: The argument may be non-deterministic. AutomatonConvert generator to formal automaton.
Detailed description: Converts the given generator G to a formal automaton that generates the same marked language Lm(G) while accepting any input string, i.e. L(G) = Sigma*. This is achieved by introducing a dump state to represent Sigma*-Closure(Lm(G)). Example:
Parameter Conditions: The argument must be deterministic, and so will be the result. 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 GArg) Detailed description:
A language L is prefix-closed
if for each string s ∈ L all prefixes r<s
are also element of L:
This function computes a realisation of the prefix-closure of Lm(GArg) by first erasing all states that are not co-accessible and then marking the remaining states. Example:
|
libFAUDES 2.14g --- 2009-12-3 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"