Формальная и интуитивная семантика языка программирования на примерах JS и JSX Семантика примеры в русском