LARA This is an old revision of the document! Projection of Automata GIven a finite automaton whose alphabet is , define projection by changing into \[ \Delta' = \{(q,a,q') \mid \exists b \in \{0,1\}. (q,a[x:=b],q') \in \Delta \} \]