Теория соответствия для систем с блокировками и разрушениями