Automata (Averest)

Automata Module

Namespace: TeachingTools
Assembly: TeachingToolsLib.dll

This module implements functions for working with automata, in particular, determinizing them by the subset and the breakpoint constructions, as well as converting omega-automata to other acceptance conditions. Automata are represented in either a fully explicit enumeration of their states and transitions, a fully symbolic representation, or a semi-symbolic one.

Functions and values

Function or value	Description
`AutoExpl2Kripke auto` Full Usage: `AutoExpl2Kripke auto` Parameters: auto : `AutomatonExpl<'input, 'output, 'state>` Returns: `KripkeStructureExpl`	convert Automaton to a corresponding Kripke structure auto : `AutomatonExpl<'input, 'output, 'state>` Returns: `KripkeStructureExpl`
`AutomataTool qscoll` Full Usage: `AutomataTool qscoll` Parameters: qscoll : `NameValueCollection`	This is the cgi-function for the automaton constructions. qscoll : `NameValueCollection`
`SymbolicAutomataTool qscoll` Full Usage: `SymbolicAutomataTool qscoll` Parameters: qscoll : `NameValueCollection`	This is the cgi-function for converting symbolic automata to explicitly defined ones qscoll : `NameValueCollection`