| |
libFAUDES
PlugIns
Types
Functions
|
Functions related to Regular ExpressionsRegular expressions extend the boolean algebra on languages by the Kleene-closure and language concatenation operation. Additionally, functions for the generating elements are provided, i.e. full- and alphabet language. LanguageConcatenateConcatenates two languages.
Detailed description: With the languages Lm1 and Lm2 marked by the specified generators, respectively, the result marks the concatenation LmRes = Lm1 Lm2. The generated closed languages are ignored.
Parameter Conditions: Arguments may be non-deterministic. The result, however, is converted to a deterministic generator. The C++ API provides an alternative function without the conversion step. KleeneClosureCompute Kleene closure for given language.
Signature:
KleeneClosure(+InOut+ Generator LmArg) Detailed description: This function computes the Kleene-closure ( ()* - operator) of the specified marked language. The generated language is not considered. Parameter Conditions: The argument may be non-deterministic. The core implementation may lead to a non-determinkistic result event for deterministic arguments. The wrapper function hence converts to a guarantee for a deterministic result. FullLanguageGenerator with Lm(G)=Sigma*.
Detailed description: For a given alphabet Sigma, construct a generator generating and marking the so called full language Sigma*, i.e. Lm(G)=L(G)=Sigma*. |
libFAUDES 2.13a run-time interface with "example observer hiosys multitasking timed simulator luabindings"