2012-06-26 4 views
1

2 개의 오토 마톤 (실제로는 트랜스 듀서)의 구성을하고 있습니다. 그래서 그것을 분석하기 위해 그것을 시각적으로 표현하고 싶습니다.오토 마톤을 그리는 도구

어떤 도구/라이브러리가 가장 적합합니까?

사람들이 내게 도트와 그래프를 제안했습니다. 어떤게 더 좋아? 나는 OCaml에 코드를 작성하고있다. 그걸 그리기위한 도서관이 있나요?

이것은 추출하고자하는 변환기의 예입니다.

enter image description here

+0

이 답변에는 자동 연산을위한 LaTeX 코드가 포함되어 있습니다 : http://stackoverflow.com/questions/26310253/what-fsm-captures-only-binary-strings-that-have-the-same-number-of- 01-and-10/27712372 # 27712372 – Jubobs

답변

5

사람들은 나를 점과은 GraphVIZ 제안했다. 어떤게 더 좋아? graphviz (중에서도 출력) 입력으로 dot language의 그래프를 사용하지 않고, 유향 그래프를 낳는다 dot라는 레이아웃 명령을 보유 -

가 더 나은 이다.

OCaml에 코드를 쓰고 있습니다. 그걸 그리기위한 도서관이 있나요?

나는 OCaml의 모르지만, 점 그래프를 만들 수있다 ocamlgraph이 것 같습니다 -이 similar question 참조하십시오. 일부 플랫폼에서는 graphviz ocaml extensions이 사용 가능한 것으로 보입니다.

이것은 추출하고자하는 변환기의 예입니다.

질문이 무엇인지는 확실하지 않지만이 그래프는 graphviz로 작성된 것처럼 보입니다. 당신은 높은 품질의 렌더링을하려면

2

나는 PGF/TikZ가 LaTeX와 함께 사용할 생성하는 (비록 사용한 적이) dot files를 생성 한 후 dot2tex을 시도하는 것이 좋습니다. 여기 TikZ 오토 마 타 렌더링의 few examples.

관련 문제