TAJA - Documentation

Index Properties

This thumb index allows to know if the automaton is complete, reduced and determinist. It also allows to complete, to reduce and determinise the automaton.
Back to Table of Contents