mirror of
https://github.com/kuhyx/WUT_Computer_Science.git
synced 2026-07-04 14:43:08 +02:00
Finishing first two tasks
This commit is contained in:
parent
71a3443f36
commit
caed8e2590
@ -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}
|
||||
|
||||
@ -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"
|
||||
|
||||
@ -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
|
||||
|
||||
@ -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
|
||||
</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr7.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb>
|
||||
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)
|
||||
|
||||
|
||||
Binary file not shown.
Binary file not shown.
@ -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}
|
||||
|
||||
Loading…
Reference in New Issue
Block a user