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