Class MinAutomaton

java.lang.Object
  MinAutomaton

public class MinAutomaton

extends java.lang.Object

This class implements a command computing the minimal automaton of a set of words given in a text file using one of several possible minimization algorithms. The minimization algorithms are contained in the classes implementing the Minimizer interface. Usage: MinAutomaton method file (option The method can be

• N (naive method using NMinimizer)
• Nbis (a variant of the previous using NbisMinimizer)
• H (Hopcroft's algorithm using HopcroftMinimizer)
• R (Revuz algorithm using RMinimizer to be used only with acyclic automata represented as IDFA.

The option can be v (verbose mode).

Constructor Summary

MinAutomaton()

Method Summary

static void

main(java.lang.String[] args)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MinAutomaton

public MinAutomaton()

Method Detail

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Throws:

java.lang.Exception