spec/sm/scanner.tex

   1 \documentclass{minimal}
   2 \pagestyle{empty}
   3
   4 \usepackage{pstricks}
   5 \usepackage{pst-node}
   6
   7 \begin{document}
   8
   9 \begin{psmatrix}[mnode=oval, colsep=3cm, rowsep=2cm]
  10 [mnode=R,name=res]{sys\_res\_n} &
  11 [name=idle]{\shortstack{\textbf{idle}\\bs = 0\\take=0\\do\_it=0}} &
  12 [name=take]{\shortstack{\textbf{\"ubernehmen}\\take = 1\\char = $b_0$}} \\
  13 %%
  14 [name=doit]{\shortstack{\textbf{enter}\\do\_it = 1}} &
  15 [name=read]{\shortstack{\textbf{read}\\$b_0$ = data}} &
  16 [name=bs]{\shortstack{\textbf{l\"oschen}\\backspace = 1}} \\
  17 \end{psmatrix}
  18
  19 \psset{arrows=->, shortput=nab}
  20
  21 \ncline[linestyle=dotted]{res}{idle}
  22
  23 \ncarc[arcangle=35]{idle}{read}\ncput*[npos=.33]{new\_data$\uparrow$}
  24 \ncarc[arcangle=35]{read}{idle}\ncput*[npos=.33]{ung\"ultiges byte}
  25
  26 \ncarc[arcangle=-25]{read}{bs}\ncput*[npos=.50]{$b_0 == 0x0e$}
  27 \ncarc[arcangle=25]{read}{doit}\ncput*[npos=.50]{$b_0 == 0x1c$}
  28 \ncarc[arcangle=-20]{read}{take}\ncput*[npos=.40]{g\"ultiges zeichen}
  29
  30 \ncarc[arcangle=-15]{bs}{idle}
  31 \ncarc[arcangle=25]{doit}{idle}\ncput*[npos=.50]{finished\_result$\uparrow$}
  32 \ncarc[arcangle=-25]{take}{idle}
  33 \end{document}