Class MermaidExporter

java.lang.Object
org.eu.autogex.export.MermaidExporter
public class MermaidExporter extends Object
Utility class for exporting automata to the Mermaid.js stateDiagram-v2 format. This enables native visual rendering within GitHub Markdown and other compatible platforms.

  • Method Details

    • toMermaid

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

    • toMermaid

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

    • toMermaid

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