ChengsongTanPhdThesis/regex2_size_change.data
author Chengsong
Mon, 10 Jul 2023 01:51:46 +0100
changeset 661 71502e4d8691
parent 611 bc1df466150a
permissions -rw-r--r--
overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"

0       24
1       29
2       29
3       29
4       29
5       29
6       29
7       29
8       29
9       29
10      29
11      29
12      29
13      29
14      29
15      29
16      29
17      29
18      29
19      29
20      29
21      29
22      29
23      29
24      29
25      29