|
-
Ключові слова:
мови програмування, языки программирования, computer program language ; обчислювальні алгоритми, вычислительные алгоритмы ; розробка програмного забезпечення, разработка программного обеспечения, software engineering
-
Анотація:
Введено поняття тотально розширеної системи правил переписування з асоціативно-комутативними операціями. Запропоновано швидкий алгоритм для систем таких правил і доведено його повноту для канонічних тотально розширених систем. Розглянуто реалізацію даного алгоритму засобами мови програмування ФОЛІ. ФОЛІ (Форт+ЛІсп) - спеціальна функціональна мова програмування для символічних обчислень на мікро комп"ютерах, розроблена на кафедрі програмування Київського університету ім. Тараса Шевченка.
-
Є складовою частиною документа:
-
Теми документа
-
Київський університет // КНУТШ. Факультет кібернетики
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
