equal
deleted
inserted
replaced
|
1 \BOOKMARK [1][-]{section.1}{Preliminary definitions}{} |
|
2 \BOOKMARK [1][-]{section.2}{Direction finite partition \040regular language}{} |
|
3 \BOOKMARK [2][-]{subsection.2.1}{Proof for this direction}{section.2} |
|
4 \BOOKMARK [1][-]{section.3}{Direction: regular language finite partition}{} |
|
5 \BOOKMARK [2][-]{subsection.3.1}{The scheme for this direction}{section.3} |
|
6 \BOOKMARK [2][-]{subsection.3.2}{A small theory for list difference}{section.3} |
|
7 \BOOKMARK [2][-]{subsection.3.3}{Lemmas for basic cases}{section.3} |
|
8 \BOOKMARK [2][-]{subsection.3.4}{The case for SEQ}{section.3} |
|
9 \BOOKMARK [2][-]{subsection.3.5}{The case for ALT}{section.3} |
|
10 \BOOKMARK [2][-]{subsection.3.6}{The case for STAR}{section.3} |
|
11 \BOOKMARK [2][-]{subsection.3.7}{The main lemma}{section.3} |