Create an automaton with LaTeX

Question

I want to create this automaton with LaTeX:

screenshot

The code:

\begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=2.8cm,
semithick]
\node[initial,state] (A) {$1$} ;
\node[state,accepting] (B) [right of=A] {$2$};
\node[state,accepting] (C) [below of=A] {$3$};

\path (A) edge node  {a} (B)
edge node {b} (C)

\end{tikzpicture}

Welcome to TeX.SE! have you looked at the tikz/pgf manual? see section 24, pg 258 — cmhughes, Apr 24 '13 at 01:07
I succeed to create my automaton except the two label return(a) ,return(b).How can I add the thwo labels in my automaton ? — GoldRay, Apr 24 '13 at 01:52
@user29570 you can add your current code as an edit to your question. — Gonzalo Medina, Apr 24 '13 at 01:54
@user29570 Edit your question providing a minimal working example (MWE), otherwise, we hardly can help you. For TikZ you can use the label option: \node[<options>, label=below right:return(b)] {3}; — Qrrbrbirlbel, Apr 24 '13 at 01:54
@Qrrbrbirlbel I want to add this label return(OP-AR,PLUS) using this \node[state,accepting] label=below right:return(OP-AR,PLUS) [above right of=3] {$4$}; I encountered a error !! — GoldRay, Apr 24 '13 at 02:25
@user29570 As usual, you need to enclose any , that should not split by option spliter in { }. For example: \node[state,accepting] [label=below right:{return(OP-AR,PLUS)}](4) [above right of=3] {$4$}; — Qrrbrbirlbel, Apr 24 '13 at 02:28

kan · Accepted Answer · 2013-04-24T02:26:33.900

8

Are you looking for something like this?

\documentclass{amsart}
\usepackage{tikz}
\usetikzlibrary{automata, positioning}
\begin{document}
\begin{tikzpicture}[node distance=2cm,auto]
\node[state,initial] (q_0) {1};
\node[state, accepting, label = below right:return(a)] (q_1) at (3,0) {2};
\node[state, accepting, label = below right:return(b)] (q_2) at (1.5,-2) {3};

\path[->] (q_0) edge node[swap] {$b$} (q_2);
\path[->, bend left = 30] (q_0) edge node {$a$} (q_1);
\end{tikzpicture}
\end{document}

Here's how the output looks like:

edited Apr 24 '13 at 02:26

answered Apr 24 '13 at 02:11

kan

4,545

3

node[swap] {$b$} – Qrrbrbirlbel Apr 24 '13 at 02:23
@Qrrbrbirlbel Thank you so much! I have now changed it as per your correction. :) – kan Apr 24 '13 at 02:27

score 5 · Answer 2 · edited Jun 16 '17 at 16:20

5

Using xy-pic for automata diagrams

enter image description here

\documentclass{article}
\usepackage[all]{xy}
\begin{document}
\xymatrix{%
*+<2pc>[o][F-]{1} \ar@(ul,ul)[]^>>>{start} \ar@/^0pc/[r]^a \ar@/_1pc/[dr]^b
& *+<2pc>[o][F=]{2} \ar@{}[d]^<<<{return(a)}  \\
& *+<2pc>[o][F=]{3} \ar@{}[]^<<<{return(b)} }
\end{document}

edited Jun 16 '17 at 16:20

Moriambar

11,466

answered Apr 24 '13 at 07:37

texenthusiast

6,057

Thank you.. how to place return (b) the right of the state 3? – GoldRay Apr 24 '13 at 18:42
@user29570 is this position ok ? – texenthusiast Apr 24 '13 at 19:20

Paulo Cereda · Answer 3 · 2013-04-25T11:11:10.987

For completeness sake, time for an old school automata package: vaucanson-g! :)

Compile with xelatex:

\documentclass{article}

\usepackage{vaucanson-g}
\usepackage{amsmath}

\begin{document}

\begin{VCPicture}{(0,-2)(2,2)}

\State[1]{(-2,2)}{STATEONE}
\FinalState[2]{(2,2)}{STATETWO}
\FinalState[3]{(0,0)}{STATETHREE}

\Initial{STATEONE}
\FinalR{ne}{STATETWO}{\text{return}(a)}
\FinalR{ne}{STATETHREE}{\text{return}(b)}

\LArcL{STATEONE}{STATETWO}{a}
\LArcR{STATEONE}{STATETHREE}{b}

\end{VCPicture}

\end{document}

The output:

Output

Update, per OP request:

\documentclass{article}

\usepackage{vaucanson-g}

\begin{document}

\begin{VCPicture}{(0,-2)(2,2)}

\State[1]{(-2,2)}{STATEONE}
\FinalState[2]{(2,2)}{STATETWO}
\FinalState[3]{(0,0)}{STATETHREE}

\Initial{STATEONE}

\LArcL{STATEONE}{STATETWO}{a}
\LArcR{STATEONE}{STATETHREE}{b}

\rput(4,2){\LARGE return$(a)$}
\rput(2,0){\LARGE return$(b)$}

\end{VCPicture}

\end{document}

The new output:

New output

Thank you ..Is it possible to remove the arrows on the states 2 and 3? — GoldRay, Apr 24 '13 at 18:38
@user29570: It's been a while since I used vaucanson-g for the last time, but since it's PSTricks under the hood, we can use \rput and inject our text in the position we want it to appear, as I did in my update. I'm used to see transducers with the output represented as an arrow, but of course this is a matter of personal taste. :) — Paulo Cereda, Apr 25 '13 at 11:14

Create an automaton with LaTeX

3 Answers3

Linked