Tags : Rice’s characterization