https://github.com/pschichtel/automata

A library that implements formal finite state automata.
https://github.com/pschichtel/automata

dfa dfa-construction dfa-minimization dfa-minimizer dfa-regex fsm fsm-library nfa-implementation nfa2dfa

Last synced: 7 months ago
JSON representation

A library that implements formal finite state automata.

• Host: GitHub
• URL: https://github.com/pschichtel/automata
• Owner: pschichtel
• License: mit
• Created: 2019-04-02T22:39:48.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2024-12-09T00:02:12.000Z (10 months ago)
• Last Synced: 2025-01-24T09:41:32.242Z (9 months ago)
• Topics: dfa, dfa-construction, dfa-minimization, dfa-minimizer, dfa-regex, fsm, fsm-library, nfa-implementation, nfa2dfa
• Language: Java
• Homepage: https://schich.tel
• Size: 336 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Funding: .github/FUNDING.yml
  • License: LICENSE

Awesome Lists containing this project

README

          
Automata [![Maven Central](https://img.shields.io/maven-central/v/tel.schich/automata.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22tel.schich%22%20AND%20a:%22automata%22)

========

A library that implements formal finite state automata.

If you are looking for an efficient and feature complete linear-time regular expression engine, then this is not the project for you. [Google's re2](https://github.com/google/re2) will very likely do a better job at that.

However if you are trying to convert regular expressions into FSAs in order to proof certain properties of the regular expressions and are not too tight on performance requirements, this could be the project you are looking for.

What works?

-----------

- Converting simple ("formal") regular expressions into NFAs

- Converting Java's Patterns (most of the regular syntax is supported) into NFAs

- Converting NFAs into DFAs

- Various operations on DFAs and/or NFAs:

  - minimizing DFAs

  - completing DFAs

  - combining multiple automata into a one (e.g. intersection)

  - complements

- simple text matching

Possible future features

------------------------

- Transition events

- ???

Inspired by

-----------

[Prof. Dr. Karl Stroetmann](https://github.com/karlstroetmann)'s [Formal Languages Lecture](https://github.com/karlstroetmann/Formal-Languages)