erdos / erdos/dfa

composite automata

Open
#1 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Java
Stars
1
Forks
1
PR merge metrics
No merged PRs in 30d

Description

The problem with concatenating automata is that the states in the right-side automata may need to be duplicated. It leads to an exponential explosion when merging multiple automata.

We can do this concatenation in a lazy manner. So instead of building new automata instances, we can have a tree-like data structure.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.