|
|
|
|
|
|
|
1. The Free On-line Dictionary of Computing (30 December 2018) |
linear function
A recursive function is linear if it is of the form
f x = if p x then q x else h f x
where h is a "linear functional" which means that
(1) for all functions, a, b c and some function ht
h (if a then b else c) = if ht a then h b else h c
Function ht is known as the "predicate transformer" of h.
(2) If for some x,
h (\ y . bottom) x /= bottom
then
for all g, ht g x = True.
I.e. if h g x terminates despite g x not terminating then ht g
x doesn't depend on g.
See also linear argument.
(1995-02-15)
|
|
|
|
|
Common Misspellings > |
linear function ilinear function ilnear function lilnear function inear function llinear function lniear function liniear function lnear function liinear function lienar function linenar function liear function linnear function linaer function lineaer function linar function lineear function linera function lineara function liner function lineaar function linea rfunction linear rfunction linea function linearr function linearf unction linear f unction linearfunction linear function linear ufnction linear fufnction linear unction linear ffunction linear fnuction linear funuction linear fnction linear fuunction linear fucntion linear funcntion linear fuction linear funnction linear funtcion linear functcion linear funtion linear funcction linear funciton linear functiton linear funcion linear functtion linear functoin linear functioin linear functon linear functiion linear functino linear functiono linear functin linear functioon linear functinon linear functio linear functionn iinear function liinear function ilinear function oinear function loinear function olinear function pinear function lpinear function plinear function kinear function lkinear function klinear function ,inear function l,inear function ,linear function .inear function l.inear function .linear function l8near function li8near function l8inear function l*near function li*near function l*inear function l9near function li9near function l9inear function lunear function liunear function luinear function lonear function lionear function loinear function ljnear function lijnear function ljinear function lknear function liknear function lkinear function llnear function lilnear function llinear function lanear function lenear function ligear function lingear function lignear function lihear function linhear function lihnear function lijear function linjear function lijnear function libear function linbear function libnear function limear function linmear function limnear function li ear function lin ear function li near function lin3ar function line3ar function lin3ear function lin#ar function line#ar function lin#ear function lin4ar function line4ar function lin4ear function linwar function linewar function linwear function linrar function linerar function linrear function linsar function linesar function linsear function lindar function linedar function lindear function linfar function linefar function linfear function linaar function liniar function linoar function linuar function lineqr function lineaqr function lineqar function linewr function lineawr function linewar function linesr function lineasr function linesar function linexr function lineaxr function linexar function linezr function lineazr function linezar function line r function linea r function line ar function lineer function lineir function lineor function lineur function linea4 function linear4 function linea4r function linea$ function linear$ function linea$r function linea5 function linear5 function linea5r function lineae function lineare function lineaer function lineat function lineart function lineatr function linead function lineard function lineadr function lineaf function linearf function lineafr function lineag function linearg function lineagr function linear eunction linear feunction linear efunction linear runction linear frunction linear rfunction linear tunction linear ftunction linear tfunction linear dunction linear fdunction linear dfunction linear gunction linear fgunction linear gfunction linear cunction linear fcunction linear cfunction linear vunction linear fvunction linear vfunction linear bunction linear fbunction linear bfunction linear unction linear f unction linear function linear f7nction linear fu7nction linear f7unction linear f&nction linear fu&nction linear f&unction linear f8nction linear fu8nction linear f8unction linear fynction linear fuynction linear fyunction linear finction linear fuinction linear fiunction linear fhnction linear fuhnction linear fhunction linear fjnction linear fujnction linear fjunction linear fknction linear fuknction linear fkunction linear fanction linear fenction linear fonction linear fugction linear fungction linear fugnction linear fuhction linear funhction linear fuhnction linear fujction linear funjction linear fujnction linear fubction linear funbction linear fubnction linear fumction linear funmction linear fumnction linear fu ction linear fun ction linear fu nction linear funstion linear funcstion linear funsction linear fundtion linear funcdtion linear fundction linear funftion linear funcftion linear funfction linear funxtion linear funcxtion linear funxction linear funvtion linear funcvtion linear funvction linear fun tion linear func tion linear fun ction linear func5ion linear funct5ion linear func5tion linear func%ion linear funct%ion linear func%tion linear func6ion linear funct6ion linear func6tion linear funcrion linear functrion linear funcrtion linear funcyion linear functyion linear funcytion linear funcfion linear functfion linear funcftion linear funcgion linear functgion linear funcgtion linear funchion linear functhion linear funchtion linear funct8on linear functi8on linear funct8ion linear funct*on linear functi*on linear funct*ion linear funct9on linear functi9on linear funct9ion linear functuon linear functiuon linear functuion linear functoon linear functioon linear functoion linear functjon linear functijon linear functjion linear functkon linear functikon linear functkion linear functlon linear functilon linear functlion linear functaon linear functeon linear functi9n linear functio9n linear functi9on linear functi(n linear functio(n linear functi(on linear functi0n linear functio0n linear functi0on linear functiin linear functioin linear functiion linear functipn linear functiopn linear functipon linear functikn linear functiokn linear functikon linear functiln linear functioln linear functilon linear functian linear functien linear functiun linear functiog linear functiong linear functiogn linear functioh linear functionh linear functiohn linear functioj linear functionj linear functiojn linear functiob linear functionb linear functiobn linear functiom linear functionm linear functiomn linear functio linear function linear functio n Definition commonly spelled as: Defanition or Defenition, Synonym as: Synonim, Sinonym or Sinonim, Thesaurus as: Thesorus or Thesauris, Dictionary as: Dictionery or Dictionry and Define is usually not misspelled. What does mispell meen? It Meens...
Full Map Index: Å Norway-Am Timan Chad |
Ama United States of America-Audon France |
Audouville-la-Hubert France-Baskil Turkey |
Baskin United States of America-Bindoy Philippines |
Bindoy Philippines-Breuilpont France |
Breukelen Netherlands-Campofelice di Fitalia Italy |
Campofelice di Roccella Italy-Champigny France |
Champigny-en-Beauce France-Colle San Magno Italy |
Colle Sannita Italy-Damulog Philippines |
Damurhuda Bangladesh-Duliāgaon India |
Duliajan No.1 India-Ethridge United States of America |
Étienville France-Frignano Italy |
Frignicourt France-Gouhenans France |
Gouillons France-Hasselbach Germany |
Hasselbach Germany-Hurlock United States of America |
Huron United States of America-Jovellanos Cuba |
Jovellar Philippines-Kirchzell Germany |
Kircubbin United Kingdom-La Gomera Guatemala |
La Gonfrière France-Le Hohwald France |
Le Hommet-dArthenay France-Loma de Gato Philippines |
Loma de Juárez Mexico-Mālpur India |
Mālpura India-Memphis United States of America |
Memphis United States of America-Montería Colombia |
Monteriggioni Italy-Navalilla Spain |
Navalmanzano Spain-Noyelles-lès-Seclin France |
Noyelles-lès-Vermelles France-Pachelma Russia |
Pachgaon India-Piégut-Pluviers France |
Piekary Śląskie Poland-Prilep Macedonia |
Přílepy Czech Republic-Reuil-en-Brie France |
Reuilly France-Şag Romania |
Şag Romania-Saint-Puy France |
Saint-Python France-Santa Rita Panama |
Santa Rita Venezuela-Sewarhi India |
Sewen France-Sparbu Norway |
Spardorf Germany-Tamparan Philippines |
Tampayan Philippines-Tottington United Kingdom |
Tottleben Germany-Valdivia Chile |
Valdivia Colombia-Villeneuve-le-Roi France |
Villeneuve-lès-Avignon France-White City United States of America |
White City Canada-Żywiec Poland |
|
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.
|
©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy |
|