Язык математических формул имеет контекстно-зависимую грамматику.
Перед нами стояла задача создать редактор математических формул, который бы эффективно строил семантическое дерево на больших формулах и имел интерактивный интерфейс:
Вторая задача - сделать интерфейс ввода максимально удобным для пользователя как с десктопа, так и для мобильной версии.
Мы полностью решили поставленную задачу на грамматике для calculus-1 (пределы, интегральное и дифференциальное счисление).
Мы сделали не только удобный интерфейс ввода, но также поддержали стандарты для людей с ограниченными возможностями. Наш редактор осуществляет не посимвольное, а семантическое чтение формул.