DESUMA2 Functions

From DESUMA Wiki
DESUMA2 Functions
Jump to: navigation, search
Line 10: Line 10:
  
 
The function requires one input automaton.
 
The function requires one input automaton.
 +
 +
Use:
 +
:-Open '''Manipulation''' under the '''Umdes''' drop-down menu.
 +
:-Select '''Accessibility'''.
 +
:-Check the automaton desired.
 +
:-Click submit.
  
 
=== Co-Accessibility ===  
 
=== Co-Accessibility ===  
Line 16: Line 22:
  
 
This function requires one input automaton.
 
This function requires one input automaton.
 +
 +
Use:
 +
:-Open '''Manipulation''' under the '''Umdes''' drop-down menu.
 +
:-Select '''Co-Accessibility'''.
 +
:-Check the automaton desired.
 +
:-Click submit.
  
 
=== Complement FSM ===
 
=== Complement FSM ===
Line 22: Line 34:
  
 
This function requires one input automaton.
 
This function requires one input automaton.
 +
 +
Use:
 +
:-Open '''Manipulation''' under the '''Umdes''' drop-down menu.
 +
:-Select '''Complement FSM'''
 +
:-Check the automaton desired.
 +
:-Click submit.
  
 
=== Concatenation ===
 
=== Concatenation ===
Line 28: Line 46:
  
 
Requires two input automata.
 
Requires two input automata.
 +
 +
Use:
 +
:-Open '''Manipulation''' under the '''Umdes''' drop-down menu.
 +
:-Select '''Concatenation'''.
 +
:-Select the two automata desired.
 +
:-Click submit.
  
 
=== Conflict ===  
 
=== Conflict ===  
Line 34: Line 58:
  
 
Requires two input automata.
 
Requires two input automata.
 +
 +
Use:
 +
:-Open '''Manipulation''' under the '''Umdes''' drop-down menu.
 +
:-Select '''Conflict'''.
 +
:-Check the two automata desired.
 +
:-Click submit.

Revision as of 16:56, August 1, 2013

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

For a full list of all UMDES functions and how to use them, visit the UMDES Commands page.

Contents

Manipulation

Accessibility

Removes any inaccessible states from input automaton.

The function requires one input automaton.

Use:

-Open Manipulation under the Umdes drop-down menu.
-Select Accessibility.
-Check the automaton desired.
-Click submit.

Co-Accessibility

Returns co-accessible part of input automaton.

This function requires one input automaton.

Use:

-Open Manipulation under the Umdes drop-down menu.
-Select Co-Accessibility.
-Check the automaton desired.
-Click submit.

Complement FSM

Returns the complement of the input automaton.

This function requires one input automaton.

Use:

-Open Manipulation under the Umdes drop-down menu.
-Select Complement FSM
-Check the automaton desired.
-Click submit.

Concatenation

Returns the concatenation of two input automata.

Requires two input automata.

Use:

-Open Manipulation under the Umdes drop-down menu.
-Select Concatenation.
-Select the two automata desired.
-Click submit.

Conflict

Tests for non-conflicting languages of two automata.

Requires two input automata.

Use:

-Open Manipulation under the Umdes drop-down menu.
-Select Conflict.
-Check the two automata desired.
-Click submit.
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools