summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex')
-rw-r--r--Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex107
1 files changed, 0 insertions, 107 deletions
diff --git a/Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex b/Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex
deleted file mode 100644
index d35ab955a4c..00000000000
--- a/Master/texmf-dist/doc/latex/gastex/ex-beamer-gastex.tex
+++ /dev/null
@@ -1,107 +0,0 @@
-% \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}