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