55 \def\mkeps{\textit{mkeps}} |
55 \def\mkeps{\textit{mkeps}} |
56 \newcommand{\rder}[2]{#2 \backslash_r #1} |
56 \newcommand{\rder}[2]{#2 \backslash_r #1} |
57 |
57 |
58 \def\nonnested{\textit{nonnested}} |
58 \def\nonnested{\textit{nonnested}} |
59 \def\AZERO{\textit{AZERO}} |
59 \def\AZERO{\textit{AZERO}} |
|
60 \def\sizeNregex{\textit{sizeNregex}} |
60 \def\AONE{\textit{AONE}} |
61 \def\AONE{\textit{AONE}} |
61 \def\ACHAR{\textit{ACHAR}} |
62 \def\ACHAR{\textit{ACHAR}} |
62 |
63 |
63 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}} |
64 \def\scfrewrites{\stackrel{*}{\rightsquigarrow_{scf}}} |
64 \def\frewrite{\rightsquigarrow_f} |
65 \def\frewrite{\rightsquigarrow_f} |
97 \def\distinctWith{\textit{distinctWith}} |
98 \def\distinctWith{\textit{distinctWith}} |
98 \def\lf{\textit{lf}} |
99 \def\lf{\textit{lf}} |
99 \def\PD{\textit{PD}} |
100 \def\PD{\textit{PD}} |
100 \def\suffix{\textit{Suffix}} |
101 \def\suffix{\textit{Suffix}} |
101 \def\distinctBy{\textit{distinctBy}} |
102 \def\distinctBy{\textit{distinctBy}} |
|
103 \def\starupdate{\textit{starUpdate}} |
|
104 \def\starupdates{\textit{starUpdates}} |
|
105 |
102 |
106 |
103 \def\size{\mathit{size}} |
107 \def\size{\mathit{size}} |
104 \def\rexp{\mathbf{rexp}} |
108 \def\rexp{\mathbf{rexp}} |
105 \def\simp{\mathit{simp}} |
109 \def\simp{\mathit{simp}} |
106 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}} |
110 \def\simpALTs{\mathit{simp}\_\mathit{ALTs}} |
107 \def\map{\mathit{map}} |
111 \def\map{\mathit{map}} |
108 \def\distinct{\mathit{distinct}} |
112 \def\distinct{\mathit{distinct}} |
109 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
113 \def\blexersimp{\mathit{blexer}\_\mathit{simp}} |
110 \def\map{\textit{map}} |
114 \def\map{\textit{map}} |
111 %\def\vsuf{\textit{vsuf}} |
|
112 %\def\sflataux{\textit{sflat}\_\textit{aux}} |
|
113 \def\rrexp{\textit{rrexp}} |
115 \def\rrexp{\textit{rrexp}} |
114 \newcommand\rnullable[1]{\textit{rnullable} \; #1 } |
116 \newcommand\rnullable[1]{\textit{rnullable} \; #1 } |
115 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
117 \newcommand\rsize[1]{\llbracket #1 \rrbracket_r} |
116 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
118 \newcommand\asize[1]{\llbracket #1 \rrbracket} |
117 \newcommand\rerase[1]{ (#1)_{\downarrow_r}} |
119 \newcommand\rerase[1]{ (#1)_{\downarrow_r}} |
130 |
132 |
131 \def\RZERO{\mathbf{0}_r } |
133 \def\RZERO{\mathbf{0}_r } |
132 \def\RONE{\mathbf{1}_r} |
134 \def\RONE{\mathbf{1}_r} |
133 \newcommand\RCHAR[1]{\mathbf{#1}_r} |
135 \newcommand\RCHAR[1]{\mathbf{#1}_r} |
134 \newcommand\RSEQ[2]{#1 \cdot #2} |
136 \newcommand\RSEQ[2]{#1 \cdot #2} |
135 \newcommand\RALTS[1]{\oplus #1} |
137 \newcommand\RALTS[1]{\sum #1} |
136 \newcommand\RSTAR[1]{#1^*} |
138 \newcommand\RSTAR[1]{#1^*} |
137 \newcommand\vsuf[2]{\textit{vsuf} \;#1\;#2} |
139 \newcommand\vsuf[2]{\textit{Suffix} \;#1\;#2} |
138 |
140 |
139 |
141 |
140 |
142 |
141 \pgfplotsset{ |
143 \pgfplotsset{ |
142 myplotstyle/.style={ |
144 myplotstyle/.style={ |