Реализация автоматной парадигмы вычислений на объектно-атрибутном базисе