Schema della sezione

    • JFLAP 7.1 File

      Software per sperimentare con i formalismi che vedremo a lezione come automi a stati finiti, automi pushdown, grammatiche e macchine di Turing. Maggiori informazioni ed esempi di utilizzo si possono trovare nel sito ufficiale.

    • Esercizi su Automata Tutor v3 URL

      Per accedere agli esercizi occorre:

      1. registrarsi sul sito per ottenere un account
      2. nella pagina principale del proprio account, scegliere "Courses"
      3. inserire le seguenti informazioni nel form "Enroll in course

      Course ID:Automi@Unipd 22/23
      Password:M34SGWQY