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