Class GraphvizExporter

java.lang.Object
org.eu.autogex.export.GraphvizExporter
public class GraphvizExporter extends Object
Utility class for exporting automata to the Graphviz DOT language format. This allows for easy visual representation of DFA, NFA, and ENFA models.

  • Method Details

    • toDot

      public static String toDot(DFA dfa)
      Exports a DFA to a DOT format string.
      Parameters:
      dfa - The Deterministic Finite Automaton.
      Returns:
      The DOT language representation.

    • toDot

      public static String toDot(NFA nfa)
      Exports an NFA to a DOT format string.
      Parameters:
      nfa - The Non-Deterministic Finite Automaton.
      Returns:
      The DOT language representation.

    • toDot

      public static String toDot(ENFA enfa)
      Exports an ENFA to a DOT format string. Epsilon transitions (null keys) are represented with the 'ε' symbol.
      Parameters:
      enfa - The Epsilon-NFA.
      Returns:
      The DOT language representation.