Articolo di Turing

IntestazioneOnComputableNumber.png

Slide 2 of 20

Articolo di Turing (1) "Automatic machine"

  • Astrazione del Processo di calcolo di un numero reale (decimale)

OnComputableNumber01.png

Slide 3 of 20

Articolo di Turing (2) "Table representation"

  • La definizione di "Macchina" attraverso oggetti matematici:
    • Tabelle
    • Relazioni

OnComputableNumber02.png

Slide 4 of 20

Articolo di Turing (3) "Enumerable Machine"

  • creazione della relazione fra i numeri naturali ed ogni insieme di valori che una tabella può assumere

OnComputableNumber03.png

Slide 5 of 20

Articolo di Turing (4) "Universal Machine"

  • Una macchina che può comportarsi come "qualsiasi altra macchina"

OnComputableNumber04.png

Slide 6 of 20

Automa a Stati Finiti

  • Condizione Iniziale
    • uno Stimolo (Input)
    • uno Stato Interno
  • Un Alfabeto per descrivere Stati ed Input
  • Produce dopo un' unità di tempo
    • un Nuovo Stato della Macchina
    • un Output

Slide 7 of 20

Il Linguaggio

  • i 4 elementi che costituiscono l'Automa
    • input
    • stato interno
    • output
    • l'alfabeto
  • input stato interno ed output sono rappresentati da una da sequenze dei caratteri dell'alfabeto
    • due stringhe (input)
      1. input
      2. stato della macchina
    • due stringhe
      1. output
      2. nuovo stato della macchina
  • Nel moderni computer l'alfabeto è costituito dai seguenti caratteri \( \{ 0, 1\} \)

Slide 8 of 20

Rappresentazione tabellare

TableRepresentation.png
  • \( \mathrm{G} \) descrive i "cambiamenti di stato" della macchina in funzione delle due stringhe di input
  • \( \mathrm{F} \) descrive l'output della macchina in funzione delle due stringhe di input
    1. \( \mathrm{S}(t) \) input
    2. \( \mathrm{Q}(t) \) stato della macchina;
  • l'output è costiutito da due stringhe

$$ R(t+1) = \mathrm{F}[S(t),Q(t)] $$ $$ R(t+1) = \mathrm{G}[S(t),Q(t)] $$

Slide 9 of 20

Rappresentazione grafica

  • Isole e linee
RappresentazioneGrafica2.png
  • ogni "isola" corrisonde ad un possibile stato della "macchina"
  • la lettera alla base della "rotta" corrisponde ad un possibile "input"
  • la lettera nella mezzeria della rotta l'output
  • la rotta collega all'isola che rappresemta lo stato di output

Slide 10 of 20

Una Macchina Complessa

ComplexFiniteStateMachine.png

Slide 11 of 20

Macchina del Ritardo

  • L'Output della macchina all'istante \( t \) è il suo stato all'istante \(t+1\) DelayMachine.png

Slide 12 of 20

La Macchina Espresso

  • Verificare il diagramma e trasformarlo nella versione "tabellare" MacchinaEspressoStateDiagram.png

Slide 13 of 20

Classificazione (1)

DefinizioneFSM.png
*AQA Computing A2' by Kevin Bond and Sylvia Langfield, published by Nelson Thornes ISBN 978-0-7487-8296-3

Slide 14 of 20

Classificazione (2)

  1. Mealy Machine Produce una lista di simboli in output in corrispondenza di una lista di simboli in input Transducer MealyMachine.png
  2. Moore Machine (Classifier) produce un output associato allo stato della macchina Classifier , Acceptor MooreMachine.png

Slide 15 of 20

Intelligenza artificiale

ImitationGame.png

Slide 16 of 20

Intelligenza artificiale (1)

  • State of Mind (combinazione dei simboli che possono essere assunti dalle celle di memoria)
  • Definizione in termini "esclusivi di Osservazione esterna" del termine "pensare"

Slide 17 of 20

Intelligenza artificiale (2)

  • Rprodurre "procedure e giudizio di un umano esperto"
  • Un automa che è in grado di "imitare il coomportamento umano" dal punto di vista esterno per poter ingannare un interlocutore
    • giocare a scacchi
    • guidare un'auto
    • trovare la strada piu' breve per una località
    • .......

Slide 18 of 20

Fine

Slide 20 of 20

Topic attachments
I Attachment Action Size Date Who Comment
ComplexFiniteStateMachine.pngpng ComplexFiniteStateMachine.png manage 62 K 01 Mar 2016 - 10:03 RobertoBernetti FSM COmplessa
DefinizioneFSM.pngpng DefinizioneFSM.png manage 20 K 17 Mar 2017 - 10:01 RobertoBernetti Diagramma a blocchi della definizione di FSM
DelayMachine.pngpng DelayMachine.png manage 7 K 01 Mar 2016 - 10:01 RobertoBernetti Delay machine
ImitationGame.pngpng ImitationGame.png manage 124 K 28 Mar 2017 - 07:47 RobertoBernetti Intestazione articolo Turing 1950
IntestazioneOnComputableNumber.pngpng IntestazioneOnComputableNumber.png manage 19 K 26 Mar 2017 - 09:16 RobertoBernetti Intestazione articolo Turing
MacchinaEspressoStateDiagram.pngpng MacchinaEspressoStateDiagram.png manage 18 K 17 Mar 2017 - 12:34 RobertoBernetti Diagramma di stato della macchina espresso
MealyMachine.pngpng MealyMachine.png manage 25 K 17 Mar 2017 - 10:34 RobertoBernetti Melay Machine
MooreMachine.pngpng MooreMachine.png manage 31 K 17 Mar 2017 - 10:35 RobertoBernetti Moore Machine
OnComputableNumber01.pngpng OnComputableNumber01.png manage 73 K 21 Mar 2017 - 11:13 RobertoBernetti Definizione di "Macchina"
OnComputableNumber02.pngpng OnComputableNumber02.png manage 68 K 21 Mar 2017 - 11:15 RobertoBernetti Rappresentazione di una macchina con una tabella
OnComputableNumber03.pngpng OnComputableNumber03.png manage 52 K 21 Mar 2017 - 11:20 RobertoBernetti Enumerable machine
OnComputableNumber04.pngpng OnComputableNumber04.png manage 78 K 21 Mar 2017 - 11:26 RobertoBernetti Universal Machine
RappresentazioneGrafica2.pngpng RappresentazioneGrafica2.png manage 165 K 15 Mar 2017 - 16:08 RobertoBernetti Codifica dello "State Diagram"
TableRepresentation.pngpng TableRepresentation.png manage 21 K 01 Mar 2016 - 09:59 RobertoBernetti Rappresentazione tabellare
This topic: Robotic > WebHome > AutomaStatiFinitiDeterministico
Topic revision: 28 Mar 2017, RobertoBernetti
This site is powered by FoswikiCreative Commons License
This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported License1999-2025
Ideas, requests, problems regarding this site? Send feedback