-
Notifications
You must be signed in to change notification settings - Fork 0
/
paper.log
267 lines (239 loc) · 11.7 KB
/
paper.log
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
This is pdfTeX, Version 3.141592653-2.6-1.40.25 (MiKTeX 23.5) (preloaded format=pdflatex 2023.9.22) 29 APR 2024 20:10
entering extended mode
restricted \write18 enabled.
file:line:error style messages enabled.
%&-line parsing enabled.
**"c:/Users/okisn/OneDrive/Documents/School/Finite Automata/Final Paper/paper.tex"
(c:/Users/okisn/OneDrive/Documents/School/Finite Automata/Final Paper/paper.tex
LaTeX2e <2023-06-01> patch level 1
L3 programming layer <2023-08-11>
(ieeeconf.cls
Document Class: ieeeconf 2004/1/15 revision V1.6b by Pradeep Misra
\@IEEEtrantmpdimenA=\dimen140
\@IEEEtrantmpdimenB=\dimen141
\@IEEEtrantmpcountA=\count185
\@IEEEtrantmpcountB=\count186
\@IEEEtrantmptoksA=\toks17
LaTeX Font Info: Trying to load font information for OT1+ptm on input line 792.
(C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/psnfss\ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
)
\@IEEEnormalsizefontbaselineskip=\skip48
-- This is a 10 point document.
\normalsizebaselineskip=\skip49
\normaljot=\skip50
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <5> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <5> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <7> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <7> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <8> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <8> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <9> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <9> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <10> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <10> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <11> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <11> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <12> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <12> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <16> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <16> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <20> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <20> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <24> not available
(Font) Font shape `OT1/ptm/b/n' tried instead on input line 1111.
LaTeX Font Info: Font shape `OT1/ptm/bx/it' in size <24> not available
(Font) Font shape `OT1/ptm/b/it' tried instead on input line 1111.
\IEEEilabelindentA=\dimen142
\IEEEilabelindentB=\dimen143
\IEEEilabelindent=\dimen144
\IEEEelabelindent=\dimen145
\IEEEdlabelindent=\dimen146
\labelindent=\dimen147
\IEEEiednormlabelsep=\dimen148
\IEEEiedmathlabelsep=\dimen149
\IEEEiedtopsep=\skip51
\c@section=\count187
\c@subsection=\count188
\c@subsubsection=\count189
\c@paragraph=\count190
\c@IEEEsubequation=\count191
\abovecaptionskip=\skip52
\belowcaptionskip=\skip53
\c@figure=\count192
\c@table=\count193
\@IEEEeqnnumcols=\count194
\@IEEEeqncolcnt=\count195
\@IEEEtmpitemindent=\dimen150
\c@biography=\count196
\@IEEEtranrubishbin=\box51
)
** ATTENTION: Overriding command lockouts (line 10).
** ATTENTION: Overriding IEEE standard margins (line 13).
(C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/base\inputenc.sty
Package: inputenc 2021/02/14 v1.3d Input encoding file
\inpenc@prehook=\toks18
\inpenc@posthook=\toks19
) (C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/base\fontenc.sty
Package: fontenc 2021/04/29 v2.0v Standard LaTeX package
LaTeX Font Info: Trying to load font information for T1+ptm on input line 112.
(C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/psnfss\t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
)) (C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/amsmath\amsmath.sty
Package: amsmath 2023/05/13 v2.17o AMS math features
\@mathmargin=\skip54
For additional information on amsmath, use the `?' option.
(C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/amsmath\amstext.sty
Package: amstext 2021/08/26 v2.01 AMS text
(C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/amsmath\amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks20
\ex@=\dimen151
)) (C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/amsmath\amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen152
) (C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/amsmath\amsopn.sty
Package: amsopn 2022/04/08 v2.04 operator names
)
\inf@bad=\count197
LaTeX Info: Redefining \frac on input line 234.
\uproot@=\count198
\leftroot@=\count199
LaTeX Info: Redefining \overline on input line 399.
LaTeX Info: Redefining \colon on input line 410.
\classnum@=\count266
\DOTSCASE@=\count267
LaTeX Info: Redefining \ldots on input line 496.
LaTeX Info: Redefining \dots on input line 499.
LaTeX Info: Redefining \cdots on input line 620.
\Mathstrutbox@=\box52
\strutbox@=\box53
LaTeX Info: Redefining \big on input line 722.
LaTeX Info: Redefining \Big on input line 723.
LaTeX Info: Redefining \bigg on input line 724.
LaTeX Info: Redefining \Bigg on input line 725.
\big@size=\dimen153
LaTeX Font Info: Redeclaring font encoding OML on input line 743.
LaTeX Font Info: Redeclaring font encoding OMS on input line 744.
\macc@depth=\count268
LaTeX Info: Redefining \bmod on input line 905.
LaTeX Info: Redefining \pmod on input line 910.
LaTeX Info: Redefining \smash on input line 940.
LaTeX Info: Redefining \relbar on input line 970.
LaTeX Info: Redefining \Relbar on input line 971.
\c@MaxMatrixCols=\count269
\dotsspace@=\muskip16
\c@parentequation=\count270
\dspbrk@lvl=\count271
\tag@help=\toks21
\row@=\count272
\column@=\count273
\maxfields@=\count274
\andhelp@=\toks22
\eqnshift@=\dimen154
\alignsep@=\dimen155
\tagshift@=\dimen156
\tagwidth@=\dimen157
\totwidth@=\dimen158
\lineht@=\dimen159
\@envbody=\toks23
\multlinegap=\skip55
\multlinetaggap=\skip56
\mathdisplay@stack=\toks24
LaTeX Info: Redefining \[ on input line 2953.
LaTeX Info: Redefining \] on input line 2954.
) (C:\Users\okisn\AppData\Local\Programs\MiKTeX\tex/latex/l3backend\l3backend-pdftex.def
File: l3backend-pdftex.def 2023-04-19 L3 backend support: PDF output (pdfTeX)
\l__color_backend_stack_int=\count275
\l__pdf_internal_box=\box54
) (paper.aux)
\openout1 = `paper.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 50.
LaTeX Font Info: ... okay on input line 50.
[1{C:/Users/okisn/AppData/Local/MiKTeX/fonts/map/pdftex/pdftex.map}{C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/enc/dvips/base/8r.enc}
] [2]
Underfull \hbox (badness 1354) in paragraph at lines 210--211
[]\T1/ptm/m/n/8 A. Church, ^^PA note on the Entschei-dungsprob-lem,^^Q Jour-nal of
[]
Underfull \hbox (badness 3168) in paragraph at lines 210--211
\T1/ptm/m/n/8 Sym-bolic Logic, vol. 1, no. 1, pp. 40-41, Mar. 1936, doi:
[]
Underfull \hbox (badness 2762) in paragraph at lines 212--213
\T1/ptm/m/n/8 e-mat-i-cal So-ci-ety, vol. s2-42, no. 1, pp. 230-265, 1937, doi:
[]
Underfull \hbox (badness 10000) in paragraph at lines 214--215
[]\T1/ptm/m/n/8 H. Deutsch and O. Mar-shall, ^^PAlonzo Church,^^Q
[]
Underfull \hbox (badness 10000) in paragraph at lines 214--215
\T1/ptm/m/n/8 Stan-ford En-cy-clo-pe-dia of Phi-los-o-phy, 2023.
[]
Underfull \hbox (badness 10000) in paragraph at lines 215--216
[]\T1/ptm/m/n/8 H. Deutsch and O. Mar-shall, ^^PThe $\OML/cmm/m/it/8 ^^U$\T1/ptm/m/n/8 -Calculus and Type
[]
Underfull \hbox (badness 10000) in paragraph at lines 215--216
\T1/ptm/m/n/8 The-ory,^^Q Stan-ford En-cy-clo-pe-dia of Phi-los-o-phy, 2023.
[]
Underfull \hbox (badness 10000) in paragraph at lines 216--217
[]\T1/ptm/m/n/8 J. O'Connor and E. Robert-son , ^^PAlonzo Church -
[]
Underfull \hbox (badness 6016) in paragraph at lines 216--217
\T1/ptm/m/n/8 Bi-og-ra-phy,^^Q Maths His-tory, Nov. 2004. https://mathshistory.st-
[]
** Conference Paper **
Before submitting the final camera ready copy, remember to:
1. Manually equalize the lengths of two columns on the last page
of your paper;
2. Ensure that any PostScript and/or PDF output post-processing
uses only Type 1 fonts and that every step in the generation
process uses the US letter (8.5in X 11in) paper size.
[3
] (paper.aux)
***********
LaTeX2e <2023-06-01> patch level 1
L3 programming layer <2023-08-11>
***********
)
Here is how much of TeX's memory you used:
2085 strings out of 475503
33098 string characters out of 5761834
1934248 words of memory out of 5000000
23383 multiletter control sequences out of 15000+600000
660924 words of font info for 134 fonts, out of 8000000 for 9000
1141 hyphenation exceptions out of 8191
56i,15n,65p,1013b,309s stack positions out of 10000i,1000n,20000p,200000b,200000s
<C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/public/amsfonts/cm/cmmi10.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/public/amsfonts/cm/cmmi8.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/public/amsfonts/cm/cmr10.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/public/amsfonts/cm/cmsy10.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/urw/times/utmb8a.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/urw/times/utmbi8a.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/urw/times/utmr8a.pfb><C:/Users/okisn/AppData/Local/Programs/MiKTeX/fonts/type1/urw/times/utmri8a.pfb>
Output written on paper.pdf (3 pages, 106738 bytes).
PDF statistics:
53 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 500000)
1 words of extra memory for PDF output out of 10000 (max. 10000000)