Введено поняття тотально розширеної системи правил переписування з асоціативно-комутативними операціями. Запропоновано швидкий алгоритм для систем таких правил і доведено його повноту для канонічних тотально розширених систем. Розглянуто реалізацію даного алгоритму засобами мови програмування ФОЛІ. ФОЛІ (Форт+ЛІсп) - спеціальна функціональна мова програмування для символічних обчислень на мікро комп"ютерах, розроблена на кафедрі програмування Київського університету ім. Тараса Шевченка.