Uber Turing Machine

Deskrizzjoni

Bl-għajnuna ta 'Uber Turing Machine inti tista' toħloq algoritmi ġodda, kif ukoll teditja diġà ppreparati minn xi ħadd permezz tal-ftuħ u l-bidla tagħhom permezz tal-IDE viżwali konvenjenti. Tista 'tħaddem u tiddibaggja programmi tal-magni Turing fit-tliet modi: normali (għandha karatteristika li tirregola dewmien bejn żewġ passi), pass wieħed, u l-mod ta' malajr. Fl-ewwel żewġ każijiet hemm statistika dettaljata tat-tranżizzjonijiet magħmula. Fil-modalità ta 'malajr is-simulatur se jikkalkula r-riżultati malajr kemm jista' jkun - huwa utli jekk trid biss tikseb l-output tal-programm, jew biex teżamina algoritmu għal loops infiniti possibbli. Hemm ukoll karatteristiċi ta 'data ta' input ta 'editjar handy fuq it-tejp, u ta' verifika tal-korrettezza sintattika tal-programmi. Tista' tiffranka l-algoritmi u t-tejps separatament u terġa' tużahom aktar tard f'diversi programmi tal-magni Turing.