Документ взят из кэша поисковой машины. Адрес оригинального документа : http://sp.cs.msu.ru/courses/fmsp/2009/rsl-problems.pdf Дата изменения: Fri Sep 11 15:37:20 2009 Дата индексирования: Mon Oct 1 22:51:17 2012 Кодировка:

RSL
( ) RSL , . . .
1. «»: sort: Real-list -> Real-list 2. « »: allsubstrs: Text -> Text-set 3. « »: , , ; ( ) , , rucksack: (T-set) >< (T-m->Nat) >< Nat -~-> T-set-set 4. « »: (, ), , , , , type A, P = (A-set)-set value mergeC: P >< A >< A -~-> P 5. « -I»: . replace1: Text >< Char >< Char -> Text 6. « -II»: . replace2: Text >< Text >< Text -> Text 7. «»: merge: Real-list >< Real-list -~-> Real-list 8. « »: - ( , ) parse: Text >< Char -> Text-set


9. « »: . f: Nat -> Nat 10. «»: inject: Text >< Char >< Char -> Text 11. «»: m: Text -> Text

12-18 : type V, G = V -m-> V-set ( ). , -- , .
12. « »: . path : G >< V >< V -~-> V-list 13. « »: . gpath : G-~-> V-list 14. «»: , . istree: G -> Bool 15. « -I": , 1 . med1: G >< V -~-> V-set 16. « -N»: , N . medN: G >< V >< Nat -~-> V-set 17. « »: - type V = Nat value insert: G >< V -~-> G 18. « »: , Y Y X. invert: G -> G