Skip to content

Utilizing Automata4j

pavl_g edited this page Aug 14, 2023 · 19 revisions

This page describes the use of Automata4j to implement both forms of Finite-State-Automata, the Non-deterministic, and Deterministic patterns.

This tutorial discusses the following:

  • The non-deterministic pattern (NDFSA).
  • The deterministic pattern (DFSA).
  • Injecting an NDFSA path into the DFSA pattern.
  1. The non-deterministic pattern (NDFSA): Recall,
  1. The deterministic pattern (DFSA):

  2. Injecting an NDFSA path into the DFSA pattern:

Clone this wiki locally