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