This is pdfeTeX, Version 3.141592-1.21a-2.2 (Web2C 7.5.4) (format=pdflatex 2006.9.28) 14 DEC 2006 19:01 entering extended mode **finsol (./finsol.tex LaTeX2e <2003/12/01> Babel and hyphenation patterns for american, french, german, ngerman, b ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur kish, ukrainian, nohyphenation, loaded. (/usr/share/texmf-tetex/tex/latex/base/article.cls Document Class: article 2004/02/16 v1.4f Standard LaTeX document class (/usr/share/texmf-tetex/tex/latex/base/size10.clo File: size10.clo 2004/02/16 v1.4f Standard LaTeX file (size option) ) \c@part=\count79 \c@section=\count80 \c@subsection=\count81 \c@subsubsection=\count82 \c@paragraph=\count83 \c@subparagraph=\count84 \c@figure=\count85 \c@table=\count86 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf-tetex/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-tetex/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks14 ) (/usr/share/texmf-tetex/tex/latex/graphics/graphics.sty Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf-tetex/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf-tetex/tex/latex/graphics/graphics.cfg File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive ) Package graphics Info: Driver file: pdftex.def on input line 80. (/usr/share/texmf-tetex/tex/latex/graphics/pdftex.def File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex \Gread@gobject=\count87 )) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/usr/share/texmf-tetex/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup4 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) (/usr/share/texmf-tetex/tex/latex/tools/enumerate.sty Package: enumerate 1999/03/05 v3.00 enumerate extensions (DPC) \@enLab=\toks15 ) (/usr/share/texmf-tetex/tex/latex/psnfss/times.sty Package: times 2004/09/15 PSNFSS-v9.2 (SPQR) ) (/home/ksmani/tex/defs.tex \c@algcounterA=\count88 \c@algcounterB=\count89 \c@algcounterC=\count90 \c@definition=\count91 \c@Assumption=\count92 \c@Remark=\count93 \c@remark=\count94 \c@Exercise=\count95 \c@Corollary=\count96 \c@corollary=\count97 \c@lemma=\count98 \c@proposition=\count99 \c@theorem=\count100 \c@Claim=\count101 \c@claim=\count102 \c@Result=\count103 \c@Observation=\count104 \c@observation=\count105 \c@conjecture=\count106 \c@excounter=\count107 ) (./finsol.aux) \openout1 = `finsol.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 32. LaTeX Font Info: ... okay on input line 32. LaTeX Font Info: Try loading font information for OT1+ptm on input line 32. (/usr/share/texmf-tetex/tex/latex/psnfss/ot1ptm.fd File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm. ) (/usr/share/texmf-tetex/tex/context/base/supp-pdf.tex (/usr/share/texmf-tetex/tex/context/base/supp-mis.tex loading : Context Support Macros / Miscellaneous (2004.10.26) \protectiondepth=\count108 \scratchcounter=\count109 \scratchtoks=\toks16 \scratchdimen=\dimen105 \scratchskip=\skip43 \scratchmuskip=\muskip10 \scratchbox=\box26 \scratchread=\read1 \scratchwrite=\write3 \zeropoint=\dimen106 \onepoint=\dimen107 \onebasepoint=\dimen108 \minusone=\count110 \thousandpoint=\dimen109 \onerealpoint=\dimen110 \emptytoks=\toks17 \nextbox=\box27 \nextdepth=\dimen111 \everyline=\toks18 \!!counta=\count111 \!!countb=\count112 \recursecounter=\count113 ) loading : Context Support Macros / PDF (2004.03.26) \nofMPsegments=\count114 \nofMParguments=\count115 \MPscratchCnt=\count116 \MPscratchDim=\dimen112 \MPnumerator=\count117 \everyMPtoPDFconversion=\toks19 ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 34. LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 34. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 34. LaTeX Font Info: Try loading font information for U+lasy on input line 34. (/usr/share/texmf-tetex/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: Try loading font information for OMS+ptm on input line 34. (/usr/share/texmf-tetex/tex/latex/psnfss/omsptm.fd File: omsptm.fd ) LaTeX Font Info: Font shape `OMS/ptm/m/n' in size <12> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 34. LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available (Font) Font shape `OT1/ptm/b/n' tried instead on input line 37. 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 40. LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 41. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 41. Overfull \hbox (0.48924pt too wide) in paragraph at lines 40--53 []\OT1/ptm/b/n/10 Diagonalization: \OT1/ptm/m/n/10 The Halt-ing prob-lem is de- fined as fol-lows: Given a Tur-ing Ma-chine $\OML/cmm/m/it/10 M \OT1/cmr/m/n/10 = \OMS/cmsy/m/n/10 h\OML/cmm/m/it/10 Q; \OMS/cmsy/m/n/10 f\OT1/cmr/m/n/10 0\OM L/cmm/m/it/10 ; \OT1/cmr/m/n/10 1\OMS/cmsy/m/n/10 g\OML/cmm/m/it/10 ; \OT1/cmr/ m/n/10 ^^@\OML/cmm/m/it/10 ; ^^N; q[]; \U/lasy/m/n/10 2\OML/cmm/m/it/10 ; F\OMS /cmsy/m/n/10 i$ [] [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] Overfull \hbox (0.78442pt too wide) in paragraph at lines 135--143 []\OT1/ptm/m/n/10 Accordingly, we could con-struct eight dis-tinct Tur-ing Ma-c hines, each of which de-clares a dis-tinct sub-set of $\OMS/cmsy/m/n/10 f\OML/c mm/m/it/10 I[]; I[]; I[]\OMS/cmsy/m/n/10 g$ [] Overfull \hbox (4.96654pt too wide) in paragraph at lines 144--148 []\OT1/ptm/b/n/10 Undecidability: \OT1/ptm/m/n/10 The Total-Halting prob-lem is de-fined as fol-lows: Given a Tur-ing Ma-chine $\OML/cmm/m/it/10 M \OT1/cmr/m/ n/10 = \OMS/cmsy/m/n/10 h\OML/cmm/m/it/10 Q; \OT1/cmr/m/n/10 ^^F\OML/cmm/m/it/1 0 ; \OT1/cmr/m/n/10 ^^@\OML/cmm/m/it/10 ; ^^N; q[]; \U/lasy/m/n/10 2\OML/cmm/m/ it/10 ; F\OMS/cmsy/m/n/10 i$\OT1/ptm/m/n/10 , [] No file finsol.bbl. [2] (./finsol.aux) ) Here is how much of TeX's memory you used: 1168 strings out of 94500 14220 string characters out of 1175788 63628 words of memory out of 1000000 4348 multiletter control sequences out of 10000+50000 18137 words of font info for 45 fonts, out of 500000 for 2000 580 hyphenation exceptions out of 8191 25i,7n,19p,218b,287s stack positions out of 1500i,500n,5000p,200000b,5000s PDF statistics: 40 PDF objects out of 300000 0 named destinations out of 131072 1 words of extra memory for PDF output out of 65536 < /usr/share/texmf-tetex/fonts/type1/bluesky/cm/cmmi7.pfb>{/usr/share/texmf-tetex /fonts/enc/dvips/psnfss/8r.enc} Output written on finsol.pdf (2 pages, 84555 bytes).