LTSA V2.0 - User manual


It is the hope of the designers of LTSA that this manual should be largely unnecessary. In most cases, the user simply has to enter a specification in the FSP window and invoke one of the analysis functions from either the Check menu or directly from the toolbar. LTSA will perform the necessary parsing, compilation and LTS composition.

Contents

LTSA Window

Edit Pane

Output Pane

Draw Pane

Alphabet Pane

Transitions Pane

File Menu

Edit Menu

Check Menu

Build Menu

Window Menu

Options Menu