Теоретические проблемы компьютерного правастатья