More actions
Bot: Automatski unos stranica |
m bnz |
||
| Redak 1: | Redak 1: | ||
Superkombinator''' je [[matematika|matematički]] [[matematički izraz|izraz]] koji je [[potpuno vezan]] i [[samosadržan]]. Može biti [[konstanta]] ili [[kombinator]] gdje su svi izrazi superkombinatori. | |||
Može biti definiran, u matematičkim terminima, na sljedeći način: | Može biti definiran, u matematičkim terminima, na sljedeći način: | ||
Posljednja izmjena od 25. ožujak 2022. u 03:48
Superkombinator je matematički izraz koji je potpuno vezan i samosadržan. Može biti konstanta ili kombinator gdje su svi izrazi superkombinatori.
Može biti definiran, u matematičkim terminima, na sljedeći način:
- Superkombinator $S mjesnosti n je lambda izraz oblika
- λx1.λx2...λxn.E
- gdje E nije lambda apstrakcija, takva da:
- S nema slobodnih varijabli.
- bilo koja lambda apstrakcija u E je superkombinator.
- n ≥ 0, tako da lambde nisu zahtijevane.
Izvori
- S. L. Peyton Jones, The Implementation of Functional Programming Languages. Prentice Hall, 1987.
Nedovršeni članak Superkombinator koji govori o računarstvu treba dopuniti. Dopunite ga prema pravilima uređivanja Hrvatske internetske enciklopedije.