1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
%%
%% A DANTE-Edition example
%%
%% Example 33-04-3 on page 727.
%%
%% Copyright (C) 2011 Herbert Voss
%%
%% It may be distributed and/or modified under the conditions
%% of the LaTeX Project Public License, either version 1.3
%% of this license or (at your option) any later version.
%%
%% See http://www.latex-project.org/lppl.txt for details.
%%
%%
%% ====
% Show page(s) 1
%%
\documentclass[]{article}
\pagestyle{empty}
\setlength\textwidth{375.57637pt}
\usepackage{vaucanson-g,graphicx}
\begin{document}
\resizebox{\linewidth}{!}{\begin{VCPicture}{(-11,-5)(11,12)}
\PlainState\LargeState\ChgStateLabelScale{0.75}
\StateIF[p,q]{(-10,-1)}{AB} \StateIF[q,r]{(-6,-1)}{BC}
\StateIF[p,r]{(-8,-4.464)}{AC} \VCPut{(-5,-5)}{$\kappa=[2,0,0]$}
\StateIF[p]{(8,1.536)}{A} \StateIF[q]{(6,5)}{B}
\StateIF[r]{(10,5)}{C} \VCPut{(8,-0.5)}{$\kappa=[1,0,0]$}
\StateIF[pq]{(-8,7.536)}{Ab} \StateIF[qr]{(-6,11)}{Bc}
\StateIF[pr]{(-10,11)}{Ac} \VCPut{(-2,11)}{$\kappa=[0,1,0]$}
\StateIF[p,qr]{(0,-1.464)}{ABc} \StateIF[q,pr]{(-2,2)}{BAc}
\StateIF[r,pq]{(2,2)}{CAb} \VCPut{(3,-2)}{$\kappa=[1,1,0]$}
\StateVar[pq,pr,qr]{(-8,3)}{AbAcBc}\VCPut{(-8,1)}{$\kappa=[0,3,0]$}
\StateIF[pr,qr]{(2,8)}{AcBc} \StateIF[pq,pr]{(0,4.536)}{AbAc}
\StateIF[pq,qr]{(-2,8)}{AbBc} \VCPut{(5,9)}{$\kappa=[0,2,0]$}% end phys. coors
\DimEdge\ChgEdgeLineStyle{dashed} \RstEdgeLineWidth
\EdgeR{Ab}{AbAc}{} \EdgeR{Ab}{AbBc}{} \EdgeR{Ac}{AbAc}{}
\EdgeR{Ac}{AcBc}{} \EdgeR{Bc}{AbBc}{} \EdgeR{Bc}{AcBc}{}
\EdgeR{AbAc}{AbAcBc}{} \EdgeR{AbAc}{A}{} \EdgeR{AbBc}{AbAcBc}{}
\EdgeR{AbBc}{B}{} \EdgeR{AcBc}{AbAcBc}{}\EdgeR{AcBc}{C}{}
\EdgeR{A}{ABc}{} \EdgeR{B}{BAc}{} \EdgeR{C}{CAb}{}
\EdgeR{AbAcBc}{ABc}{} \EdgeR{AbAcBc}{BAc}{} \EdgeR{AbAcBc}{CAb}{}
\EdgeR{ABc}{AB}{} \EdgeR{ABc}{AC}{} \EdgeR{BAc}{AB}{}
\EdgeR{BAc}{BC}{} \EdgeR{CAb}{AC}{} \EdgeR{CAb}{BC}{}
\RstEdge
\Initial{Ab}\Final{Ab}\Final[w]{Ac}\Final{Bc}\Initial{AbAc}\Initial{AbBc}
\Final[s]{AbBc}\Final{AbAc}\Final{AcBc}
\Initial{AbAcBc}\Final{AbAcBc}\Initial{A}
\Initial{B}\Final[s]{B}\Final{C}\Initial{ABc}\Initial{BAc}\Initial[s]{CAb}
\Final[s]{BAc}\Final{CAb}\Initial{AB}\Initial{AC}\Initial[s]{BC}\Final{BC}
\EdgeR{Ab}{Bc}{a,b} \EdgeR{Bc}{Ac}{a} \EdgeR{Ac}{Ab}{a}
\EdgeL{AbAc}{AbBc}{a} \EdgeL{AbBc}{AcBc}{a} \EdgeL{AcBc}{AbAc}{a}
\LoopN{AbAcBc}{a}\EdgeL{A}{B}{a}
\EdgeL{B}{C}{a}\ArcL{A}{C}{b}\ArcL{C}{A}{a}
\LoopN{B}{b}\EdgeL{ABc}{BAc}{a}\EdgeL{BAc}{CAb}{a}\EdgeL{CAb}{ABc}{a}
\EdgeL{AB}{BC}{a,b}\EdgeL{BC}{AC}{a}\EdgeL{AC}{AB}{a}
\end{VCPicture}}
\end{document}
|
