{automata} is about the realization of automata (i.e. finite state machines) in (La)TeX.

learn more… | top users | synonyms

44
votes
2answers
17k views

Which package can be used to draw automata?

I'm looking for a LaTeX package which helps drawing automata problems. I googled and found A package for drawing automata and graphs (Version 0.4). But I'm not sure is this package a standard one, or ...
41
votes
3answers
20k views

How to add newline within node using TikZ?

I want to break the input of a path in order to draw Pushdown Automaton,so I try to use the break line symbol \\ and even $$ $$, it still doesnt break the lines. For example, the input should be 0, ...
26
votes
3answers
13k views

Moving a label along the path

Friends, consider the following code: \documentclass{article} \usepackage{tikz} \usetikzlibrary{automata,positioning} \begin{document} \pagestyle{empty} \begin{tikzpicture}[shorten >=1pt,node ...
20
votes
2answers
3k views

Arc between arrows in TikZ (automata library)

Here's what I have for now: \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=3.5cm, semithick, bend angle=35] \tikzstyle{every ...
17
votes
2answers
2k views

How to draw a many edges loop above - tikz

im try to draw many edges loop above in the same node, i have writing : \documentclass{report} \usepackage{tikz} \usetikzlibrary{arrows,positioning,automata,shadows,fit,shapes} \begin{document} ...
13
votes
5answers
7k views

TikZ Automata Make An Arrow To Nowhere

I have the following TikZ code: \documentclass{standalone} \usepackage{tikz} \usetikzlibrary{arrows,automata} \begin{document} \begin{tikzpicture}[shorten >=1pt,node ...
13
votes
1answer
7k views

Rotate/align text on arrows in tikz

I am trying to draw state transitions using tikz, and place the reasons for those transitions on the arrows between states. The problem is that the text is not aligned on the arrows, and while in and ...
12
votes
1answer
19k views

Change bend angle and swap node position on arrow

I'm trying to draw an automata as follows: \begin{tikzpicture}[>=stealth',shorten >=1pt,auto,node distance=2.8cm] \node[initial,state] (q1) {$1$}; \node[state] (q2) [right ...
11
votes
1answer
18k views

How to position the labels of the path in automata?

This is my tikz code : \documentclass[a4paper,10pt]{article} \usepackage{verbatim} \usepackage{pgf} \usepackage{tikz} \usetikzlibrary{arrows,automata} \usepackage{graphicx} \usepackage{amssymb} ...
10
votes
2answers
7k views

How do you get two lines between nodes that have paths to each other instead of a double ended line? [duplicate]

Possible Duplicate: Double arrow in TIKZ? \begin{tikzpicture} [->,>=stealth',shorten >=1pt,auto,node distance=1.5cm,semithick,font=\tiny] \tikzstyle{every state}= ...
9
votes
1answer
7k views

How to draw double circle node in tikz?

Consider the following code: \begin{document} \begin{figure} \begin{tikzpicture}[>=stealth',shorten >=1pt,auto,node distance=5 cm, scale = 1, transform shape] \node[initial,state] (A) ...
9
votes
1answer
6k views

TikZ automata: size of circle around nodes

I am trying to replace vaucanson-g with TikZ, but I cannot make the automata as small. There seems to be a minimum size of the circle around nodes, that I can't reduce even with inner sep=0. Example ...
8
votes
1answer
2k views

How to change the position of the initial text in TikZ automata?

It seems PGF manual for v1.18 doesn't cover the case on how to change the position of the initial text relative to the initial transition. Accoring to the PGF manual section 19.3 the parameters of ...
7
votes
1answer
562 views

Drawing multiple iterations of cellular automatons inline, possibly with TikZ

I want to illustrate the iterations of a cellular automaton picture-by-picture in some slides. For those not familiar with the topic, imagine a two-dimensional grid of square cells where each square ...
6
votes
2answers
89 views

Customize arrow path tikz

I want to connect two nodes with an arrow, but I want the arrow to follow a "customized" path. Instead of the simple way: \documentclass{standalone} \usepackage{tikz} ...
6
votes
5answers
379 views

Add a second label to a path in an automaton

Friends, consider the following code: \documentclass{article} \usepackage{tikz} \usetikzlibrary{automata} \usetikzlibrary{positioning} \begin{document} \begin{tikzpicture}[shorten >=1pt,,node ...
6
votes
2answers
7k views

how to decrease the size of a node and a label - tikz package

i trying to draw an automata using tikz package, and i want to decrease the size of node and labels on each edge , im have trying to put the option [scale=0.5] but it doesn't work ! I have : ...
6
votes
2answers
618 views

Avoid arrows crossing one another in automata TikZ

I was wondering if there is a way to avoid arrows crossing one another like they do in the figure below. It is the arrows going from "account", "pin", and "verify" I want to go around "log" so that ...
6
votes
1answer
1k views

Drawing an arrow around an automata

Using Tikzpicture, I have the following automata: \documentclass{article} \usepackage{tikz} \begin{document} \usetikzlibrary{positioning,arrows,automata} \begin{center} ...
6
votes
1answer
3k views

Tikz Paths in Automata

I'm trying to draw an automata in LaTeX with TikZ, but I don't know how to make a long transition between two states. I need a sized label to be placed on it. \documentclass{article} ...
6
votes
1answer
2k views

How to make different shape nodes in automata in TikZ?

This is my code: \documentclass{article} \usepackage{tikz} \usetikzlibrary{shapes,arrows,fit,calc,positioning,automata} \begin{document} \begin{tikzpicture}[shorten >=1pt,auto,node distance=7 ...
6
votes
1answer
228 views

standalone not working properly with PStricks?

I'm using Vaucanson-G to render automata (I also use TikZ, but here, I want Vaucanson-G). Because it uses PStricks although I want to compile with pdflatex, I have put all my automata in separated ...
5
votes
2answers
3k views

How to use three dots and brackets with TikZ to draw Automaton state machine?

I tried to add a curly braces below all the states in order to group them, but I couldn't find a way to make it work. Furthermore, how could I draw a three dots as a state since I need to prove a ...
5
votes
1answer
720 views

How to draw rectangle edge label in tikz?

I want to draw something like this. How to get that rectangle edge label? This is the MWE. \documentclass{article} \usepackage{tikz} \usepackage[margin=15mm]{geometry} \usepackage{calc} ...
5
votes
3answers
2k views

TikZ - game tree representation with continuum of moves

I have been using TikZ to draw game-trees for my game-theory lectures (mostly using the automata package) but I could not figure out how to draw an arc across the edges the leave a given node. When we ...
5
votes
1answer
1k views

How do I create transition arrow labels with new lines?

I am using the TikZ package to draw pushdown definite automata. How do I add new lines into the labels of transition arrows? This does not work: \begin{tikzpicture}[shorten >=1pt,node ...
5
votes
1answer
57 views

Trying to draw a picture of an automata in TexMaker using Tikz

I'm looking for some help drawing automata in TexMaker. My problem is that the lines of the automata cross and it makes the whole thing a bit unreadable. MWE: ...
5
votes
1answer
1k views

Tikz automaton placed too far to the right

So I'm having a bit of trouble drawing an automaton that I've created. I've been looking around for a while to no real avail, so I decided to just ask the question myself: when I make an automaton ...
5
votes
1answer
681 views

How to set a default parameter for all edges

Question How do you set all edges in an automaton to have the additional parameter double? This should be easy, but I can't find the solution here or in the tikz/pgf manual or anywhere else. ...
5
votes
1answer
2k views

Automaton backedge arrows running into other states

I am trying to draw a finite-state automaton using the automata package in TikZ and am having trouble getting an edge to "clear" the other states (that is, not run into them). Having read this ...
4
votes
1answer
2k views

How can I draw snake arrow in automata using tikz?

I find: \begin{tikzpicture} \draw [->,decorate,decoration=snake] (0,0) -- (2,0); \end{tikzpicture} in TikZ manual, but dose not work! How can i draw snake edges in automata using tikz?
4
votes
2answers
381 views

hline inside a TikZ node

How can I draw a horizontal line inside a TikZ node? I want the name of the state to be seperated from the rest of the node. How can i achieve this? \documentclass[tikz,border=2pt]{standalone} ...
4
votes
2answers
954 views

Position an automata below another, both centered

I want to draw two automata in a tikz picture. The second automaton should be below the first, and both should be centered horizontally. \documentclass{standalone} \usepackage{tikz} ...
4
votes
1answer
1k views

How do I tell the arrow pointing to my start state to point from up?

I am drawing finite automata in Tex using the tikz automata library. Here is how my figure begins. \begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto] \node[state,initial] (q_start) ...
4
votes
1answer
603 views

Transition in Petri Net

I am newbie in Tikz, After reading this question Transitions in Petri nets I want to create this And this is my code, you can access with this link https://www.writelatex.com/read/bxwwcmmghpmw ...
4
votes
1answer
1k views

How can I get a counter-clockwise loop with the TikZ automata package?

Using \draw [->] (2) to[loop above] node[auto] {$\beta_2$} (2); I get "clockwise" loop. Is it possible to get a counter-clockwise loop?
4
votes
1answer
54 views

TikZ: force two pictures to use the same baseline/frame of reference

I have two TikZ automata I would like to place side-by-side: However, I would prefer the 'start' nodes to be aligned vertically on the page. This happens automatically if I add help lines large ...
4
votes
1answer
302 views

interrupting edge in automata

I have the following automata in tikz. \documentclass{article} \usepackage{pgf} \usepackage{tikz} \usetikzlibrary{automata, arrows} \begin{document} \begin{figure}[htb] \centering ...
4
votes
2answers
875 views

Arrow tips in TiKZ appearing where I do not specify them

In a simple drawing like this (I use automata library): \begin{tikzpicture}[shorten >=1pt,node distance=2cm,auto,initial text=] \tikzstyle{every state}=[draw=blue!50,very thick,fill=blue!20] ...
4
votes
1answer
667 views

How to avoid superfluous space in the initial state of a tikz automaton

When drawing tikz automata, I always omit the inital text and only use an arrow to indicate that a state is initial. To this end, I add \tiksset[initial text={}] to the preamble of my tex file. ...
4
votes
1answer
2k views

TikZ library automata using option double with shorten

I'm trying to draw an automata using TikZ and the library automata. An accepting state I would like to denote by a double circle but the distance between the two circles should be larger than the ...
3
votes
3answers
532 views

Create an automaton with LaTeX [duplicate]

I want to create this automaton with LaTeX: The code: \begin{tikzpicture}[->,>=stealth',shorten >=1pt,auto,node distance=2.8cm, semithick] \node[initial,state] (A) {$1$} ; ...
3
votes
2answers
2k views

TikZ picture positioning in landscape

I wrote a large game tree (using automata package) and need to display it in landscape mode. I already tried to use both textpos and geometry (newgeometry command) packages but without any positive ...
3
votes
1answer
147 views

Package pgf Error: No shape named is known. (D) edge node {a} (B) edge node {b} (E) ()

\begin{tikzpicture}[shorten >=1pt,node distance=2cm,on grid,auto] \node[state,initial,accepting] (A) {$A$}; \node[state,accepting] (B) [above right=of A] {$B$}; \node[state,accepting] (C) ...
3
votes
1answer
3k views

Make a TikZ automata edge pass “outside ” the automata [duplicate]

I am trying to draw a Moore machine with TikZ. This is what I have so far: \documentclass{minimal} \usepackage{tikz} \usetikzlibrary{arrows,automata,positioning} \begin{document} ...
3
votes
1answer
173 views

Trying to draw a picture of a Turing Machine in TexMaker using Tikz

Again I have to call on your expertise to help me draw a picture. This time it's for a Turing Machine. I have two problems with the self loops and one with the general spacing. The first problem ...
3
votes
2answers
428 views

Scaling nodes in automata in TikZ, inside equation.

I fail to scale the nodes (which is what I initially wanted) of the following \documentclass{standalone} \usepackage{tikz} ...
3
votes
1answer
73 views

Organizing automatons in boxes and add links between them

I have the following three automaton : I want to put them in boxes and add some link, such that I can get something like this: Here is my code : \documentclass{standalone} \usepackage{etex} ...
3
votes
1answer
107 views

Making the automata diagram still better

I have drawn an automaton using the tikz library automata. I need help in refining the diagram. I am not able to : Align the edge labels (kr, ur, etc.) to the center meaning exactly between two ...
3
votes
1answer
641 views

Draw an automaton with more states and bent arrows

I want to draw this automaton: But I drew it with a bad way !! \documentclass{article} \usepackage{pgf} \usepackage{tikz} \usetikzlibrary{arrows,automata} \usepackage[latin1]{inputenc} ...