Percorsi per l’introduzione degli automi nel contesto didattico scolastico

Gli automi a stati finiti rappresentano il modello di calcolo più semplice che, oltre a costituire una base per descrivere comportamenti e processi decisionali, consente di introdurre in modo naturale concetti fondamentali dell'informatica come programmazione, calcolo e simulazione. Questo contributo ha l'obiettivo di condividere l'esperienza di progettazione di nuovi percorsi didattici finalizzati a introdurre gli automi a stati finiti a scuola, per incoraggiare un cambiamento di prospettiva che stimoli una comprensione più approfondita di alcuni concetti teorici dell'informatica, senza tralasciare l’aspetto ludico che favorisce l'apprendimento. I percorsi proposti mirano a sfruttare le potenzialità della robotica educativa, per veicolare concetti e competenze di programmazione più avanzati ed introdurre contestualmente elementi di teoria degli automi, procedendo per astrazioni a partire dai puzzle su robot che sono tipicamente utilizzati nel contesto delle Olimpiadi del Problem Solving (OPS).