Italian Linguaggio omega-regolare Cited by user Ruthven on 31 Dec 2020 I linguaggi ω-regolari sono una classe di ω-linguaggi che generalizzano i linguaggi regolari a parole di lunghezza infinita.
English Büchi automaton Cited by user Jarble on 12 Apr 2019 In computer science and automata theory, a Büchi automaton is a type of ω-automaton, which extends a finite automaton to infinite inputs.
French Synthèse de programmes Cited by user Fschwarzentruber on 08 Feb 2018 En informatique, la synthèse de programmes consiste à construire automatiquement un programme à partir d'une spécification.