開發者 turing-machine.sf.net

軟體C++：非確定性/確定性多塔圖靈和郵政機，通用圖靈機，圖靈機與故障，故障和恢復。