State graphs