Regular Inclusion Automaton Checker

Upload two automaton files for inclusion checking. Supported formats are .dot and .vtf, .dot files can be generated randomly. The server needs some time to process the request, refresh the page for results.

More benchmarks can be found here.


Checker
Args
A
B