상태 기계, 튜링 머신 등을 그리는 프로그램이 있습니까? [닫은

Question

추수 감사절 후 학교로 돌아갈 때 CS 이론에서 결정 론적 및 비 결정적 유한 상태 기계, 튜링 머신, 푸시 다운 오토마타 및 기타 몇 가지와 같은 주제를 다루는 과정을 수강 할 것입니다. 그러나 나는 시각적으로 표현할 수있는 좋은 응용 프로그램을 찾지 못했고 (패스/실패 등) 작동 방식을 테스트 할 수있는 좋은 응용 프로그램을 찾지 못했습니다. 내가 지금까지 찾은 최고는입니다 JFLAP, 그리고 나는 그것을 다소 어색하다고 생각합니다.

Answer 1

그것은 JFLAP 내가 대학에서 사용한 것. 사용하기가 어색한 것을 찾지 못했지만 그 이후로 바뀌었을 것 같습니다. 죄송합니다. 그보다 더 나은 대답이 없습니다.

Answer 2

내 친구가 라텍스를 사용하여 그들을 그렸습니다. 나는 항상 연필과 종이를 선호했습니다.

Answer 3

나는 지금 이런 수업에 있습니다. 나는 종이와 연필로 충분하다는 것을 알았습니다. 나는 확실히 말할 수는 없지만, 한 장의 종이에서 이해하기에는 너무 복잡한 오토마타를 그릴 필요는 없다고 생각합니다.

Answer 4

나는 그들을 UML로 그렸고 잠시 동안 Staruml JPEG 수출을 제출했습니다.

그런 다음 PHP 스크립트를 작성하여 DOT 형식으로 변환하고 GraphViz를 사용하여 멋진 기계를 얻었습니다.

Answer 5

Simulink StateFlow.

물론 거대한 과잉.

Answer 6

Iar VisualState 관심이있을 수 있습니다.