Класс формальных языков и алгоритм для построения семантических аннотаций веб-документов