Синонимы для слова "рефал"

Слова и выражения связанные по смыслу со словом "рефал"

• модель вычислений
• сопоставление с образцом
• система компьютерной алгебры
• конечный автомат
• объект первого класса