Вообщем интересует всё, что может помочь/автоматизировать разработку машин Тьюринга, может быть какие-нибудь компиляторы есть, проги на проверку результата выполнения ну и т.д.

Буду рад всему=))