Rime libere corrispondenti per state function