diff -r 3e5f5d19f514 -r 5385c8342f02 data.sty --- a/data.sty Sun Oct 11 09:10:08 2020 +0100 +++ b/data.sty Tue Oct 13 14:29:10 2020 +0100 @@ -353,7 +353,74 @@ 6500001 39.90294 7000001 53.50961 \end{filecontents} - + +% example a?{n} a{n} +\begin{filecontents}{nfabreadth.data} +1 0.00744 +2 0.02007 +3 0.07366 +4 0.13740 +5 0.21123 +6 0.42507 +7 0.70248 +8 1.54966 +9 2.88386 +10 5.01238 +11 9.87160 +12 19.25107 +13 38.60304 +\end{filecontents} + +% example (a*)* b +\begin{filecontents}{nfabreadth2.data} +1 0.01049 +6 0.05657 +11 0.08678 +16 0.13492 +21 0.25846 +26 0.28099 +31 0.35256 +36 0.35518 +41 0.36102 +46 0.42248 +51 0.54021 +56 0.64374 +61 0.61032 +66 0.65779 +71 0.79430 +76 0.79791 +81 0.79772 +86 0.85896 +91 1.00160 +96 1.11727 +\end{filecontents} + +% example a?{n} a{n} +\begin{filecontents}{nfadepth.data} +1 0.00047 +2 0.00485 +3 0.02597 +4 0.02026 +5 0.88002 +6 1.85384 +7 24.01612 +8 15.13296 +9 479.93808 +\end{filecontents} + +% example (a*)* b +\begin{filecontents}{nfadepth2.data} +1 0.00905 +2 0.04748 +3 0.17583 +4 1.00126 +5 3.19777 +6 13.37317 +7 55.52482 +\end{filecontents} + + + \begin{filecontents}{nfa.data} 0 0.00099 5 0.01304