2 개의 오토 마톤 (실제로는 트랜스 듀서)의 구성을하고 있습니다. 그래서 그것을 분석하기 위해 그것을 시각적으로 표현하고 싶습니다.오토 마톤을 그리는 도구
어떤 도구/라이브러리가 가장 적합합니까?
사람들이 내게 도트와 그래프를 제안했습니다. 어떤게 더 좋아? 나는 OCaml에 코드를 작성하고있다. 그걸 그리기위한 도서관이 있나요?
이것은 추출하고자하는 변환기의 예입니다.
2 개의 오토 마톤 (실제로는 트랜스 듀서)의 구성을하고 있습니다. 그래서 그것을 분석하기 위해 그것을 시각적으로 표현하고 싶습니다.오토 마톤을 그리는 도구
어떤 도구/라이브러리가 가장 적합합니까?
사람들이 내게 도트와 그래프를 제안했습니다. 어떤게 더 좋아? 나는 OCaml에 코드를 작성하고있다. 그걸 그리기위한 도서관이 있나요?
이것은 추출하고자하는 변환기의 예입니다.
사람들은 나를 점과은 GraphVIZ 제안했다. 어떤게 더 좋아? graphviz (중에서도 출력) 입력으로 dot language의 그래프를 사용하지 않고, 유향 그래프를 낳는다
dot
라는 레이아웃 명령을 보유 -
가 더 나은 이다.
OCaml에 코드를 쓰고 있습니다. 그걸 그리기위한 도서관이 있나요?
나는 OCaml의 모르지만, 점 그래프를 만들 수있다 ocamlgraph이 것 같습니다 -이 similar question 참조하십시오. 일부 플랫폼에서는 graphviz ocaml extensions이 사용 가능한 것으로 보입니다.
이것은 추출하고자하는 변환기의 예입니다.
질문이 무엇인지는 확실하지 않지만이 그래프는 graphviz로 작성된 것처럼 보입니다. 당신은 높은 품질의 렌더링을하려면
나는 PGF/TikZ가 LaTeX와 함께 사용할 생성하는 (비록 사용한 적이) dot files를 생성 한 후 dot2tex을 시도하는 것이 좋습니다. 여기 TikZ 오토 마 타 렌더링의 few examples.
이 답변에는 자동 연산을위한 LaTeX 코드가 포함되어 있습니다 : http://stackoverflow.com/questions/26310253/what-fsm-captures-only-binary-strings-that-have-the-same-number-of- 01-and-10/27712372 # 27712372 – Jubobs