DESUMA2 Functions

From DESUMA Wiki
DESUMA2 Functions
Jump to: navigation, search
Line 1: Line 1:
 
This tutorial page for DESUMA and UMDES focuses on the use of the UMDES operations on automata.
 
This tutorial page for DESUMA and UMDES focuses on the use of the UMDES operations on automata.
  
== to be completed ==
+
== Manipulation ==
 +
 
 +
=== Accessibility ===
 +
 
 +
Removes any inaccessible states from input automaton.
 +
 
 +
The function requires one input automaton.
 +
 
 +
=== Co-Accessibility ===
 +
 
 +
Returns co-accessible part of input automaton.
 +
 
 +
This function requires one input automaton.
 +
 
 +
=== Complement FSM ===
 +
 
 +
Returns the complement of the input automaton.
 +
 
 +
This function requires one input automaton.
 +
 
 +
=== Concatenation ===
 +
 
 +
Returns the concatenation of two input automata.
 +
 
 +
Requires two input automata.
 +
 
 +
=== Conflict ===
 +
 
 +
Tests for non-conflicting languages of two automata.
 +
 
 +
Requires two input automata.

Revision as of 20:06, July 25, 2013

This tutorial page for DESUMA and UMDES focuses on the use of the UMDES operations on automata.

Contents

Manipulation

Accessibility

Removes any inaccessible states from input automaton.

The function requires one input automaton.

Co-Accessibility

Returns co-accessible part of input automaton.

This function requires one input automaton.

Complement FSM

Returns the complement of the input automaton.

This function requires one input automaton.

Concatenation

Returns the concatenation of two input automata.

Requires two input automata.

Conflict

Tests for non-conflicting languages of two automata.

Requires two input automata.

Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools