| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| Xsupport | 8216 | 20-Oct-2022 06:04 |
| da_accept.test | 2420 | 20-Oct-2022 06:04 |
| da_cons.test | 4803 | 20-Oct-2022 06:04 |
| de_cons.test | 5249 | 20-Oct-2022 06:04 |
| de_exec.test | 3475 | 20-Oct-2022 06:04 |
| fa_cons.test | 2419 | 20-Oct-2022 06:04 |
| fa_ec.test | 2022 | 20-Oct-2022 06:04 |
| fa_final.test | 8371 | 20-Oct-2022 06:04 |
| fa_is.test | 1618 | 20-Oct-2022 06:04 |
| fa_is_complete.test | 1263 | 20-Oct-2022 06:04 |
| fa_is_deterministic.test | 3186 | 20-Oct-2022 06:04 |
| fa_is_epsfree.test | 1276 | 20-Oct-2022 06:04 |
| fa_is_useful.test | 16K | 20-Oct-2022 06:04 |
| fa_next.test | 8064 | 20-Oct-2022 06:04 |
| fa_reach.test | 10K | 20-Oct-2022 06:04 |
| fa_serial.test | 5319 | 20-Oct-2022 06:04 |
| fa_start.test | 8152 | 20-Oct-2022 06:04 |
| fa_state.test | 6758 | 20-Oct-2022 06:04 |
| fa_states.test | 1702 | 20-Oct-2022 06:04 |
| fa_symbol.test | 5882 | 20-Oct-2022 06:04 |
| fa_symbols.test | 1943 | 20-Oct-2022 06:04 |
| fa_symbols_at.test | 3644 | 20-Oct-2022 06:04 |
| fa_useful.test | 9991 | 20-Oct-2022 06:04 |
| faop_complete.test | 3729 | 20-Oct-2022 06:04 |
| faop_concat.test | 3058 | 20-Oct-2022 06:04 |
| faop_determinize.test | 3479 | 20-Oct-2022 06:04 |
| faop_difference.test | 3018 | 20-Oct-2022 06:04 |
| faop_intersect.test | 2981 | 20-Oct-2022 06:04 |
| faop_kleene.test | 2895 | 20-Oct-2022 06:04 |
| faop_minimize.test | 3407 | 20-Oct-2022 06:04 |
| faop_optional.test | 2889 | 20-Oct-2022 06:04 |
| faop_regex.test | 7752 | 20-Oct-2022 06:04 |
| faop_remeps.test | 4637 | 20-Oct-2022 06:04 |
| faop_reverse.test | 3013 | 20-Oct-2022 06:04 |
| faop_trim.test | 4722 | 20-Oct-2022 06:04 |
| faop_union.test | 2929 | 20-Oct-2022 06:04 |