Vychislitel'no nepriwodimye sistemy i puti ih identifikacii