new lecture for 323 | 09/10/2020 - 10:07:12 PM
Chris Nutter
parent
c404c68fe6
commit
b2a0003af4
Binary file not shown.
|
After Width: | Height: | Size: 298 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 260 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 238 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 629 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 259 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 213 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 195 KiB |
Binary file not shown.
|
After Width: | Height: | Size: 200 KiB |
|
|
@ -0,0 +1,474 @@
|
||||||
|
This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Arch Linux) (preloaded format=pdflatex 2020.9.8) 10 SEP 2020 21:35
|
||||||
|
entering extended mode
|
||||||
|
restricted \write18 enabled.
|
||||||
|
%&-line parsing enabled.
|
||||||
|
**lecture-09102020.tex
|
||||||
|
(./lecture-09102020.tex
|
||||||
|
LaTeX2e <2020-02-02> patch level 5
|
||||||
|
L3 programming layer <2020-06-03>
|
||||||
|
(/usr/share/texmf-dist/tex/latex/base/article.cls
|
||||||
|
Document Class: article 2019/12/20 v1.4l Standard LaTeX document class
|
||||||
|
(/usr/share/texmf-dist/tex/latex/base/size12.clo
|
||||||
|
File: size12.clo 2019/12/20 v1.4l Standard LaTeX file (size option)
|
||||||
|
)
|
||||||
|
\c@part=\count167
|
||||||
|
\c@section=\count168
|
||||||
|
\c@subsection=\count169
|
||||||
|
\c@subsubsection=\count170
|
||||||
|
\c@paragraph=\count171
|
||||||
|
\c@subparagraph=\count172
|
||||||
|
\c@figure=\count173
|
||||||
|
\c@table=\count174
|
||||||
|
\abovecaptionskip=\skip47
|
||||||
|
\belowcaptionskip=\skip48
|
||||||
|
\bibindent=\dimen134
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty
|
||||||
|
Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR)
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty
|
||||||
|
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
|
||||||
|
\KV@toks@=\toks15
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty
|
||||||
|
Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR)
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics/trig.sty
|
||||||
|
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
|
||||||
|
File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
|
||||||
|
)
|
||||||
|
Package graphics Info: Driver file: pdftex.def on input line 105.
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/graphics-def/pdftex.def
|
||||||
|
File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
|
||||||
|
))
|
||||||
|
\Gin@req@height=\dimen135
|
||||||
|
\Gin@req@width=\dimen136
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/abstract/abstract.sty
|
||||||
|
Package: abstract 2009/06/08 v1.2a configurable abstracts
|
||||||
|
\abstitleskip=\skip49
|
||||||
|
\absleftindent=\skip50
|
||||||
|
\absrightindent=\skip51
|
||||||
|
\absparindent=\skip52
|
||||||
|
\absparsep=\skip53
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty
|
||||||
|
Package: hyperref 2020-05-15 v7.00e Hypertext links for LaTeX
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty
|
||||||
|
Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/iftex/iftex.sty
|
||||||
|
Package: iftex 2020/03/06 v1.0d TeX engine tests
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty
|
||||||
|
Package: pdftexcmds 2020-06-04 v0.32 Utility functions of pdfTeX for LuaTeX (HO
|
||||||
|
)
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty
|
||||||
|
Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO)
|
||||||
|
)
|
||||||
|
Package pdftexcmds Info: \pdf@primitive is available.
|
||||||
|
Package pdftexcmds Info: \pdf@ifprimitive is available.
|
||||||
|
Package pdftexcmds Info: \pdfdraftmode found.
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty
|
||||||
|
Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty
|
||||||
|
Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty
|
||||||
|
Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty
|
||||||
|
Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty
|
||||||
|
Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty
|
||||||
|
Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty
|
||||||
|
Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO)
|
||||||
|
)
|
||||||
|
\@linkdim=\dimen137
|
||||||
|
\Hy@linkcounter=\count175
|
||||||
|
\Hy@pagecounter=\count176
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def
|
||||||
|
File: pd1enc.def 2020-05-15 v7.00e Hyperref: PDFDocEncoding definition (HO)
|
||||||
|
Now handling font encoding PD1 ...
|
||||||
|
... no UTF-8 mapping file for font encoding PD1
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty
|
||||||
|
Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty
|
||||||
|
Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO)
|
||||||
|
)
|
||||||
|
\Hy@SavedSpaceFactor=\count177
|
||||||
|
Package hyperref Info: Hyper figures OFF on input line 4464.
|
||||||
|
Package hyperref Info: Link nesting OFF on input line 4469.
|
||||||
|
Package hyperref Info: Hyper index ON on input line 4472.
|
||||||
|
Package hyperref Info: Plain pages OFF on input line 4479.
|
||||||
|
Package hyperref Info: Backreferencing OFF on input line 4484.
|
||||||
|
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
|
||||||
|
Package hyperref Info: Bookmarks ON on input line 4717.
|
||||||
|
\c@Hy@tempcnt=\count178
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/url/url.sty
|
||||||
|
\Urlmuskip=\muskip16
|
||||||
|
Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc.
|
||||||
|
)
|
||||||
|
LaTeX Info: Redefining \url on input line 5076.
|
||||||
|
\XeTeXLinkMargin=\dimen138
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/bitset/bitset.sty
|
||||||
|
Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO)
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty
|
||||||
|
Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO
|
||||||
|
)
|
||||||
|
))
|
||||||
|
\Fld@menulength=\count179
|
||||||
|
\Field@Width=\dimen139
|
||||||
|
\Fld@charsize=\dimen140
|
||||||
|
Package hyperref Info: Hyper figures OFF on input line 6347.
|
||||||
|
Package hyperref Info: Link nesting OFF on input line 6352.
|
||||||
|
Package hyperref Info: Hyper index ON on input line 6355.
|
||||||
|
Package hyperref Info: backreferencing OFF on input line 6362.
|
||||||
|
Package hyperref Info: Link coloring OFF on input line 6367.
|
||||||
|
Package hyperref Info: Link coloring with OCG OFF on input line 6372.
|
||||||
|
Package hyperref Info: PDF/A mode OFF on input line 6377.
|
||||||
|
LaTeX Info: Redefining \ref on input line 6417.
|
||||||
|
LaTeX Info: Redefining \pageref on input line 6421.
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty
|
||||||
|
Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO)
|
||||||
|
)
|
||||||
|
\Hy@abspage=\count180
|
||||||
|
\c@Item=\count181
|
||||||
|
\c@Hfootnote=\count182
|
||||||
|
)
|
||||||
|
Package hyperref Info: Driver (autodetected): hpdftex.
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/hyperref/hpdftex.def
|
||||||
|
File: hpdftex.def 2020-05-15 v7.00e Hyperref driver for pdfTeX
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty
|
||||||
|
Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO)
|
||||||
|
Package atveryend Info: \enddocument detected (standard20110627).
|
||||||
|
)
|
||||||
|
\Fld@listcount=\count183
|
||||||
|
\c@bookmark@seq@number=\count184
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty
|
||||||
|
Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO)
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty
|
||||||
|
Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO)
|
||||||
|
)
|
||||||
|
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
|
||||||
|
86.
|
||||||
|
)
|
||||||
|
\Hy@SectionHShift=\skip54
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def
|
||||||
|
File: l3backend-pdfmode.def 2020-06-03 L3 backend support: PDF mode
|
||||||
|
\l__kernel_color_stack_int=\count185
|
||||||
|
\l__pdf_internal_box=\box45
|
||||||
|
)
|
||||||
|
(./lecture-09102020.aux)
|
||||||
|
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 17.
|
||||||
|
LaTeX Font Info: ... okay on input line 17.
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii
|
||||||
|
[Loading MPS to PDF converter (version 2006.09.02).]
|
||||||
|
\scratchcounter=\count186
|
||||||
|
\scratchdimen=\dimen141
|
||||||
|
\scratchbox=\box46
|
||||||
|
\nofMPsegments=\count187
|
||||||
|
\nofMParguments=\count188
|
||||||
|
\everyMPshowfont=\toks16
|
||||||
|
\MPscratchCnt=\count189
|
||||||
|
\MPscratchDim=\dimen142
|
||||||
|
\MPnumerator=\count190
|
||||||
|
\makeMPintoPDFobject=\count191
|
||||||
|
\everyMPtoPDFconversion=\toks17
|
||||||
|
) (/usr/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty
|
||||||
|
Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf
|
||||||
|
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
|
||||||
|
85.
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
|
||||||
|
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
|
||||||
|
e
|
||||||
|
))
|
||||||
|
! Missing number, treated as zero.
|
||||||
|
<to be read again>
|
||||||
|
\relax
|
||||||
|
l.17 \begin{document}
|
||||||
|
|
||||||
|
? r
|
||||||
|
OK, entering \nonstopmode...
|
||||||
|
! Illegal unit of measure (pt inserted).
|
||||||
|
<to be read again>
|
||||||
|
\relax
|
||||||
|
l.17 \begin{document}
|
||||||
|
|
||||||
|
Dimensions can be in units of em, ex, in, pt, pc,
|
||||||
|
cm, mm, dd, cc, nd, nc, bp, or sp; but yours is a new one!
|
||||||
|
I'll assume that you meant to say pt, for printer's points.
|
||||||
|
To recover gracefully from this error, it's best to
|
||||||
|
delete the erroneous units; e.g., type `2' to delete
|
||||||
|
two letters. (See Chapter 27 of The TeXbook.)
|
||||||
|
|
||||||
|
\AtBeginShipoutBox=\box47
|
||||||
|
Package hyperref Info: Link coloring OFF on input line 17.
|
||||||
|
(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty
|
||||||
|
Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section
|
||||||
|
|
||||||
|
(/usr/share/texmf-dist/tex/latex/refcount/refcount.sty
|
||||||
|
Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO)
|
||||||
|
)
|
||||||
|
(/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty
|
||||||
|
Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO)
|
||||||
|
)
|
||||||
|
\c@section@level=\count192
|
||||||
|
)
|
||||||
|
LaTeX Info: Redefining \ref on input line 17.
|
||||||
|
LaTeX Info: Redefining \pageref on input line 17.
|
||||||
|
LaTeX Info: Redefining \nameref on input line 17.
|
||||||
|
|
||||||
|
(./lecture-09102020.out) (./lecture-09102020.out)
|
||||||
|
\@outlinefile=\write3
|
||||||
|
LaTeX Font Info: External font `cmex10' loaded for size
|
||||||
|
(Font) <14.4> on input line 20.
|
||||||
|
LaTeX Font Info: External font `cmex10' loaded for size
|
||||||
|
(Font) <7> on input line 20.
|
||||||
|
LaTeX Font Info: External font `cmex10' loaded for size
|
||||||
|
(Font) <5> on input line 20.
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 22--45
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 22--45
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 22--45
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 22--45
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 22--45
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
[1
|
||||||
|
|
||||||
|
{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (./lecture-09102020.toc)
|
||||||
|
\tf@toc=\write4
|
||||||
|
[2
|
||||||
|
|
||||||
|
]
|
||||||
|
! Illegal unit of measure (pt inserted).
|
||||||
|
<to be read again>
|
||||||
|
}
|
||||||
|
l.57 [1]
|
||||||
|
An FSM is defined by a list of its states, its initial state, a...
|
||||||
|
Dimensions can be in units of em, ex, in, pt, pc,
|
||||||
|
cm, mm, dd, cc, nd, nc, bp, or sp; but yours is a new one!
|
||||||
|
I'll assume that you meant to say pt, for printer's points.
|
||||||
|
To recover gracefully from this error, it's best to
|
||||||
|
delete the erroneous units; e.g., type `2' to delete
|
||||||
|
two letters. (See Chapter 27 of The TeXbook.)
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 52--61
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 52--61
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 52--61
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
<./images/fsm.png, id=37, 1444.64719pt x 839.38594pt>
|
||||||
|
File: ./images/fsm.png Graphic file (type png)
|
||||||
|
<use ./images/fsm.png>
|
||||||
|
Package pdftex.def Info: ./images/fsm.png used on input line 61.
|
||||||
|
(pdftex.def) Requested size: 369.88582pt x 214.91792pt.
|
||||||
|
<./images/example-fsm-problem.png, id=39, 1014.03844pt x 555.57562pt>
|
||||||
|
File: ./images/example-fsm-problem.png Graphic file (type png)
|
||||||
|
<use ./images/example-fsm-problem.png>
|
||||||
|
Package pdftex.def Info: ./images/example-fsm-problem.png used on input line 6
|
||||||
|
4.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 218.24193pt.
|
||||||
|
<./images/implementation-of-dfsm.png, id=40, 977.90344pt x 530.73282pt>
|
||||||
|
File: ./images/implementation-of-dfsm.png Graphic file (type png)
|
||||||
|
<use ./images/implementation-of-dfsm.png>
|
||||||
|
Package pdftex.def Info: ./images/implementation-of-dfsm.png used on input lin
|
||||||
|
e 66.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 216.19275pt.
|
||||||
|
<./images/implementation-dfsm-w-code.png, id=41, 1093.83656pt x 625.58719pt>
|
||||||
|
File: ./images/implementation-dfsm-w-code.png Graphic file (type png)
|
||||||
|
<use ./images/implementation-dfsm-w-code.png>
|
||||||
|
Package pdftex.def Info: ./images/implementation-dfsm-w-code.png used on input
|
||||||
|
line 68.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 227.81718pt.
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 64--69
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 64--69
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 64--69
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 64--69
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 64--69
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
[3
|
||||||
|
|
||||||
|
<./images/fsm.png>] [4 <./images/example-fsm-problem.png> <./images/implementa
|
||||||
|
tion-of-dfsm.png>]
|
||||||
|
Overfull \hbox (32.18576pt too wide) in paragraph at lines 72--72
|
||||||
|
[]\OT1/cmr/bx/n/17.28 Chapter 2.3 - Non-Deterministic FSM (NFSM)
|
||||||
|
[]
|
||||||
|
|
||||||
|
<./images/nfsm.png, id=53, 936.49875pt x 434.37282pt>
|
||||||
|
File: ./images/nfsm.png Graphic file (type png)
|
||||||
|
<use ./images/nfsm.png>
|
||||||
|
Package pdftex.def Info: ./images/nfsm.png used on input line 73.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 184.76175pt.
|
||||||
|
<./images/ex1-nfsm.png, id=54, 1078.0275pt x 612.78937pt>
|
||||||
|
File: ./images/ex1-nfsm.png Graphic file (type png)
|
||||||
|
<use ./images/ex1-nfsm.png>
|
||||||
|
Package pdftex.def Info: ./images/ex1-nfsm.png used on input line 75.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 226.4293pt.
|
||||||
|
<./images/nfsm-epsilon.png, id=55, 691.08188pt x 519.44063pt>
|
||||||
|
File: ./images/nfsm-epsilon.png Graphic file (type png)
|
||||||
|
<use ./images/nfsm-epsilon.png>
|
||||||
|
Package pdftex.def Info: ./images/nfsm-epsilon.png used on input line 77.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 299.40523pt.
|
||||||
|
<./images/ex2-nfsm.png, id=56, 831.85782pt x 547.2947pt>
|
||||||
|
File: ./images/ex2-nfsm.png Graphic file (type png)
|
||||||
|
<use ./images/ex2-nfsm.png>
|
||||||
|
Package pdftex.def Info: ./images/ex2-nfsm.png used on input line 79.
|
||||||
|
(pdftex.def) Requested size: 398.33858pt x 262.07213pt.
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 73--80
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 73--80
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 73--80
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 73--80
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 73--80
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Underfull \hbox (badness 10000) in paragraph at lines 73--80
|
||||||
|
|
||||||
|
[]
|
||||||
|
|
||||||
|
|
||||||
|
Overfull \hbox (15.13857pt too wide) in paragraph at lines 73--80
|
||||||
|
[]
|
||||||
|
[]
|
||||||
|
|
||||||
|
[5 <./images/implementation-dfsm-w-code.png> <./images/nfsm.png>] [6 <./images/
|
||||||
|
ex1-nfsm.png> <./images/nfsm-epsilon.png>] [7 <./images/ex2-nfsm.png>]
|
||||||
|
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 83.
|
||||||
|
Package atveryend Info: Empty hook `AfterLastShipout' on input line 83.
|
||||||
|
|
||||||
|
(./lecture-09102020.aux)
|
||||||
|
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 83.
|
||||||
|
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 83.
|
||||||
|
Package rerunfilecheck Info: File `lecture-09102020.out' has not changed.
|
||||||
|
(rerunfilecheck) Checksum: 8669FA14B25189E277C8629BE7640E41;189.
|
||||||
|
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 83.
|
||||||
|
)
|
||||||
|
Here is how much of TeX's memory you used:
|
||||||
|
5284 strings out of 480478
|
||||||
|
81535 string characters out of 5905960
|
||||||
|
341280 words of memory out of 5000000
|
||||||
|
21217 multiletter control sequences out of 15000+600000
|
||||||
|
536389 words of font info for 37 fonts, out of 8000000 for 9000
|
||||||
|
1141 hyphenation exceptions out of 8191
|
||||||
|
34i,11n,29p,214b,358s stack positions out of 5000i,500n,10000p,200000b,80000s
|
||||||
|
{/usr/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/
|
||||||
|
texmf-dist/fonts/type1/public/amsfonts/cm/cmbx10.pfb></usr/share/texmf-dist/fon
|
||||||
|
ts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texmf-dist/fonts/type1/publi
|
||||||
|
c/amsfonts/cm/cmr10.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/c
|
||||||
|
mr12.pfb></usr/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/
|
||||||
|
share/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb></usr/share/texmf-di
|
||||||
|
st/fonts/type1/public/cm-super/sfrm0700.pfb></usr/share/texmf-dist/fonts/type1/
|
||||||
|
public/cm-super/sfrm1000.pfb>
|
||||||
|
Output written on lecture-09102020.pdf (7 pages, 2090206 bytes).
|
||||||
|
PDF statistics:
|
||||||
|
108 PDF objects out of 1000 (max. 8388607)
|
||||||
|
74 compressed objects within 1 object stream
|
||||||
|
12 named destinations out of 1000 (max. 500000)
|
||||||
|
65 words of extra memory for PDF output out of 10000 (max. 10000000)
|
||||||
|
|
||||||
Binary file not shown.
|
|
@ -0,0 +1,83 @@
|
||||||
|
\documentclass[12pt,a4paper]{article}
|
||||||
|
|
||||||
|
\usepackage{graphicx}
|
||||||
|
\usepackage{abstract}
|
||||||
|
\usepackage{hyperref}
|
||||||
|
|
||||||
|
\graphicspath{ {./images/} }
|
||||||
|
\renewcommand{\abstractname}{Timestamps}
|
||||||
|
\renewcommand{\absleftindent}{}
|
||||||
|
\renewcommand{\absparindent}{}
|
||||||
|
|
||||||
|
\title{CPSC 362 Lecture}
|
||||||
|
\author{Chris Nutter\thanks{Dedicated to @QuesoGrande}}
|
||||||
|
|
||||||
|
% --> Kachow
|
||||||
|
|
||||||
|
\begin{document}
|
||||||
|
|
||||||
|
\maketitle
|
||||||
|
|
||||||
|
\begin{abstract}
|
||||||
|
{07:38:48 PM}\\
|
||||||
|
Okay so he's talking mainly about the project and how far along people are.
|
||||||
|
People tend to not be incredibly far only a handful of people have created an FSM.
|
||||||
|
He said he is considering adjusting the project depending on our
|
||||||
|
position and understanding of the project.
|
||||||
|
\\\\
|
||||||
|
07:48:16 PM\\
|
||||||
|
Now he is going back to talking about how to implement a DFSM into code.
|
||||||
|
He's sorta doing psuedo-code mentioned below. \emph{Figure 4}
|
||||||
|
\\\\
|
||||||
|
08:06:36 PM\\
|
||||||
|
Taking a break then going to go over non-deterministic FSM (and NFAs).
|
||||||
|
\\\\
|
||||||
|
08:13:54 PM\\
|
||||||
|
You can get 90\% on the project if you document a FSM and diagram it without code. FYI.
|
||||||
|
Basically 90\% for desired output, 100\% for intended FSM.
|
||||||
|
\\\\
|
||||||
|
08:48:38 PM\\
|
||||||
|
Basically he's been making corrolations between video game idles and NFSM. He also mentioned
|
||||||
|
that this will be useful for regexp next week.
|
||||||
|
\\\\
|
||||||
|
09:11:51 PM\\
|
||||||
|
Next time, we are converting NFSM to DFSM. So make sure to understand FSM. lol
|
||||||
|
\end{abstract}
|
||||||
|
|
||||||
|
\clearpage
|
||||||
|
\tableofcontents
|
||||||
|
\clearpage
|
||||||
|
|
||||||
|
\section{FSM Recap}
|
||||||
|
A finite-state machine (FSM) or finite-state automaton (FSA, plural: automata),
|
||||||
|
finite automaton, or simply a state machine, is a mathematical model of computation.
|
||||||
|
It is an abstract machine that can be in exactly one of a finite number of states at
|
||||||
|
any given time. The FSM can change from one state to another in response to some inputs;
|
||||||
|
the change from one state to another is called a transition.\\\\
|
||||||
|
[1] An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition.
|
||||||
|
Finite-state machines are of two types—deterministic finite-state machines and non-deterministic finite-state machines.\\\\
|
||||||
|
A deterministic finite-state machine can be constructed equivalent to any non-deterministic one.
|
||||||
|
\\\\
|
||||||
|
\begin{center}\fbox{\includegraphics[width=13cm]{fsm.png}}\end{center}
|
||||||
|
|
||||||
|
\section{Chapter 2.2 - Deterministic FSM}
|
||||||
|
\fbox{\includegraphics[width=14cm]{example-fsm-problem.png}}
|
||||||
|
\\\\
|
||||||
|
\fbox{\includegraphics[width=14cm]{implementation-of-dfsm.png}}
|
||||||
|
\\\\
|
||||||
|
\fbox{\includegraphics[width=14cm]{implementation-dfsm-w-code.png}}
|
||||||
|
|
||||||
|
\begin{center}\line(1,0){250}\end{center}
|
||||||
|
|
||||||
|
\section{Chapter 2.3 - Non-Deterministic FSM (NFSM)}
|
||||||
|
\fbox{\includegraphics[width=14cm]{nfsm.png}}
|
||||||
|
\\\\
|
||||||
|
\fbox{\includegraphics[width=14cm]{ex1-nfsm.png}}
|
||||||
|
\\\\
|
||||||
|
\fbox{\includegraphics[width=14cm]{nfsm-epsilon.png}}
|
||||||
|
\\\\
|
||||||
|
\fbox{\includegraphics[width=14cm]{ex2-nfsm.png}}
|
||||||
|
|
||||||
|
\clearpage
|
||||||
|
|
||||||
|
\end{document}
|
||||||
Loading…
Reference in New Issue