RE2NDEA Files

Regular Expressions into Non-Deterministic Automata

Brought to you by: kleindevel

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size
re2ndea.exe	2015-06-10	32.2 kB
re2ndea.pdf	2015-06-10	231.7 kB
Totals: 2 Items		263.9 kB

Other Useful Business Software

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free

$300 Free Credits to Build on Google Cloud

New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.

Claim $300 Free

$300 Free Credits to Build on Google Cloud

New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.

Claim $300 Free

Recommended Projects

Golly
For exploring cellular automata like Conway's Game of Life.
GenReg
Generation of regular graphs
Triple-A
Triple-A (Automatic Analysis with Automata) is a full-featured library for (finite) automata written in Java with two powerful analysis tools (dealing with LTL model checking and Presburger arithmetics) and a graphical user interface built around it.
Cyber
Semantic non-deterministic Superintelligence consensus computer
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA

RE2NDEA Files

Regular Expressions into Non-Deterministic Automata

Get an email when there's a new version of RE2NDEA