Проблема останова: по содерржанию судебного дела требуется определить, остановится ли когда-нибудь юридическая машина.