Примеры для программ

@Eva_19 · Регистрация: 20.07.2013

Студворк — интернет-сервис помощи студентам

Доброго утра всем. Помогите, пожалуйста, с примерами для функций

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
data Expression = Variable String | 
                  Constant Integer | 
                  Unary String Expression | 
                  Binary Expression String Expression 
                     deriving (Eq, Show) 
                     
data Operator= Skip | 
               Assignment String Expression | 
               Sequence [Operator] | 
               Select Expression Operator Operator 
                   deriving (Eq, Show)
 
toCanonical :: Operator -> Operator 
toCanonical (Sequence list) = 
    check (Sequence (filter (/= Skip) (map toCanonical list))) 
toCanonical (Select expr op1 op2) = 
    Select expr(toCanonical op1)(toCanonical op2) 
toCanonical op = op
 
check :: Operator -> Operator 
check (Sequence[]) = Skip 
check op = op

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
data Expr = 
     Integral Integer | 
     Function String | 
     Variable String | 
     Lambda String Expr | 
     Application Expr Expr
 
beta :: Expr -> Bool 
beta (Application (Lambda _ _) _) = True 
beta _ = False
 
deltaN :: Int -> Expr -> Bool 
deltaN n (Function f)        = arity f == n 
deltaN n (Application f e)   | isConstant e 
                               = deltaN (n+1) f && nf e 
deltaN _ _                   = False 
 
delta :: Expr -> Bool 
delta = deltaN 0
 
redex :: Expr -> Bool 
redex e = delta e || beta e
 
arity :: String -> Int 
arity "IF" = 3 
arity "CAR" = 1 
arity "CDR" = 1 
arity "minus" = 1 
arity _ = 2 
 
isConstant :: Expr -> Bool 
isConstant (Integral _) = True 
isConstant (Function _) = True 
isConstant _            = False
 
nf :: Expr -> Bool
nf e | redex e          = False 
nf (Lambda _ e)         = nf e 
nf (Application e1 e2)  = nf e1 && nf e2 
nf _                    = True

Haskell
1
2
3
4
5
6
7
8
9
data Expr = 
     Variable String | 
     Lambda String Expr | 
     Application Expr Expr
beta :: Expr -> Bool
beta (Application (Lambda _ _) _) = True
beta (Lambda _ e) = beta e
beta (Application e1 e2) = beta e1 || beta e2
beta _ = False

@Araneo · 13.12.2014, 12:22

А что сделать то надо? Проверить в интерпретаторе? Так это совсем не интересно... ибо элементарно.

@Eva_19 · 13.12.2014, 13:03 **[ТС]**

Написать тестовые примеры. Для вас это может быть и элементарно, а для меня нет...

@Catstail · 14.12.2014, 21:46

Первый. Соответствует конструкции Skip; Z=X+777; Skip;

Haskell
1
2
Main> toCanonical (Sequence [Skip, Assignment "Z" (Binary (Variable "X") "+" (Constant 777)),Skip])
Sequence [Assignment "Z" (Binary (Variable "X") "+" (Constant 777))]

Новые блоги и статьи Все статьи Все блоги /
Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Programma_Boinc 23.12.2025 Thinkpad X220 Tablet — это лучший бюджетный ноутбук для учёбы, точка. Рецензия / Мнение/ Перевод https:/ / **********/ gallery/ thinkpad-x220-tablet-porn-gzoEAjs . . .	PhpStorm 2025.3: WSL Terminal всегда стартует в ~ and_y87 14.12.2025 PhpStorm 2025. 3: WSL Terminal всегда стартует в ~ (home), игнорируя директорию проекта Симптом: После обновления до PhpStorm 2025. 3 встроенный терминал WSL открывается в домашней директории. . .	Как объединить две одинаковые БД Access с разными данными VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .
От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .	Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .

@Araneo 650 / 260 / 16 Регистрация: 02.03.2014 Сообщений: 587
	13.12.2014, 12:22
	А что сделать то надо? Проверить в интерпретаторе? Так это совсем не интересно... ибо элементарно. 0

@Eva_19 1 / 1 / 0 Регистрация: 20.07.2013 Сообщений: 64
	13.12.2014, 13:03 [ТС]
	Написать тестовые примеры. Для вас это может быть и элементарно, а для меня нет... 0

Примеры для программ

Решение