Введение

Aira - это язык, основанный на нормальных алгорифмах Маркова которые являются полными по Тьюрингу, что делает его по выразительной силе эквивалентным машине Тьюринга и, следовательно, современным языкам программирования. Является функциональным языком программирования общего назначения.

Программы написаные на языке Aira выполняются на виртуальной машине (Aira VM). Основная идея состоит в том, что программа предоставляет виртуальной машине набор правил перезаписи, которые сообщают, как преобразовать одни термы в другие.

Язык прост и является гомоиконичным, представление программ является также структурой данных в примитивном типе самого языка. Создан для работ по искусственному интеллекту но может применяться и как средство обычного промышленного программирования.