From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- graphics/gastex/ex-beamer-gastex.tex | 107 +++++++++++++++++++++++++++++++++++ 1 file changed, 107 insertions(+) create mode 100644 graphics/gastex/ex-beamer-gastex.tex (limited to 'graphics/gastex/ex-beamer-gastex.tex') diff --git a/graphics/gastex/ex-beamer-gastex.tex b/graphics/gastex/ex-beamer-gastex.tex new file mode 100644 index 0000000000..d35ab955a4 --- /dev/null +++ b/graphics/gastex/ex-beamer-gastex.tex @@ -0,0 +1,107 @@ +% \documentclass[10pt,mathserif,handout]{beamer} +\documentclass[10pt,mathserif,display]{beamer} +\usepackage{gastex} +\gasset{linewidth=0.21,AHdist=2.1,AHLength=2.25,AHlength=2.1} +\gasset{ATdist=2.1,ATLength=2.25,ATlength=2.1} +% \usepackage{beamerthemeEPIT} +\usepackage{beamerthemeplain} + +\beamersetleftmargin{3mm} +\beamersetrightmargin{3mm} +\abovedisplayskip=1ex +\belowdisplayskip=1ex +\parskip=.5ex +\parindent=0pt + +\newcommand{\Auto}{\mathcal{A}} +\newcommand{\F}{\mathop{\mathsf{F}\vphantom{a}}\nolimits} +\newcommand{\G}{\mathop{\mathsf{G}\vphantom{a}}\nolimits} +\newcommand{\X}{\mathop{\mathsf{X}\vphantom{a}}\nolimits} +\newcommand{\True}{\top} +\newcommand{\False}{\bot} + +\newcommand{\Blue}[1]{\textcolor{blue}{#1}} +\newcommand{\Red}[1]{\textcolor{red}{#1}} +\newcommand{\Green}[1]{\textcolor{PineGreen}{#1}} + +\begin{document} + + +%%%%%%%%%%%%%%%%%%%%%% +\frame{ + \frametitle{Automaton $\Auto_\varphi$} + \vspace{-7mm} + \begin{center}\scalebox{0.9}{ + \begin{picture}(130,71)(-12,0)\nullfont +% \put(-12,0){\framebox(130,71){}} + \gasset{Nadjust=w,Nadjustdist=2,Nh=8,fillcolor=White,Nfill=y,ilength=7} + {\only<7-| handout:0>{\gasset{fillcolor=yellow}} + \node[Nmarks=i](1)(10,45){$\varphi=\G(\neg p\vee\F q)$}} + \node(2)(10,25){$\neg p\vee\F q, \X\varphi$}\drawedge(1,2){} + \node(3)(10,05){$\neg p, \X\varphi$}\drawedge(2,3){} + \node(4)(40,25){$\F q, \X\varphi$}\drawedge(2,4){} + \node(5)(40,45){$q, \X\varphi$}\drawedge(4,5){} + \node(6)(40,05){$\X\F q, \X\varphi$}\drawedge(4,6){\Blue{$\F q$}} + + \only<2->{ + \only<2| handout:0>{\gasset{linecolor=Red}} + \drawedge[curvedepth=15](3,1){$\neg p$} + \drawedge[ELside=r,ELpos=35](5,1){$q$} + {\only<7-| handout:0>{\gasset{fillcolor=yellow}} + \node(7)(70,05){$\F q, {\only<3| handout:0>{\color{red}}\varphi}$}} + \drawedge(6,7){$\True$} + } + \only<3->{ + \only<3| handout:0>{\gasset{linecolor=Red}} + \node(8)(70,25){$\F q, + {\only<3-4| handout:0>{\color{red}}\neg p\vee\F q}, + {\only<3| handout:0>{\color{red}}\X\varphi}$} + \drawedge(7,8){} + } + \only<4->{ + \only<4| handout:0>{\gasset{linecolor=Red}} + \node(9)(70,45){${\only<5| handout:0>{\color{red}}\F q}, + {\only<4| handout:0>{\color{red}}\neg p}, + \X\varphi$} + \drawedge[ELpos=55](8,4){} + \drawedge(8,9){} + } + \only<5->{ + \node(10)(105,25){${\only<5| handout:0>{\color{red}}\X\F q}, + \neg p, \X\varphi$} + \node(11)(40,65){${\only<5| handout:0>{\color{red}}q}, + \neg p, \X\varphi$} + \only<5| handout:0>{\gasset{linecolor=Red}} + \drawedge(9,10){\Blue{$\F q$}} + \drawedge(9,11){} + } + \only<6->{ + \only<6| handout:0>{\gasset{linecolor=Red}} + \drawedge(10,7){$\neg p$} + \drawedge[ELside=r](11,1){$\neg p\wedge q$} + } + \only<7->{\put(18,18){ +% \drawrect(58,33,100,53) + \gasset{loopdiam=5,Nw=7,Nh=7} + \gasset{fillcolor=yellow} + \node[Nmarks=i,ilength=5](A)(72,40){1} + \node(B)(92,40){2} + \drawedge[curvedepth=2,linecolor=blue](A,B){$\True$} + \drawedge[curvedepth=2](B,A){$q$} + \only<7>{\drawedge[curvedepth=8](B,A){$\neg p\wedge q$}} + \drawloop(A){$\neg p\vee q$} + \drawloop[linecolor=blue](B){$\True$} + \only<7>{\drawloop[ELpos=75,linecolor=blue,loopangle=0](B){$\neg p$}} + }} + \end{picture}} + \end{center} + + \vspace{-2mm} + \uncover<2->{{\only<2>{\color{red}} + Transition = check litterals and move forward.}} + + \uncover<8->{{\only<8>{\color{red}} + Simplification}} +} + +\end{document} -- cgit v1.2.3