Portable Uber Turing Machine

Deskrizzjoni

Dan is-software jippermettilek tipprogramma l-magna Turing - apparat teoretiku universali li jista 'jiġi adattat biex jissimula l-loġika ta' kwalunkwe algoritmu tal-kompjuter. Bl-għajnuna ta 'Uber Turing Machine int kapaċi toħloq algoritmi ġodda, kif ukoll teditja diġà mħejji minn xi ħadd permezz tal-ftuħ u l-bidla tagħhom permezz tal-IDE viżwali konvenjenti. Tista 'tmexxi u tiddibaggja l-programmi tal-magna Turing fit-tliet modi: normali (għandha karatteristika li tirregola d-dewmien bejn żewġ passi), pass wieħed, u l-modalità mgħaġġla. Fl-ewwel żewġ każijiet hemm statistika dettaljata tat-transizzjonijiet magħmula. Fil-modalità mgħaġġla s-simulatur jikkalkula r-riżultati malajr kemm jista 'jkun - huwa utli jekk trid biss tikseb l-output tal-programm, jew teżamina algoritmu għal linji infiniti possibbli. Hemm ukoll karatteristiċi ta 'dejta ta' input ta 'editjar utli fuq it-tejp, u li tivverifika l-korrettezza sintattika u semantika tal-programmi. Tista 'tiffranka algoritmi u tejps separatament u terġa' tużahom aktar tard f'diversi programmi tal-magni Turing. Fi kliem ieħor, Portable Uber Turing Machine hija għażla tajba għall-istudju u l-ipprogrammar tal-magna Turing.