diff --git a/project.aux b/project.aux index cbc028a5..a54669aa 100644 --- a/project.aux +++ b/project.aux @@ -1,13 +1,11 @@ \relax +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Regular expression}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1.2}Examples of accepted strings}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1.3}Building NFA using Thompson construction algorithm}{1}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1.1}{\ignorespaces Operator 'a'}}{1}{}\protected@file@percent } \newlabel{fig:operatorA}{{1.1}{1}} \@writefile{lof}{\contentsline {figure}{\numberline {1.2}{\ignorespaces Operator 'b'}}{1}{}\protected@file@percent } \newlabel{fig:operatorB}{{1.2}{1}} -\@writefile{toc}{\contentsline {section}{\numberline {1.1}Regular expression}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {1.2}Examples of accepted strings}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {1.3}Building NFA using Thompson construction algorithm}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {1.4}Transforming NFA into DFA using subset algorithm}{1}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {1.5}Constructing minimal state DFA}{1}{}\protected@file@percent } \@writefile{lof}{\contentsline {figure}{\numberline {1.3}{\ignorespaces Operator '$a^*$'}}{1}{}\protected@file@percent } \newlabel{fig:operatorAstar}{{1.3}{1}} \@writefile{lof}{\contentsline {figure}{\numberline {1.4}{\ignorespaces Operator '$ba^*$'}}{2}{}\protected@file@percent } @@ -22,4 +20,8 @@ \newlabel{fig:operatorastarOrbastarb}{{1.8}{2}} \@writefile{lof}{\contentsline {figure}{\numberline {1.9}{\ignorespaces Operator '$a^*+ba^*b + bba^*$'}}{3}{}\protected@file@percent } \newlabel{fig:final}{{1.9}{3}} -\gdef \@abspage@last{4} +\@writefile{lof}{\contentsline {figure}{\numberline {1.10}{\ignorespaces Operator '$a^*+ba^*b + bba^*$' - changed names of states}}{3}{}\protected@file@percent } +\newlabel{fig:final}{{1.10}{3}} +\@writefile{toc}{\contentsline {section}{\numberline {1.4}Transforming NFA into DFA using subset algorithm}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1.5}Constructing minimal state DFA}{4}{}\protected@file@percent } +\gdef \@abspage@last{5} diff --git a/project.fdb_latexmk b/project.fdb_latexmk index e0578359..093f768e 100644 --- a/project.fdb_latexmk +++ b/project.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 3 -["pdflatex"] 1637104305 "project.tex" "project.pdf" "project" 1637104306 +["pdflatex"] 1637106796 "project.tex" "project.pdf" "project" 1637118524 "/etc/texmf/web2c/texmf.cnf" 1635008344 475 c0e671620eb5563b2130f56340a5fde8 "" "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/share/texlive/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" @@ -24,6 +24,12 @@ "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb" 1248133631 32762 224316ccc9ad3ca0423a14971cfa7fc1 "" "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb" 1248133631 32716 08e384dc442464e7285e891af9f45947 "" "/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii" 1461363279 71627 94eb9990bed73c364d7f53f960cc8c5b "" + "/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty" 1583617216 6501 4011d89d9621e0b0901138815ba5ff29 "" + "/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1575499628 8356 7bbb2c2373aa810be568c29e333da8ed "" + "/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1576878844 5412 d5a2436094cd7be85769db90f29250a6 "" + "/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1576624944 13807 952b0226d4efca026f0e19dd266dcc22 "" + "/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1600895880 17859 4409f8f50cd365c68e684407e5350b1b "" + "/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty" 1593379760 20089 80423eac55aa175305d35b49e04fe23b "" "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex" 1601326656 992 855ff26741653ab54814101ca36e153c "" "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex" 1601326656 43820 1fef971b75380574ab35a0d37fd92608 "" "/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex" 1601326656 19324 f4e4c6403dd0f1605fd20ed22fa79dea "" @@ -97,6 +103,8 @@ "/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty" 1601675358 7919 20fdfdd783821971c55bc8ee918cbe63 "" "/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty" 1580683321 2590 e3b24ff953e5b58d924f163d25380312 "" "/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty" 1580683321 3976 d7fa7d81d2870d509d25b17d0245e735 "" + "/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty" 1575499774 7133 b94bbacbee6e4fdccdc7f810b2aec370 "" + "/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1602274869 22521 d2fceb764a442a2001d257ef11db7618 "" "/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def" 1611959857 27097 58278863d97b10ab86e334b8da33df7a "" "/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg" 1279039959 678 4792914a8f45be57bb98413425e4c7af "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty" 1601326656 1090 bae35ef70b3168089ef166db3e66f5b2 "" @@ -109,14 +117,15 @@ "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty" 1601326656 348 ee405e64380c11319f0e249fed57e6c5 "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty" 1601326656 274 5ae372b7df79135d240456a1c6f2cf9a "" "/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty" 1601326656 325 f9f16d12354225b7dd52a3321f085955 "" + "/usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty" 1137110565 4087 636308456f60d2b31cbf97867db5708d "" "/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty" 1463002160 55589 34128738f682d033422ca125f82e5d62 "" "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1613593815 38841 799d1dd9682a55ce442e10c99777ecc1 "" "/usr/share/texmf/web2c/texmf.cnf" 1613593815 38841 799d1dd9682a55ce442e10c99777ecc1 "" "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1635008389 5160710 ecf427ae8fa19139d8691f526e47bb9b "" "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1635008460 2570450 6e12b1c097cbda0f70015645294afd24 "" - "project.aux" 1637104306 2107 9f32f6ac70eac6d6d1c2b52eed15c3c9 "pdflatex" - "project.tex" 1637104305 9231 d872314f8cfc281787c6d92aa7777a14 "" + "project.aux" 1637106797 2301 25365c128ec31bbdc3fbc64fe64f1084 "pdflatex" + "project.tex" 1637118524 13317 96fad0bd37e24e817d231aeb954632f1 "" (generated) - "project.log" - "project.pdf" "project.aux" + "project.pdf" + "project.log" diff --git a/project.fls b/project.fls index eb1ec462..15b00a4a 100644 --- a/project.fls +++ b/project.fls @@ -350,6 +350,17 @@ INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothand INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautomata.code.tex INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautomata.code.tex INPUT /usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex @@ -391,6 +402,97 @@ INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +INPUT /usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg INPUT /usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg diff --git a/project.log b/project.log index ffd83310..b56d79c5 100644 --- a/project.log +++ b/project.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex 2021.10.23) 17 NOV 2021 00:11 +This is pdfTeX, Version 3.14159265-2.6-1.40.21 (TeX Live 2020/Debian) (preloaded format=pdflatex 2021.10.23) 17 NOV 2021 00:53 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -294,7 +294,9 @@ File: pgfmodulematrix.code.tex 2020/12/27 v3.1.8b (3.1.8b) \tikz@expandcount=\count284 (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarytopaths.code.tex File: tikzlibrarytopaths.code.tex 2020/12/27 v3.1.8b (3.1.8b) -))) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautomata.code.tex +))) (/usr/share/texlive/texmf-dist/tex/latex/placeins/placeins.sty +Package: placeins 2005/04/18 v 2.2 +) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryautomata.code.tex File: tikzlibraryautomata.code.tex 2020/12/27 v3.1.8b (3.1.8b) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibraryshapes.multipart.code.tex File: tikzlibraryshapes.multipart.code.tex 2020/12/27 v3.1.8b (3.1.8b) @@ -328,29 +330,33 @@ File: pgflibraryarrows.meta.code.tex 2020/12/27 v3.1.8b (3.1.8b) \pgfarrowlinewidth=\dimen259 ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlibrarypositioning.code.tex File: tikzlibrarypositioning.code.tex 2020/12/27 v3.1.8b (3.1.8b) -) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def +) +(/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2020-01-29 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count285 \l__pdf_internal_box=\box80 -) (./project.aux) +) (./project.aux + +LaTeX Warning: Label `fig:final' multiply defined. + +) \openout1 = `project.aux'. -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 15. -LaTeX Font Info: ... okay on input line 15. - -(/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 16. +LaTeX Font Info: ... okay on input line 16. + (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count286 \scratchdimen=\dimen260 @@ -365,35 +371,70 @@ LaTeX Font Info: ... okay on input line 15. \everyMPtoPDFconversion=\toks34 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf + (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty +Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) +) (/usr/share/texlive/texmf-dist/tex/latex/grfext/grfext.sty +Package: grfext 2019/12/03 v1.3 Manage graphics extensions (HO) + (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty +Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) +)) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty +Package: kvoptions 2020-10-07 v3.14 Key value format for package options (HO) + (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty +Package: ltxcmds 2020-05-10 v1.25 LaTeX kernel commands for general use (HO) +) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty +Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) +)) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty +Package: pdftexcmds 2020-06-27 v0.33 Utility functions of pdfTeX for LuaTeX (HO) + (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty +Package: iftex 2020/03/06 v1.0d TeX engine tests +) +Package pdftexcmds Info: \pdf@primitive is available. +Package pdftexcmds Info: \pdf@ifprimitive is available. +Package pdftexcmds Info: \pdfdraftmode found. +) Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 485. +Package grfext Info: Graphics extension search list: +(grfext) [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPEG,.JBIG2,.JB2,.eps] +(grfext) \AppendGraphicsExtensions on input line 504. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Live )) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] -Overfull \hbox (65.6867pt too wide) in paragraph at lines 245--246 +Overfull \hbox (65.6867pt too wide) in paragraph at lines 244--245 [][] [] -Overfull \hbox (34.79312pt too wide) in paragraph at lines 319--320 +Overfull \hbox (34.79312pt too wide) in paragraph at lines 345--346 [][] [] -[1] [2] [3] (./project.aux) ) + +Overfull \hbox (34.79312pt too wide) in paragraph at lines 446--447 +[][] + [] + +[1] [2] [3] [4 + +] (./project.aux) + +LaTeX Warning: There were multiply-defined labels. + + ) Here is how much of TeX's memory you used: - 13326 strings out of 479304 - 280587 string characters out of 5869778 - 618881 words of memory out of 5000000 - 30307 multiletter control sequences out of 15000+600000 + 13885 strings out of 479304 + 290077 string characters out of 5869778 + 665548 words of memory out of 5000000 + 30830 multiletter control sequences out of 15000+600000 408198 words of font info for 44 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 - 113i,10n,116p,439b,919s stack positions out of 5000i,500n,10000p,200000b,80000s + 113i,10n,116p,418b,915s stack positions out of 5000i,500n,10000p,200000b,80000s -Output written on project.pdf (4 pages, 86781 bytes). +Output written on project.pdf (5 pages, 90541 bytes). PDF statistics: - 48 PDF objects out of 1000 (max. 8388607) - 34 compressed objects within 1 object stream + 51 PDF objects out of 1000 (max. 8388607) + 36 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 13 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/project.pdf b/project.pdf index d121581e..394d950c 100644 Binary files a/project.pdf and b/project.pdf differ diff --git a/project.synctex.gz b/project.synctex.gz index 26f3e418..b7d07457 100644 Binary files a/project.synctex.gz and b/project.synctex.gz differ diff --git a/project.tex b/project.tex index 4d39c974..877e5915 100644 --- a/project.tex +++ b/project.tex @@ -1,6 +1,7 @@ \documentclass{report} \usepackage{amsmath} \usepackage{tikz} +\usepackage[section]{placeins} \usetikzlibrary{automata, arrows.meta, positioning} @@ -29,7 +30,7 @@ We are given following regular expression: \end{enumerate} \section{Building NFA using Thompson construction algorithm} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] @@ -42,7 +43,7 @@ We are given following regular expression: \caption{Operator 'a'} \label{fig:operatorA} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] @@ -55,7 +56,7 @@ We are given following regular expression: \caption{Operator 'b'} \label{fig:operatorB} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] @@ -78,11 +79,11 @@ We are given following regular expression: \caption{Operator '$a^*$'} \label{fig:operatorAstar} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] -\node (q6) [state, initial, initial text = {}] {$q_6$}; +\node (q6) [state, initial, initial text = {}] {$q_2$}; \node (q0) [state, right = of q6] {$q_4$}; \node (q1) [state, right = of q0] {$q_0$}; \node (q2) [state, right = of q1] {$q_1$}; @@ -104,7 +105,7 @@ We are given following regular expression: \caption{Operator '$ba^*$'} \label{fig:operatorbastar} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] @@ -134,13 +135,13 @@ We are given following regular expression: \caption{Operator '$ba^*b$'} \label{fig:operatorbastarb} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] -\node (q8) [state, initial, initial text = {}] {$q_8$}; -\node (q9) [state, right = of q8] {$q_9$}; -\node (q4) [state, right = of q9] {$q_{4}$}; +\node (q8) [state, initial, initial text = {}] {$q_2$}; +\node (q9) [state, right = of q8] {$q_3$}; +\node (q4) [state, accepting, right = of q9] {$q_{4}$}; \path [-stealth, thick] (q8) edge node {$b$} (q9); @@ -152,12 +153,12 @@ We are given following regular expression: \caption{Operator '$bb$'} \label{fig:operatorbb} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] -\node (q8) [state, initial, initial text = {}] {$q_8$}; -\node (q9) [state, right = of q8] {$q_9$}; +\node (q8) [state, initial, initial text = {}] {$q_2$}; +\node (q9) [state, right = of q8] {$q_3$}; \node (q0) [state, right = of q9] {$q_4$}; \node (q1) [state, right = of q0] {$q_0$}; \node (q2) [state, right = of q1] {$q_1$}; @@ -182,7 +183,7 @@ We are given following regular expression: \caption{Operator '$bba^*$'} \label{fig:operatorbbastar} \end{figure} -\begin{figure} +\begin{figure}[!htb] \centering \begin{tikzpicture} [node distance = 2cm, on grid, auto] @@ -195,16 +196,14 @@ We are given following regular expression: \node (q3) [state, right = of q2] {$q_5$}; % ba*b \node (q4) [state, below right = of q10] {$q_6$}; -\node (q5) [state, right = of q4] {$q_4$}; -\node (q6) [state, right = of q5] {$q_0$}; -\node (q7) [state, right = of q6] {$q_1$}; -\node (q8) [state, right = of q7] {$q_5$}; +\node (q5) [state, right = of q4] {$q_8$}; +\node (q6) [state, right = of q5] {$q_9$}; +\node (q7) [state, right = of q6] {$q_{12}$}; +\node (q8) [state, right = of q7] {$q_{13}$}; \node (q9) [state, right = of q8] {$q_7$}; \node (q11) [state, accepting, above right = of q9] {$q_{11}$}; - - \path [-stealth, thick] (q10) edge node {$\varepsilon$} (q0); @@ -246,7 +245,7 @@ We are given following regular expression: \caption{Operator '$a^*+ba^*b$'} \label{fig:operatorastarOrbastarb} \end{figure} -\begin{figure} +\begin{figure}[!htb] \begin{tikzpicture} [node distance = 1.5cm, on grid, auto] \node (q12) [state, initial, initial text = {}] {$q_{12}$}; @@ -260,16 +259,43 @@ We are given following regular expression: \node (q3) [state, right = of q2] {$q_5$}; % ba*b \node (q4) [state, below right = of q10] {$q_6$}; -\node (q5) [state, right = of q4] {$q_4$}; -\node (q6) [state, right = of q5] {$q_0$}; -\node (q7) [state, right = of q6] {$q_1$}; -\node (q8) [state, right = of q7] {$q_5$}; +\node (q5) [state, right = of q4] {$q_8$}; +\node (q6) [state, right = of q5] {$q_9$}; +\node (q7) [state, right = of q6] {$q_{12}$}; +\node (q8) [state, right = of q7] {$q_{13}$}; \node (q9) [state, right = of q8] {$q_7$}; \node (q11) [state, above right = of q9] {$q_{11}$}; \node (q13) [state, accepting, below right = of q11] {$q_{13}$}; +% bba* +\node (q14) [state, below right = of q12] {$q_{14}$}; +\node (q15) [state, right = of q14] {$q_{15}$}; +\node (q16) [state, right = of q15] {$q_{16}$}; +\node (q17) [state, right = of q16] {$q_{17}$}; +\node (q18) [state, right = of q17] {$q_{18}$}; +\node (q19) [state, right = of q18] {$q_{19}$}; + +\path [-stealth, thick] + (q12) edge node {$b$} (q14); + +\path [-stealth, thick] + (q14) edge node {$b$} (q15); +\path [-stealth, thick] + (q15) edge node {$b$} (q16); +\path [-stealth, thick] + (q16) edge node {$\varepsilon$} (q17); +\path [-stealth, thick] + (q16) edge [bend right] node[below left] {$\varepsilon$} (q19); +\path [-stealth, thick] + (q17) edge node {$a$} (q18); +\path [-stealth, thick] + (q18) edge node {$\varepsilon$} (q19); +\path [-stealth, thick] + (q18) [bend left] edge node {$\varepsilon$} (q17); +\path [-stealth, thick] + (q19) edge [bend right] node {$b$} (q13); \path [-stealth, thick] (q12) edge node {$\varepsilon$} (q10); @@ -300,7 +326,7 @@ We are given following regular expression: \path [-stealth, thick] (q5) edge node {$\varepsilon$} (q6); \path [-stealth, thick] - (q5) edge [bend right] node[below left] {$\varepsilon$} (q8); + (q5) edge [bend left] node[below left] {$\varepsilon$} (q8); \path [-stealth, thick] (q6) edge node {a} (q7); \path [-stealth, thick] @@ -320,6 +346,106 @@ We are given following regular expression: \caption{Operator '$a^*+ba^*b + bba^*$'} \label{fig:final} \end{figure} +\begin{figure}[!htb] +\begin{tikzpicture} [node distance = 1.5cm, on grid, auto] + +\node (q12) [state, initial, initial text = {}] {$q_{0}$}; + +\node (q10) [state, above right = of q12] {$q_{1}$}; +% a* + +\node (q0) [state, above right = of q10] {$q_3$}; +\node (q1) [state, right = of q0] {$q_6$}; +\node (q2) [state, right = of q1] {$q_9$}; +\node (q3) [state, right = of q2] {$q_{12}$}; +% ba*b +\node (q4) [state, below right = of q10] {$q_4$}; +\node (q5) [state, right = of q4] {$q_7$}; +\node (q6) [state, right = of q5] {$q_{10}$}; +\node (q7) [state, right = of q6] {$q_{13}$}; +\node (q8) [state, right = of q7] {$q_{15}$}; +\node (q9) [state, right = of q8] {$q_{17}$}; + +\node (q11) [state, above right = of q9] {$q_{18}$}; + +\node (q13) [state, accepting, below right = of q11] {$q_{19}$}; + +% bba* +\node (q14) [state, below right = of q12] {$q_{2}$}; +\node (q15) [state, right = of q14] {$q_{5}$}; +\node (q16) [state, right = of q15] {$q_{8}$}; +\node (q17) [state, right = of q16] {$q_{11}$}; +\node (q18) [state, right = of q17] {$q_{14}$}; +\node (q19) [state, right = of q18] {$q_{16}$}; + +\path [-stealth, thick] + (q12) edge node {$b$} (q14); + +\path [-stealth, thick] + (q14) edge node {$b$} (q15); +\path [-stealth, thick] + (q15) edge node {$b$} (q16); +\path [-stealth, thick] + (q16) edge node {$\varepsilon$} (q17); +\path [-stealth, thick] + (q16) edge [bend right] node[below left] {$\varepsilon$} (q19); +\path [-stealth, thick] + (q17) edge node {$a$} (q18); +\path [-stealth, thick] + (q18) edge node {$\varepsilon$} (q19); +\path [-stealth, thick] + (q18) [bend left] edge node {$\varepsilon$} (q17); +\path [-stealth, thick] + (q19) edge [bend right] node {$b$} (q13); + +\path [-stealth, thick] + (q12) edge node {$\varepsilon$} (q10); + +\path [-stealth, thick] + (q10) edge node {$\varepsilon$} (q0); + +\path [-stealth, thick] + (q10) edge node {$\varepsilon$} (q4); + +% a* +\path [-stealth, thick] + (q0) edge node {$\varepsilon$} (q1); +\path [-stealth, thick] + (q0) edge [bend right] node[below left] {$\varepsilon$} (q3); +\path [-stealth, thick] + (q1) edge node {a} (q2); +\path [-stealth, thick] + (q2) [bend left] edge node {$\varepsilon$} (q1); +\path [-stealth, thick] + (q2) edge node {$\varepsilon$} (q3); +\path [-stealth, thick] + (q3) edge node {$\varepsilon$} (q11); + +% ba*b +\path [-stealth, thick] + (q4) edge node {$b$} (q5); +\path [-stealth, thick] + (q5) edge node {$\varepsilon$} (q6); +\path [-stealth, thick] + (q5) edge [bend left] node[below left] {$\varepsilon$} (q8); +\path [-stealth, thick] + (q6) edge node {a} (q7); +\path [-stealth, thick] + (q7) [bend left] edge node {$\varepsilon$} (q6); +\path [-stealth, thick] + (q7) edge node {$\varepsilon$} (q8); +\path [-stealth, thick] + (q8) edge node {$b$} (q9); +\path [-stealth, thick] + (q9) edge node {$\varepsilon$} (q11); +\path [-stealth, thick] + (q11) edge node {$\varepsilon$} (q13); + +% bba* + +\end{tikzpicture} +\caption{Operator '$a^*+ba^*b + bba^*$' - changed names of states} \label{fig:final} +\end{figure} \section{Transforming NFA into DFA using subset algorithm} \section{Constructing minimal state DFA}