αρχείο Email: Το Θεώρημα Κανονικής Μορφής και Απαρίθμησης (Kleene) και το Πρόβλημα Τερματισμού (Turing)