Programmazione basata su automi
Verificato
Significato di «Programmazione basata su automi»
Paradigma, introdotto da Anatoly Shalyto, che descrive il comportamento del programma tramite macchine a stati finiti: gli stati di controllo sono resi espliciti e i grafi di transizione guidano specifica, implementazione e documentazione del software.
Fonti: Automata-based programming (SWITCH-technology). Fonti: Shalyto 'Automata-Based Programming and Automata-Based Control' (2008); Wikipedia 'Automata-based programming'. Verifica web 2026-08-03. · Verificato il 2026-08-03