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

learn more… | top users | synonyms

37
votes
2answers
10k 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 ...
30
votes
3answers
12k 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, ...
24
votes
3answers
8k 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 ...
13
votes
2answers
1k 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} ...
12
votes
5answers
4k 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 ...
11
votes
1answer
3k 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 ...
10
votes
1answer
10k 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 ...
8
votes
2answers
4k 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}= ...
8
votes
1answer
9k 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} ...
8
votes
1answer
4k 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) ...
8
votes
1answer
5k 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 ...
7
votes
1answer
372 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
5answers
233 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
5k 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
1answer
2k 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
585 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
1k 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 ...
5
votes
2answers
2k 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
475 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
2answers
191 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 ...
5
votes
1answer
1k 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 ...
5
votes
1answer
637 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
134 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
1answer
1k 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
1k 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
198 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
553 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
884 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
235 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
309 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. ...
4
votes
1answer
226 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
482 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
1k 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
419 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
1k 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
761 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) ...
3
votes
2answers
174 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
860 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
609 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 ...
3
votes
1answer
272 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} ...
3
votes
1answer
166 views

Multiple shapes on edges of automaton

Anybody who knows how to add multiple objects to edge of automaton? I tried label, but I can add only one label. I need to draw streett automaton, like in this picture:
3
votes
1answer
206 views

Tikz text not adjusting itself for the arrow

I have the code below which produces the image (unfortunately the code doesnt work since the image files are not available here). The text "Done" is for some reason getting placed well below the ...
3
votes
1answer
206 views

Prevent oval loops when using Tikz package

I'm just starting to learn LaTex, escpecially graphics, and this is my (simplified) code: \documentclass{article} \usepackage{tikz} \usetikzlibrary{automata,positioning} \begin{document} ...
3
votes
1answer
2k views

How to style Tikz arrow tip for state-loop?

I want to have a state-node with a loop, where the arrow tip is customized (here with -triangle 60). How do change the arrow tip a loop uses? Heres a short example. I expect the loop to have the same ...
3
votes
1answer
400 views

How to change the pointing location of an edge to a state using the TikZ automata package?

When there are two nodes pointing to the same node, the picture looks odd because they point to the same location. How can I change the location of pointing? For instance, ...
3
votes
1answer
331 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. ...
3
votes
0answers
80 views

dot2tex: some frames are missing

I'm trying to dot2tex to render automata. For reasons I do not understand, the rendering is missing some boxes. For the following Dot file input: digraph { rankdir = LR { I0 [shape = point, ...
2
votes
1answer
448 views

How to draw bigger circular states and multiple transitions in automata?

I want to draw something like this. I have three difficulties: How to draw bigger circular states and dashed circular state? How to draw multiple arrows between states? (Ex. In the state "App ...
2
votes
2answers
172 views

Labeling loops in tikz picture

I need to label the edges and the loop on this graph, but I'm having some trouble. \begin{tikzpicture} [scale=.5,auto=left,every node/.style={circle,fill=blue!20}] \node (n2) at (0,8) {$x_{2}$}; ...