Как обрабатывать подобные выражения с помощью кода и графического интерфейса?

Фанатам Тьюринга точно будет интересно)