Next:
Introduction
Up:
DessISC
Autowrite: User's Guide
(Still being written)
Irène Durand
Date:
1 February 2005
idurand@labri.fr
Introduction
Installation
Specification Files
Comments
Names
Symbols and signature
Variables
Terms
Trss
Automata
Termsets
Using Autowrite
Generalities
File Menu
Trs Menu
Left-linearity
Overlappingness
Orthogonality
Normal and external normal forms
Forward-branching
Approx Trs Menu
Changing the current approximation
Membership to CBN
Preservation of the set of normalizable terms
Arbitraryness
Term Menu
Redex positions
Needed redex positions
Normalizability
Recognizability
Termset
Accessibility
Termset automaton
Reduction and Needed Reduction
Classical reduction
Needed reduction
TRS Automata
Automata
Automaton
How to exit if Autowrite crashes
Example of a session
Snapshots of a session
Bibliography
About this document ...
Irene DURAND
2005-02-01
