1844 \pgfarrowlength=\dimen312 |
1844 \pgfarrowlength=\dimen312 |
1845 \pgfarrowwidth=\dimen313 |
1845 \pgfarrowwidth=\dimen313 |
1846 \pgfarrowlinewidth=\dimen314 |
1846 \pgfarrowlinewidth=\dimen314 |
1847 ))) |
1847 ))) |
1848 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie |
1848 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie |
|
1849 s/tikzlibraryautomata.code.tex |
|
1850 File: tikzlibraryautomata.code.tex 2008/07/14 v3.0.1a (rcs-revision 1.3) |
|
1851 |
|
1852 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie |
|
1853 s/tikzlibraryshapes.multipart.code.tex |
|
1854 File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v3.0.1a (rcs-revision 1.1 |
|
1855 ) |
|
1856 |
|
1857 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibrary |
|
1858 shapes.multipart.code.tex |
|
1859 File: pgflibraryshapes.multipart.code.tex 2010/01/07 v3.0.1a (rcs-revision 1.2) |
|
1860 |
|
1861 \pgfnodepartlowerbox=\box69 |
|
1862 \pgfnodeparttwobox=\box70 |
|
1863 \pgfnodepartthreebox=\box71 |
|
1864 \pgfnodepartfourbox=\box72 |
|
1865 \pgfnodeparttwentybox=\box73 |
|
1866 \pgfnodepartnineteenbox=\box74 |
|
1867 \pgfnodeparteighteenbox=\box75 |
|
1868 \pgfnodepartseventeenbox=\box76 |
|
1869 \pgfnodepartsixteenbox=\box77 |
|
1870 \pgfnodepartfifteenbox=\box78 |
|
1871 \pgfnodepartfourteenbox=\box79 |
|
1872 \pgfnodepartthirteenbox=\box80 |
|
1873 \pgfnodeparttwelvebox=\box81 |
|
1874 \pgfnodepartelevenbox=\box82 |
|
1875 \pgfnodeparttenbox=\box83 |
|
1876 \pgfnodepartninebox=\box84 |
|
1877 \pgfnodeparteightbox=\box85 |
|
1878 \pgfnodepartsevenbox=\box86 |
|
1879 \pgfnodepartsixbox=\box87 |
|
1880 \pgfnodepartfivebox=\box88 |
|
1881 ))) |
|
1882 (/usr/local/texlive/2018/texmf-dist/tex/generic/pgf/frontendlayer/tikz/librarie |
1849 s/tikzlibrarypositioning.code.tex |
1883 s/tikzlibrarypositioning.code.tex |
1850 File: tikzlibrarypositioning.code.tex 2008/10/06 v3.0.1a (rcs-revision 1.7) |
1884 File: tikzlibrarypositioning.code.tex 2008/10/06 v3.0.1a (rcs-revision 1.7) |
1851 ) |
1885 ) |
1852 Package hyperref Info: Option `bookmarksopen' set `true' on input line 102. |
1886 Package hyperref Info: Option `bookmarksopen' set `true' on input line 103. |
1853 Package hyperref Info: Option `hypertexnames' set `false' on input line 102. |
1887 Package hyperref Info: Option `hypertexnames' set `false' on input line 103. |
1854 Package hyperref Info: Option `colorlinks' set `true' on input line 102. |
1888 Package hyperref Info: Option `colorlinks' set `true' on input line 103. |
1855 Package hyperref Info: Option `unicode' set `true' on input line 102. |
1889 Package hyperref Info: Option `unicode' set `true' on input line 103. |
1856 |
1890 |
1857 (/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/puenc.def |
1891 (/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/puenc.def |
1858 File: puenc.def 2018/02/06 v6.86b Hyperref: PDF Unicode definition (HO) |
1892 File: puenc.def 2018/02/06 v6.86b Hyperref: PDF Unicode definition (HO) |
1859 Now handling font encoding PU ... |
1893 Now handling font encoding PU ... |
1860 ... no UTF-8 mapping file for font encoding PU |
1894 ... no UTF-8 mapping file for font encoding PU |
1861 ) |
1895 ) |
1862 Package hyperref Info: Option `breaklinks' set `true' on input line 102. |
1896 Package hyperref Info: Option `breaklinks' set `true' on input line 103. |
1863 Package biblatex Info: Trying to load language 'english'... |
1897 Package biblatex Info: Trying to load language 'english'... |
1864 Package biblatex Info: ... file 'english.lbx' found. |
1898 Package biblatex Info: ... file 'english.lbx' found. |
1865 |
1899 |
1866 (/usr/local/texlive/2018/texmf-dist/tex/latex/biblatex/lbx/english.lbx |
1900 (/usr/local/texlive/2018/texmf-dist/tex/latex/biblatex/lbx/english.lbx |
1867 File: english.lbx 2018/03/04 v3.11 biblatex localization (PK/MW) |
1901 File: english.lbx 2018/03/04 v3.11 biblatex localization (PK/MW) |
1875 LaTeX Warning: Label `ChapterX' multiply defined. |
1909 LaTeX Warning: Label `ChapterX' multiply defined. |
1876 |
1910 |
1877 ) (./Appendices/AppendixA.aux)) |
1911 ) (./Appendices/AppendixA.aux)) |
1878 \openout1 = `main.aux'. |
1912 \openout1 = `main.aux'. |
1879 |
1913 |
1880 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 102. |
1914 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 103. |
1881 LaTeX Font Info: ... okay on input line 102. |
1915 LaTeX Font Info: ... okay on input line 103. |
1882 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 102. |
1916 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 103. |
1883 LaTeX Font Info: ... okay on input line 102. |
1917 LaTeX Font Info: ... okay on input line 103. |
1884 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 102. |
1918 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 103. |
1885 LaTeX Font Info: ... okay on input line 102. |
1919 LaTeX Font Info: ... okay on input line 103. |
1886 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 102. |
1920 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 103. |
1887 LaTeX Font Info: ... okay on input line 102. |
1921 LaTeX Font Info: ... okay on input line 103. |
1888 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 102. |
1922 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 103. |
1889 LaTeX Font Info: ... okay on input line 102. |
1923 LaTeX Font Info: ... okay on input line 103. |
1890 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 102. |
1924 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 103. |
1891 LaTeX Font Info: ... okay on input line 102. |
1925 LaTeX Font Info: ... okay on input line 103. |
1892 LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 102. |
1926 LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 103. |
1893 LaTeX Font Info: ... okay on input line 102. |
1927 LaTeX Font Info: ... okay on input line 103. |
1894 LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 102. |
1928 LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 103. |
1895 LaTeX Font Info: ... okay on input line 102. |
1929 LaTeX Font Info: ... okay on input line 103. |
1896 LaTeX Font Info: Try loading font information for T1+ppl on input line 102. |
1930 LaTeX Font Info: Try loading font information for T1+ppl on input line 103. |
1897 |
1931 |
1898 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/t1ppl.fd |
1932 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/t1ppl.fd |
1899 File: t1ppl.fd 2001/06/04 font definitions for T1/ppl. |
1933 File: t1ppl.fd 2001/06/04 font definitions for T1/ppl. |
1900 ) |
1934 ) |
1901 Now handling font encoding TS1 ... |
1935 Now handling font encoding TS1 ... |
2048 * \@mparswitchtrue |
2082 * \@mparswitchtrue |
2049 * \@reversemarginfalse |
2083 * \@reversemarginfalse |
2050 * (1in=72.27pt=25.4mm, 1cm=28.453pt) |
2084 * (1in=72.27pt=25.4mm, 1cm=28.453pt) |
2051 |
2085 |
2052 Package scrlayer Info: Setting magic \footheight to \baselineskip while |
2086 Package scrlayer Info: Setting magic \footheight to \baselineskip while |
2053 (scrlayer) \begin{document} on input line 102. |
2087 (scrlayer) \begin{document} on input line 103. |
2054 Package scrbase Info: activating english \abbrevname on input line 102. |
2088 Package scrbase Info: activating english \abbrevname on input line 103. |
2055 Package scrbase Info: activating english \byname on input line 102. |
2089 Package scrbase Info: activating english \byname on input line 103. |
2056 Package scrbase Info: activating english \acknowledgementname on input line 102 |
2090 Package scrbase Info: activating english \acknowledgementname on input line 103 |
2057 . |
2091 . |
2058 Package scrbase Info: activating english \authorshipname on input line 102. |
2092 Package scrbase Info: activating english \authorshipname on input line 103. |
2059 Package scrbase Info: activating english \constantsname on input line 102. |
2093 Package scrbase Info: activating english \constantsname on input line 103. |
2060 Package scrbase Info: activating english \symbolsname on input line 102. |
2094 Package scrbase Info: activating english \symbolsname on input line 103. |
2061 \AtBeginShipoutBox=\box70 |
2095 \AtBeginShipoutBox=\box90 |
2062 Package hyperref Info: Link coloring ON on input line 102. |
2096 Package hyperref Info: Link coloring ON on input line 103. |
2063 (/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty |
2097 (/usr/local/texlive/2018/texmf-dist/tex/latex/hyperref/nameref.sty |
2064 Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section |
2098 Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section |
2065 |
2099 |
2066 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty |
2100 (/usr/local/texlive/2018/texmf-dist/tex/generic/oberdiek/gettitlestring.sty |
2067 Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) |
2101 Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) |
2068 ) |
2102 ) |
2069 \c@section@level=\count467 |
2103 \c@section@level=\count467 |
2070 ) |
2104 ) |
2071 LaTeX Info: Redefining \ref on input line 102. |
2105 LaTeX Info: Redefining \ref on input line 103. |
2072 LaTeX Info: Redefining \pageref on input line 102. |
2106 LaTeX Info: Redefining \pageref on input line 103. |
2073 LaTeX Info: Redefining \nameref on input line 102. |
2107 LaTeX Info: Redefining \nameref on input line 103. |
2074 |
2108 |
2075 (./main.out) (./main.out) |
2109 (./main.out) (./main.out) |
2076 \@outlinefile=\write6 |
2110 \@outlinefile=\write6 |
2077 \openout6 = `main.out'. |
2111 \openout6 = `main.out'. |
2078 |
2112 |
2091 Package biblatex Warning: BibTeX reported the following issues |
2125 Package biblatex Warning: BibTeX reported the following issues |
2092 (biblatex) with 'RibeiroAgda2017': |
2126 (biblatex) with 'RibeiroAgda2017': |
2093 (biblatex) - Can't use 'location' + 'address'. |
2127 (biblatex) - Can't use 'location' + 'address'. |
2094 |
2128 |
2095 ) |
2129 ) |
2096 Package biblatex Info: Reference section=0 on input line 102. |
2130 Package biblatex Info: Reference section=0 on input line 103. |
2097 Package biblatex Info: Reference segment=0 on input line 102. |
2131 Package biblatex Info: Reference segment=0 on input line 103. |
2098 ABD: EveryShipout initializing macros |
2132 ABD: EveryShipout initializing macros |
2099 |
2133 |
2100 Package pgfplots Warning: running in backwards compatibility mode (unsuitable t |
2134 Package pgfplots Warning: running in backwards compatibility mode (unsuitable t |
2101 ick labels; missing features). Consider writing \pgfplotsset{compat=1.16} into |
2135 ick labels; missing features). Consider writing \pgfplotsset{compat=1.16} into |
2102 your preamble. |
2136 your preamble. |
2103 on input line 102. |
2137 on input line 103. |
2104 |
2138 |
2105 LaTeX Font Info: Try loading font information for OT1+ppl on input line 102. |
2139 LaTeX Font Info: Try loading font information for OT1+ppl on input line 103. |
2106 |
2140 |
2107 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1ppl.fd |
2141 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1ppl.fd |
2108 File: ot1ppl.fd 2001/06/04 font definitions for OT1/ppl. |
2142 File: ot1ppl.fd 2001/06/04 font definitions for OT1/ppl. |
2109 ) |
2143 ) |
2110 LaTeX Font Info: Try loading font information for OML+zplm on input line 102 |
2144 LaTeX Font Info: Try loading font information for OML+zplm on input line 103 |
2111 . |
2145 . |
2112 |
2146 |
2113 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omlzplm.fd |
2147 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omlzplm.fd |
2114 File: omlzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OML/zplm. |
2148 File: omlzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OML/zplm. |
2115 ) |
2149 ) |
2116 LaTeX Font Info: Try loading font information for OMS+zplm on input line 102 |
2150 LaTeX Font Info: Try loading font information for OMS+zplm on input line 103 |
2117 . |
2151 . |
2118 |
2152 |
2119 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omszplm.fd |
2153 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omszplm.fd |
2120 File: omszplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMS/zplm. |
2154 File: omszplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMS/zplm. |
2121 ) |
2155 ) |
2122 LaTeX Font Info: Try loading font information for OMX+zplm on input line 102 |
2156 LaTeX Font Info: Try loading font information for OMX+zplm on input line 103 |
2123 . |
2157 . |
2124 |
2158 |
2125 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omxzplm.fd |
2159 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/omxzplm.fd |
2126 File: omxzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMX/zplm. |
2160 File: omxzplm.fd 2002/09/08 Fontinst v1.914 font definitions for OMX/zplm. |
2127 ) |
2161 ) |
2128 LaTeX Font Info: Try loading font information for OT1+zplm on input line 102 |
2162 LaTeX Font Info: Try loading font information for OT1+zplm on input line 103 |
2129 . |
2163 . |
2130 |
2164 |
2131 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1zplm.fd |
2165 (/usr/local/texlive/2018/texmf-dist/tex/latex/psnfss/ot1zplm.fd |
2132 File: ot1zplm.fd 2002/09/08 Fontinst v1.914 font definitions for OT1/zplm. |
2166 File: ot1zplm.fd 2002/09/08 Fontinst v1.914 font definitions for OT1/zplm. |
2133 ) |
2167 ) |
2134 1: section |
2168 1: section |
2135 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <20.74> not available |
2169 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <20.74> not available |
2136 (Font) Font shape `T1/ppl/b/n' tried instead on input line 120. |
2170 (Font) Font shape `T1/ppl/b/n' tried instead on input line 121. |
2137 [1 |
2171 [1 |
2138 |
2172 |
2139 |
2173 |
2140 |
2174 |
2141 {/usr/local/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] |
2175 {/usr/local/texlive/2018/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] |
2239 (./Chapters/Chapter1.tex |
2277 (./Chapters/Chapter1.tex |
2240 Chapter 1. |
2278 Chapter 1. |
2241 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <17.28> not available |
2279 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <17.28> not available |
2242 (Font) Font shape `T1/ppl/b/n' tried instead on input line 3. |
2280 (Font) Font shape `T1/ppl/b/n' tried instead on input line 3. |
2243 |
2281 |
2244 Overfull \hbox (5.82434pt too wide) in paragraph at lines 50--62 |
2282 Underfull \hbox (badness 10000) in paragraph at lines 48--70 |
2245 \T1/ppl/m/n/10.95 Regular ex-pres-sion match-ing and lex-ing has been widely-us |
2283 |
2246 ed and well-implemented |
|
2247 [] |
2284 [] |
2248 |
2285 |
|
2286 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <14.4> not available |
|
2287 (Font) Font shape `T1/ppl/b/n' tried instead on input line 71. |
2249 PGFPlots: reading {re-js.data} |
2288 PGFPlots: reading {re-js.data} |
2250 PGFPlots: reading {re-python2.data} |
2289 PGFPlots: reading {re-python2.data} |
2251 PGFPlots: reading {re-java.data} |
2290 PGFPlots: reading {re-java.data} |
2252 |
2291 |
2253 Overfull \hbox (6.56624pt too wide) in paragraph at lines 78--144 |
2292 Overfull \hbox (6.56624pt too wide) in paragraph at lines 109--175 |
2254 [] |
2293 [] |
2255 [] |
2294 [] |
2256 |
2295 |
2257 1: section |
2296 1: section |
2258 [1 |
2297 [1 |
2259 |
2298 |
2260 |
2299 |
2261 ] |
2300 ] [2] [3] |
2262 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <14.4> not available |
2301 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <12> not available |
2263 (Font) Font shape `T1/ppl/b/n' tried instead on input line 224. |
2302 (Font) Font shape `T1/ppl/b/n' tried instead on input line 355. |
2264 [2] |
2303 |
2265 |
2304 Overfull \hbox (2.81108pt too wide) in paragraph at lines 386--386 |
2266 LaTeX Warning: Citation 'Sulzmann2014' on page 3 undefined on input line 345. |
2305 []\T1/ppl/b/n/14.4 Preliminaries about Lex-ing Us-ing Br-zo-zowski deriva-tives |
2267 |
2306 |
2268 |
2307 [] |
2269 LaTeX Warning: Citation 'AusafDyckhoffUrban2016' on page 3 undefined on input l |
2308 |
2270 ine 355. |
2309 [4] [5] [6] |
2271 |
2310 |
2272 [3] |
2311 LaTeX Warning: Citation 'Sulzmann2014' on page 7 undefined on input line 610. |
2273 Overfull \hbox (9.67143pt too wide) in paragraph at lines 365--372 |
2312 |
|
2313 |
|
2314 Overfull \hbox (4.93819pt too wide) in paragraph at lines 605--613 |
|
2315 \T1/ppl/m/n/10.95 the world with-out sim-pli-fi-ca-tion first for a mo-ment. Su |
|
2316 lz-mann and Lu [] |
|
2317 [] |
|
2318 |
|
2319 [7] [8] |
|
2320 Overfull \hbox (0.91322pt too wide) in paragraph at lines 769--772 |
|
2321 []\T1/ppl/m/n/10.95 We have men-tioned be-fore that deriva-tives with-out sim-p |
|
2322 li-fi-ca-tion can get clumsy, |
|
2323 [] |
|
2324 |
|
2325 |
|
2326 LaTeX Warning: Citation 'AusafDyckhoffUrban2016' on page 9 undefined on input l |
|
2327 ine 783. |
|
2328 |
|
2329 [9] |
|
2330 |
|
2331 LaTeX Warning: Citation 'Sulzmann2014' on page 10 undefined on input line 876. |
|
2332 |
|
2333 [10] [11] [12] |
|
2334 |
|
2335 LaTeX Warning: Citation 'Sulzmann2014' on page 13 undefined on input line 1205. |
|
2336 |
|
2337 |
|
2338 |
|
2339 LaTeX Warning: Citation 'AusafDyckhoffUrban2016' on page 13 undefined on input |
|
2340 line 1215. |
|
2341 |
|
2342 [13] |
|
2343 Overfull \hbox (9.67143pt too wide) in paragraph at lines 1225--1232 |
2274 [] |
2344 [] |
2275 [] |
2345 [] |
2276 |
2346 |
2277 |
2347 |
2278 LaTeX Warning: Citation 'AusafDyckhoffUrban2016' on page 4 undefined on input l |
2348 LaTeX Warning: Citation 'AusafDyckhoffUrban2016' on page 14 undefined on input |
2279 ine 383. |
2349 line 1243. |
2280 |
2350 |
2281 |
2351 |
2282 LaTeX Warning: Citation 'Sulzmann2014' on page 4 undefined on input line 390. |
2352 LaTeX Warning: Citation 'Sulzmann2014' on page 14 undefined on input line 1250. |
2283 |
2353 |
2284 |
2354 |
2285 Overfull \hbox (38.38536pt too wide) in paragraph at lines 389--402 |
2355 |
|
2356 Overfull \hbox (38.38536pt too wide) in paragraph at lines 1249--1262 |
2286 []\T1/ppl/m/n/10.95 Sulzmann and Lu over-come this ``growth prob-lem'' in a sec |
2357 []\T1/ppl/m/n/10.95 Sulzmann and Lu over-come this ``growth prob-lem'' in a sec |
2287 -ond al-go-rithm [] |
2358 -ond al-go-rithm [] |
2288 [] |
2359 [] |
2289 |
2360 |
2290 |
2361 |
2291 LaTeX Warning: Citation 'Sulzmann2014' on page 4 undefined on input line 409. |
2362 LaTeX Warning: Citation 'Sulzmann2014' on page 14 undefined on input line 1269. |
2292 |
2363 |
2293 [4] |
2364 |
2294 LaTeX Font Info: Font shape `T1/ppl/bx/n' in size <12> not available |
2365 [14] |
2295 (Font) Font shape `T1/ppl/b/n' tried instead on input line 442. |
2366 Overfull \hbox (11.45154pt too wide) in paragraph at lines 1293--1293 |
2296 [5] [6] |
2367 []\T1/ppl/b/n/14.4 Engineering and Aca-demic Ap-proaches to Deal with Catas- |
|
2368 [] |
|
2369 |
|
2370 |
|
2371 LaTeX Warning: Citation 'Rathnayake2014StaticAF' on page 15 undefined on input |
|
2372 line 1302. |
|
2373 |
|
2374 |
|
2375 LaTeX Warning: Citation 'Weideman2017Static' on page 15 undefined on input line |
|
2376 1311. |
|
2377 |
|
2378 |
|
2379 Overfull \hbox (0.98518pt too wide) in paragraph at lines 1300--1312 |
|
2380 \T1/ppl/m/n/10.95 poen-tial be-havi-ous. Rath-nayake and Thi-elecke ([]) pro-po |
|
2381 sed |
|
2382 [] |
|
2383 |
|
2384 |
|
2385 Package scrlayer-scrpage Warning: \headheight to low. |
|
2386 (scrlayer-scrpage) At least 27.2pt needed, |
|
2387 (scrlayer-scrpage) but only 18.85364pt found. |
|
2388 (scrlayer-scrpage) I'll enlarge \headheight, for further |
|
2389 (scrlayer-scrpage) processing, but you should do this yourself, |
|
2390 (scrlayer-scrpage) e.g., setting geometry's option |
|
2391 (scrlayer-scrpage) `head=27.2pt'. |
|
2392 (scrlayer-scrpage) I'll also decrease \topmargin on input line 1 |
|
2393 359. |
|
2394 |
|
2395 |
|
2396 Overfull \vbox (8.34636pt too high) has occurred while \output is active [] |
|
2397 |
|
2398 |
|
2399 [15] [16] |
2297 LaTeX Font Info: Font shape `T1/cmtt/bx/n' in size <14.4> not available |
2400 LaTeX Font Info: Font shape `T1/cmtt/bx/n' in size <14.4> not available |
2298 (Font) Font shape `T1/cmtt/m/n' tried instead on input line 542. |
2401 (Font) Font shape `T1/cmtt/m/n' tried instead on input line 1413. |
2299 |
2402 |
2300 |
2403 |
2301 LaTeX Font Warning: Font shape `T1/cmtt/bx/sl' undefined |
2404 LaTeX Font Warning: Font shape `T1/cmtt/bx/sl' undefined |
2302 (Font) using `T1/cmtt/bx/n' instead on input line 563. |
2405 (Font) using `T1/cmtt/bx/n' instead on input line 1428. |
2303 |
2406 |
2304 [7] |
2407 [17] |
2305 Overfull \hbox (8.37132pt too wide) in paragraph at lines 586--587 |
2408 Overfull \hbox (8.37132pt too wide) in paragraph at lines 1457--1458 |
2306 \T1/ppl/m/n/10.95 sided print-ing is as sim-ple as un-com-ment-ing the \T1/cmtt |
2409 \T1/ppl/m/n/10.95 sided print-ing is as sim-ple as un-com-ment-ing the \T1/cmtt |
2307 /m/it/10.95 oneside \T1/ppl/m/n/10.95 op-tion of the \T1/cmtt/m/n/10.95 documen |
2410 /m/it/10.95 oneside \T1/ppl/m/n/10.95 op-tion of the \T1/cmtt/m/n/10.95 documen |
2308 tclass |
2411 tclass |
2309 [] |
2412 [] |
2310 |
2413 |
2311 [8] |
2414 [18] |
2312 |
2415 |
2313 LaTeX Warning: Citation 'Reference1' on page 9 undefined on input line 600. |
2416 LaTeX Warning: Citation 'Reference1' on page 19 undefined on input line 1471. |
2314 |
2417 |
2315 |
2418 |
2316 LaTeX Warning: Citation 'Reference2' on page 9 undefined on input line 600. |
2419 LaTeX Warning: Citation 'Reference2' on page 19 undefined on input line 1471. |
2317 |
2420 |
2318 |
2421 |
2319 LaTeX Warning: Citation 'Reference1' on page 9 undefined on input line 600. |
2422 LaTeX Warning: Citation 'Reference1' on page 19 undefined on input line 1471. |
2320 |
2423 |
2321 |
2424 |
2322 LaTeX Warning: Citation 'Reference3' on page 9 undefined on input line 600. |
2425 LaTeX Warning: Citation 'Reference3' on page 19 undefined on input line 1471. |
2323 |
2426 |
2324 [9] |
2427 [19] [20] |
2325 <Figures/Electron.pdf, id=397, 398.3386pt x 284.52756pt> |
2428 <Figures/Electron.pdf, id=468, 398.3386pt x 284.52756pt> |
2326 File: Figures/Electron.pdf Graphic file (type pdf) |
2429 File: Figures/Electron.pdf Graphic file (type pdf) |
2327 <use Figures/Electron.pdf> |
2430 <use Figures/Electron.pdf> |
2328 Package pdftex.def Info: Figures/Electron.pdf used on input line 668. |
2431 Package pdftex.def Info: Figures/Electron.pdf used on input line 1539. |
2329 (pdftex.def) Requested size: 398.33762pt x 284.52686pt. |
2432 (pdftex.def) Requested size: 398.33762pt x 284.52686pt. |
2330 [10] [11 <./Figures/Electron.pdf>] |
2433 [21 <./Figures/Electron.pdf>] |
2331 Overfull \hbox (0.90797pt too wide) in paragraph at lines 714--715 |
2434 Overfull \hbox (0.90797pt too wide) in paragraph at lines 1585--1586 |
2332 \T1/ppl/m/n/10.95 au-to-mat-i-cally builds a ta-ble of Con-tents by look-ing at |
2435 \T1/ppl/m/n/10.95 au-to-mat-i-cally builds a ta-ble of Con-tents by look-ing at |
2333 all the [][]\T1/cmtt/m/n/10.95 \chapter{}[]\T1/ppl/m/n/10.95 , [][]\T1/cmtt/m/ |
2436 all the [][]\T1/cmtt/m/n/10.95 \chapter{}[]\T1/ppl/m/n/10.95 , [][]\T1/cmtt/m/ |
2334 n/10.95 \section{} |
2437 n/10.95 \section{} |
2335 [] |
2438 [] |
2336 |
2439 |
2337 |
2440 |
2338 Overfull \hbox (0.45015pt too wide) in paragraph at lines 716--717 |
2441 Overfull \hbox (0.45015pt too wide) in paragraph at lines 1587--1588 |
2339 []\T1/ppl/m/n/10.95 The Ta-ble of Con-tents should only list the sec-tions to t |
2442 []\T1/ppl/m/n/10.95 The Ta-ble of Con-tents should only list the sec-tions to t |
2340 hree (3) lev-els. A [][]\T1/cmtt/m/n/10.95 chapter{} |
2443 hree (3) lev-els. A [][]\T1/cmtt/m/n/10.95 chapter{} |
2341 [] |
2444 [] |
2342 |
2445 |
2343 ) [12] |
2446 ) [22] |
2344 \openout2 = `Chapters/Chapter2.aux'. |
2447 \openout2 = `Chapters/Chapter2.aux'. |
2345 |
2448 |
2346 (./Chapters/Chapter2.tex |
2449 (./Chapters/Chapter2.tex |
2347 Chapter 2. |
2450 Chapter 2. |
2348 |
2451 |
2400 Package hyperref Warning: Token not allowed in a PDF string (Unicode): |
2503 Package hyperref Warning: Token not allowed in a PDF string (Unicode): |
2401 (hyperref) removing `math shift' on input line 28. |
2504 (hyperref) removing `math shift' on input line 28. |
2402 |
2505 |
2403 ) |
2506 ) |
2404 1: section |
2507 1: section |
2405 [15 |
2508 [25 |
2406 |
2509 |
2407 |
2510 |
2408 |
2511 |
2409 ] |
2512 ] |
2410 \openout2 = `Appendices/AppendixA.aux'. |
2513 \openout2 = `Appendices/AppendixA.aux'. |
2411 |
2514 |
2412 (./Appendices/AppendixA.tex [16 |
2515 (./Appendices/AppendixA.tex [26 |
2413 |
2516 |
2414 |
2517 |
2415 |
2518 |
2416 ] |
2519 ] |
2417 Appendix A. |
2520 Appendix A. |
2418 ) |
2521 ) |
2419 1: section |
2522 1: section |
2420 [17] [18 |
2523 [27] [28 |
2421 |
2524 |
2422 |
2525 |
2423 ] |
2526 ] |
2424 Overfull \hbox (2.23135pt too wide) in paragraph at lines 352--352 |
2527 Overfull \hbox (2.23135pt too wide) in paragraph at lines 353--353 |
2425 [][]\T1/ppl/m/n/10.95 Coquand, T. and V. Siles (2011). ^^P A De-ci-sion Pro-ce |
2528 [][]\T1/ppl/m/n/10.95 Coquand, T. and V. Siles (2011). ^^P A De-ci-sion Pro-ce |
2426 -dure for Reg-u-lar Ex-pres-sion Equiv- |
2529 -dure for Reg-u-lar Ex-pres-sion Equiv- |
2427 [] |
2530 [] |
2428 |
2531 |
2429 1: section |
2532 1: section |
2430 [19] |
2533 [29] |
2431 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 356. |
2534 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 357. |
2432 Package atveryend Info: Empty hook `AfterLastShipout' on input line 356. |
2535 Package atveryend Info: Empty hook `AfterLastShipout' on input line 357. |
2433 (./main.aux (./Chapters/Chapter1.aux) (./Chapters/Chapter2.aux) |
2536 (./main.aux (./Chapters/Chapter1.aux) (./Chapters/Chapter2.aux) |
2434 (./Chapters/Chapter3.aux) (./Appendices/AppendixA.aux)) |
2537 (./Chapters/Chapter3.aux) (./Appendices/AppendixA.aux)) |
2435 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 356. |
2538 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 357. |
2436 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 356. |
2539 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 357. |
2437 |
2540 |
2438 |
2541 |
2439 Package rerunfilecheck Warning: File `main.out' has changed. |
2542 Package rerunfilecheck Warning: File `main.out' has changed. |
2440 (rerunfilecheck) Rerun to get outlines right |
2543 (rerunfilecheck) Rerun to get outlines right |
2441 (rerunfilecheck) or use package `bookmark'. |
2544 (rerunfilecheck) or use package `bookmark'. |
2442 |
2545 |
2443 Package rerunfilecheck Info: Checksums for `main.out': |
2546 Package rerunfilecheck Info: Checksums for `main.out': |
2444 (rerunfilecheck) Before: A1566BE6F098E555B89E8456A1E7EC35;6165 |
2547 (rerunfilecheck) Before: 7C4FAB9392C071FEE9D94ACC44DE54BD;7293 |
2445 (rerunfilecheck) After: 49DA0DF877C6E4F446C2ABFDA2A76F7F;6180. |
2548 (rerunfilecheck) After: 2BB1A368827AF4B7D099B0B43EF92AAA;7417. |
2446 |
2549 |
2447 LaTeX Font Warning: Some font shapes were not available, defaults substituted. |
2550 LaTeX Font Warning: Some font shapes were not available, defaults substituted. |
2448 |
2551 |
2449 |
2552 |
2450 LaTeX Warning: There were undefined references. |
2553 LaTeX Warning: There were undefined references. |
2460 Package logreq Info: Writing requests to 'main.run.xml'. |
2563 Package logreq Info: Writing requests to 'main.run.xml'. |
2461 \openout1 = `main.run.xml'. |
2564 \openout1 = `main.run.xml'. |
2462 |
2565 |
2463 ) |
2566 ) |
2464 Here is how much of TeX's memory you used: |
2567 Here is how much of TeX's memory you used: |
2465 55923 strings out of 492649 |
2568 56764 strings out of 492649 |
2466 1290707 string characters out of 6129623 |
2569 1316779 string characters out of 6129623 |
2467 1580170 words of memory out of 5000000 |
2570 1611358 words of memory out of 5000000 |
2468 58948 multiletter control sequences out of 15000+600000 |
2571 59750 multiletter control sequences out of 15000+600000 |
2469 610785 words of font info for 178 fonts, out of 8000000 for 9000 |
2572 617554 words of font info for 196 fonts, out of 8000000 for 9000 |
2470 1141 hyphenation exceptions out of 8191 |
2573 1141 hyphenation exceptions out of 8191 |
2471 74i,24n,109p,10377b,2427s stack positions out of 5000i,500n,10000p,200000b,80000s |
2574 74i,24n,109p,10377b,2424s stack positions out of 5000i,500n,10000p,200000b,80000s |
2472 {/usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc} |
2575 {/usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/cm-super/cm-super-t1.enc} |
2473 {/usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/local/tex |
2576 {/usr/local/texlive/2018/texmf-dist/fonts/enc/dvips/base/8r.enc}</usr/local/tex |
2474 live/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/local/texl |
2577 live/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/local/texl |
2475 ive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texliv |
2578 ive/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/local/texliv |
2476 e/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive |
2579 e/2018/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/local/texlive |