К формальному представлению языков естественного типатезисы доклада