From Lousy Parakeet, 8 Months ago, written in CSS.
This paste is a reply to Re: Re: Re from Walloping Bison
- view diff
Embed
  1. \documentclass{article}
  2. \usepackage[utf8]{inputenc}
  3. \usepackage{graphicx}
  4. \usepackage{sidecap}
  5. \usepackage{fourier}
  6. \usepackage{tikz}
  7. \usetikzlibrary{automata, positioning, arrows}
  8. \usepackage{amsmath}
  9. \usetikzlibrary{calc}
  10. \usepackage{geometry}
  11.  \title{Domowe Zadania z Maszyny Turinga}
  12.  \author{}
  13.  \date{}
  14.        
  15.  \begin{document}
  16.  \maketitle
  17. \maketitle
  18.  
  19. \newgeometry{left=2cm}
  20. \section{graf}
  21.  
  22. \begin{tikzpicture}
  23. \tikzset{->, >=stealth,node distance=4cm, every state/.style={thick,
  24. fill=gray!10},initial text=$ $,
  25. }
  26. \node[state,initial] (q0) {$q_{0}$};
  27. \node[state, right of=q0] (q1) {$q_{1}$};
  28. \node[state, right of=q1] (q2) {$q_{2}$};
  29. \node[state, below of=q2] (q3) {$q_{3}$};
  30. \node[state, below of=q3] (q4) {$q_{4}$};
  31. \node[state, below of=q0] (q5) {$q_{5}$};
  32. \node[state, accepting, left of=q3,fill={rgb:green,4}] (q6) {$q_{6}$};
  33. \draw (q0) edge[above ] node{$1/\bigtriangledown \to  $} (q1)
  34. (q1)   edge[above] node{$\bigtriangledown/ \bigtriangledown \to$} (q2)
  35. (q1)   edge[loop above] node{$1/1 \gets $} (q1)
  36. (q2)   edge[right] node{$1/\bigtriangledown \gets $} (q3)
  37. (q3)  edge[below right] node{$1/1 \gets $} (q4)
  38. (q3)  edge[above] node{$\bigtriangledown /0 - $} (q6)
  39. (q4)   edge[below] node{$1/1 \gets $} (q5)
  40. (q4)  edge[right] node{$\bigtriangledown/ \bigtriangledown - $} (q6)
  41. (q5)  edge[loop left] node{$1/1 \gets$} (q5)
  42. (q5) edge[left] node{$\bigtriangledown / \bigtriangledown \to$} (q0);
  43. \end{tikzpicture}
  44. \restoregeometry
  45.  
  46. \section{jednotasmowa}
  47. \Large
  48. \hspace{1cm} \textbf{$\Large \downarrow$}
  49.  
  50. \begin{tabular}{l}
  51. \hline
  52. $\bigtriangledown$ \ | \ 1 \ | \ 1 \ | \  1 \ | \ 1 \ | \ $\bigtriangledown$  \\ \hline
  53. \end{tabular}
  54. $ \hspace{2cm} K_{0} \ \ q_{0}1111\vdash$
  55.  
  56. \section{dwutasmowa}
  57. \Large
  58. \hspace{-1.3cm}
  59. \begin{tabular}{|r|l|}
  60. \hline
  61. $q_{0}$ \\
  62. \hline
  63. \end{tabular}
  64.  
  65. \hspace{1.1cm} \textbf{$\Large \downarrow$}
  66.  
  67. \begin{tabular}{@{} l }
  68. \hline
  69. | \ $\bigtriangledown$ \ | \ a \ | \ b \  | \ c \ | \ $\bigtriangledown$  \\
  70. \hline
  71. \end{tabular}
  72. \vspace{0.1cm}
  73.  
  74. \hspace{1.1cm} \textbf{$\Large \downarrow$}
  75.  
  76. \begin{tabular}{@{} l }
  77. \hline
  78. | \ $\bigtriangledown$ \ |  $\bigtriangledown$ |  $\bigtriangledown$   |  $\bigtriangledown$  | \ $\bigtriangledown$  \\
  79. \hline
  80. \end{tabular}
  81. $ \hspace{2cm} K_{0} = \ ( q_{0}abc , q_{0}\bigtriangledown)\vdash$
  82.  
  83. \end{document}
  84.