Leonardo_Bizzoni
  • Complemento di un linguaggio ricorsivo
    Linguaggi_e_Computabilità
  • Teorema di Rice - Proprietà dei linguaggi ricorsivamente enumerabili
    Linguaggi_e_Computabilità
  • Complemento di un linguaggio ricorsivamente enumerabile
    Linguaggi_e_Computabilità
  • Macchina di Turing di Default
    Linguaggi_e_Computabilità
  • Macchina di Turing Universale - Linguaggio Universale
    Linguaggi_e_Computabilità
  • Linguaggi non ricorsivamente enumerabili
    Linguaggi_e_Computabilità
  • Linguaggi ricorsivi
    Linguaggi_e_Computabilità
  • Linguaggio di diagonalizzazione
    Linguaggi_e_Computabilità
  • Rappresentazione/Codifica binaria di una Macchina di Turing
    Linguaggi_e_Computabilità
  • Linguaggi ricorsivamente enumerabili
    Linguaggi_e_Computabilità
  • Enumerazione delle stringhe binarie
    Linguaggi_e_Computabilità
  • Macchine multi-stack
    Linguaggi_e_Computabilità
  • Restrizioni delle Macchine di Turing
    Linguaggi_e_Computabilità
  • Macchine di Turing non deterministiche
    Linguaggi_e_Computabilità
  • Equivalenza di modelli di calcolo
    Linguaggi_e_Computabilità
  • Estensioni delle Macchine di Turing
    Linguaggi_e_Computabilità
  • Transizione tra stati di una Macchina di Turing
    Linguaggi_e_Computabilità
  • Descrizione istantanea di una Macchina di Turing
    Linguaggi_e_Computabilità
  • Macchine di Turing
    Linguaggi_e_Computabilità
  • DPDA per stack vuoto
    Linguaggi_e_Computabilità
  • Linguaggi prefix-free
    Linguaggi_e_Computabilità
  • PDA deterministici - DPDA
    Linguaggi_e_Computabilità
  • Equivalenza di PDA e CFG
    Linguaggi_e_Computabilità
  • Trasformazione da PDA per stato finale a stack vuoto
    Linguaggi_e_Computabilità
  • Automi a pila - Push Down Automata PDA
    Linguaggi_e_Computabilità
  • Transizione tra stati di un PDA
    Linguaggi_e_Computabilità
  • Trasformazione da PDA per stack vuoto a stato finale
    Linguaggi_e_Computabilità
  • Computazione
    Linguaggi_e_Computabilità
  • Mossa di un PDA - Applicazione di una \\delta
    Linguaggi_e_Computabilità
  • Configurazione di un PDA
    Linguaggi_e_Computabilità
  • Pumping lemma
    Linguaggi_e_Computabilità
  • Equivalenza tra stati di un automa
    Linguaggi_e_Computabilità
  • Uguaglianza di 2 linguaggi regolari
    Linguaggi_e_Computabilità
  • Automa minimo
    Linguaggi_e_Computabilità
  • Chiusura rispetto operazioni tra linguaggi regolari
    Linguaggi_e_Computabilità
  • Da DFA ad espressione regolare per eliminazione di stati
    Linguaggi_e_Computabilità
  • Da espressione regolare a \\epsilon-NFA
    Linguaggi_e_Computabilità
  • Non-deterministic finite automata NFA
    Linguaggi_e_Computabilità
  • Espressioni regolari
    Linguaggi_e_Computabilità
  • Estensione della funzione di transizione alle stringhe
    Linguaggi_e_Computabilità
  • Finite State Automa deterministico DFA
    Linguaggi_e_Computabilità
  • Espressioni regolari
    Linguaggi_e_Computabilità
  • Operazioni su linguaggi
    Linguaggi_e_Computabilità
  • Unione tra linguaggi
    Linguaggi_e_Computabilità
  • Concatenazione o prodotto di 2 linguaggi
    Linguaggi_e_Computabilità
  • Ripetizione o potenza di un linguaggio
    Linguaggi_e_Computabilità
  • Chiusura o Star di Kleene
    Linguaggi_e_Computabilità
  • Grammatiche regolari
    Linguaggi_e_Computabilità
  • Ambiguità inerente
    Linguaggi_e_Computabilità
  • Ambiguità
    Linguaggi_e_Computabilità
  • Alberi sintattici
    Linguaggi_e_Computabilità
  • Linguaggio
    Linguaggi_e_Computabilità
  • Gerarchia delle classi di linguaggi
    Linguaggi_e_Computabilità
  • Grammatica
    Linguaggi_e_Computabilità
  • Concatenazione di stringhe
    Linguaggi_e_Computabilità
  • Potenza di un alfabeto
    Linguaggi_e_Computabilità
  • Lunghezza di una stringa
    Linguaggi_e_Computabilità
  • Stringa
    Linguaggi_e_Computabilità
  • Alfabeto
    Linguaggi_e_Computabilità