Una semplice implementazione in C della Macchina di Turing ​

In this thesis: - we give a brief overview of the computability theory, therefore of computer science, up to the Turing Machine model; - we present a simple but rigourous C implementation of the Turing Machine. In the thesis, we describe some versions of the program, to show step by step the good programming practices we exploited.

In questa tesi: - ripercorriamo brevemente l'origine della teoria della computabilità, quindi dell'informatica, fino al modello della macchina di Turing; - presentiamo un'implementazione in linguaggio C, semplice ma rigorosa, della macchina di Turing. Nella tesi descriviamo alcune versioni del programma, sottolineando via via le tecniche di buona programmazione che abbiamo utilizzato.