I'm building a figure of a finite state automate. However the edge of F to C seems to make the image less readable. Using bend options doesn't solve the problem. is there a way to solve this problem? Introducing a phantom node could be a solution I think, but I don't know any option that generates an edge through that phantom node.

\documentclass{article}
\usepackage{tikz}
\usetikzlibrary{positioning,automata}
\begin{document}
\begin{tikzpicture}[->,shorten >=1pt,auto,node distance=2cm,on grid,semithick,state/.style=state with output,every state/.style={draw=black!50,very thick,fill=black!20,scale=0.75}]
\node[state] (E) {$e$\nodepart{lower} $1$};
\node[state] (F) [right=of E] {$f$\nodepart{lower} $1$};
\node[state] (A) [below=of E] {$a$\nodepart{lower} $0$};
\node[state] (B) [below=of F] {$b$\nodepart{lower} $0$};
\node[state] (C) [below=of A] {$c$\nodepart{lower} $0$};
\node[state] (D) [below=of B] {$d$\nodepart{lower} $0$};
\path (A) edge[loop left] node {00} (A)
edge[bend left] node {01} (B)
edge[bend left] node {10} (C)
(B) edge[bend left] node {00} (A)
edge[loop right] node {01} (B)
edge node {11} (F)
(C) edge[bend left] node {00} (A)
edge[loop left] node {10} (C)
edge[bend left] node {11} (D)
(D) edge node {00} (B)
edge[bend left] node {10} (C)
edge[loop right] node {11} (D)
(E) edge node {00} (A)
edge[loop left] node {01} (E)
edge[bend left] node {11} (F)
(F) edge[bend left] node {01} (E)
edge[loop right] node {11} (F)
edge node {10} (C);
\end{tikzpicture}
\end{document}

\draw (F) .. controls ([shift={(4cm,-4cm)}] F) and ([shift={(2cm,-3cm)}] C).. (C) ;work for you? – percusse Mar 12 '12 at 19:28node [midway] {10}just before the semicolon. – percusse Mar 14 '12 at 00:55