#

brzozowski

Here are 2 public repositories matching this topic...

smolkaj / kat

Kleene Algebra with Tests (KAT) and Brzozowski automata

automata kat brzozowski-derivatives brzozowski kleene-algebra kleene-algebra-with-tests

Updated Jun 21, 2019
OCaml

zeroknowledgediscovery / aut2regex_

Generate regular expression from automata using Brzozowski algebraic method

automata regular-expression brzozowski algebraic-method arden-rule

Updated Jul 7, 2017
C++

Improve this page

Add a description, image, and links to the brzozowski topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the brzozowski topic, visit your repo's landing page and select "manage topics."