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

learn more… | top users | synonyms

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 ...
3
votes
1answer
1k 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 ...
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 ...
28
votes
3answers
11k 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, ...
3
votes
1answer
383 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, ...
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 ...
37
votes
2answers
8k 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 ...