Дж.Ф. Люгер - Искусственный интеллект. 2003 (1156457), страница 107
Текст из файла (страница 107)
»ер »им злемипоы выр Вцк, ' '"'"' "р"м ю зто щг»пило „„„„ ммн. т ре ам„, об ыо . Ы5Р аопусьа т вложен о ешь Валова» фупю(ий дронт» Вз«ю о рыо . по юп, паюумалчан»ю юЫБРопен(изшвсеобьектм. При этом и н н «вю В пилим. нне, шамиле шнж. «вуют р ыер, сс н иитерпрет» нме х, ма бы тонне Прн оц ннваияа сип ин Репа «аз Резгльют славы юц сни. эа ы мшут пан пьс» ' Рпушпм амзеля Ф нюнй (л дрюдю (5 1 2 (мм ш с шм,то при ею оп ю оценке выдаем» сообщение аб ошибке.
Нюрим р, цен«аз Н, енина выРаю ие ( ° (*2 3) (*3 5) ),!ЛБЕ Л«»чмщ оцени»а н. тм (*2 3) н (*3 5) Пле первого аргумепть 1.!БР оцеиивют его дд)ю вращав сао еетстэующие им ариф ( (.2Д( 355 ЗиаЧЕНИЕ ПЕРЕМ«ажащшн Н В РЕЗУЛЬтап Лшат ЧИСЛО б. Дш пзчю резульпюм оценни выражения (*3 5) амине 15 3 и жн резуяьтеты перел»юге» фумкцин сломен я Ьмм и. сокого уровня, прн оцеи «внии которой е нврашаетсл 21. Ди. грамма вююлненин этна оперм1нй показана на рис 15.1.
Помп о арифматичесвнх операций 1.!БР включает мнехмь (А) во фрпа(ий работы со спискам К ним от«оспе» фунэшм ло щрюам н юмбинированнл списков, доь«упв к зле«ела« ш. сказ н пропрю рюлнчмых свойств Например, фуюшив 11»с 2 3 э 5 р б ару ви Р юш Р !51 др з т д . список, Фуннци» псь (юлучает в качестве аргу«писа мсяс» е з р - список е возвращает указанный элемент зюго сп сяз Ну«им Ру" ("«1(зр цел злсмеиюв списка начинается с нуля, Ват примеры «аэслзз: юшя з1«х и друпс( функшц рабаты со аписюшн з-выра сина мож о рскурснвноопредеют нт следующ м сбрюом. , Л,т,зм — ого ь-вмР жени . 2 Есл«»(, Вз, ..., е т Вы1мзвееи,таз" ьдмю, 1о з.
ыРикениам Явввем» и сп ок (э« аз, з,) П исок — это еюомврмае з. ырлкемнс. ферма — зто оплежашее оценила ию ь. ыр ь. ырэжемие Если зто »ноак, пе цю ( аркументо пнн, а последующие оце еаютса юм ОоеучеОдени анна еырю(ений ыполн ется следующим бр шимсбр ам.
Если з- Рэ ение — чн ло, то возврашипсв значаии чаиие зюга числа. Еслиз.выра свис — а о врньща( а, авар шаек вр шаемл саманное с и значение. Е- лп этот символ нес язви, возврашае я сообщение або б щ ниса о н «е. Ешщэ-вирд е не — мос «сок,опе »закис всеегоаргум нты. р мепареого,а« полученному результату примеиястсл фунюик опредыпсмвя пер и ергумснтом. В ЫБР а виде з-вырлюннй представл юм» и пр граммы.
н минье. Это ее ая ко упрош такс с . но ь.выражений у Рошеег написаны программ. обрей певаюш х в качестве ла е е ла мх лругне программы Это облегчаетреалнзаш(юн ергфептсровнэЫ5Р 15.1.1. Унрдиленнл Оценмцпннем в 3.1БР) фуммцнм ццепе и еме1 В нескольких примерах из ревыаущего рюдсла перед сп а«амн аргументов рас о гаася символ олннариьш а «чек ' Эют синею. катар й так ке маваг быть прел леи функцией сп осе, релстав е собой сн цнвльиую функцию, а рае не оцею юет сван аргументы, а предотврашаег ит оцени Зачастую юо делаемя длл а о, ч б аргуне тм обрабат мю с как ленные, г не как аценнваемю форма Оцсниваа ь.выражении, Ы5Р сначала шзращсз сцепить все ергу мп Е . итар«Разе орунсрелаетс рэ ан е (псЬ О ( Ь Л)) о псяаие«Ргумент (а ь а б) Эгз поныть прнвюет к ашнбь, наскол «у г первый зле«сне то а з-вырюкение — не »власте» функиисй ЫБР.
Ч бы р л р т зю. сходу г оспользо» с просыпай функц ей р осе. Оназэвнснтатолмога ргуммпн н аоз раш ст этот аргумент баз ега оценки. Напр р. (Фюсе ( ь с)) (е Ь (Ч Ев ( ° 1 З11 (+13) Паек льку функция ср с ислалюу сл да»шпио ю. то е Ы5Р запекаем» ее ащзашенное обоз« и в виве с мволв '. Поз( му пранюуш е примеры мозкно «суп нсвт в следующем вме ' '(вЬ 1 3) (' 1 первь м аргумен ом функц и бегин ввлвстся нм» апр делаемой фу цни, вгони — список ее формальных пар метров, которые яа кны быль мвач ными а цж Ошзльные аРгУ сити — это нУль илн ь-выРзже а, ссстзамюши тел иое и фУнкини,тс «ОИБ!БР, о ределяюший ас повелены Как и вс фун ини Б)5Р, б гап вазврзшмт значение, прелставляюшсе собой просто и новой фунши Важным рсзулыатом рабою фунщин бс!шт ввляесса потшчный эффект, сос ш й в созд нни новой функция в»оба сини сев срыу 1.!5Р В ра смотре н примере спрслелямся функция в зиаге зависяшал ат дно)сэр)!мента н рашаюш а р зультат умнаюния агота аргумен на себя После опред ения фунюни ес исоб» л м выэмвшь с тем же числам аргументов или факп(ческнх параметров Прл ыюве фунюнл факп ческие араметр свлюваюшя формальными, и фуньш и оценивается с уче1ом этого связывая)ш.
Например, вр мтове (в!саге 5) значение 5 свюываешз сформальнммпар метро хв ыеопреде сны Оценнвм мш (' х х),1!Брсначптв оиснивает аргументы функции Пас аль«Ус эш ызаве пар егр 5.то сценивае са вырзъен)м (* 5 5) Бо сс строга инта«с с вырюени дези и сегена нет п Ру ы ( Радел р р ) ея Ф) и ) В этом о ределснии описанн» мементо формы эмшючены в угловые скобки Эм обозна ение будет' нспшмэсвэно н лыее заметим, по форм ные парамс)рм функыа Оегцп р лставляю шс списка. Внось опрелелен ую фюкцвю но о всылыоюп шк»е.
юк и любую лр)тую шроеннуш функцию П едпсдо и», что необ одино зычно ллнну спи пьнузы пря- Р ~око него)реута ьннва, зн аллан двух еголру несторов Э уфувки ю можно апре»слить на о нове морены пнф сор, ° пользу ыр лыы уш Раны функцвю юнге, а акме в траениую фун цию япгс блсюоншй лри ср э аб ы )юз. Робиммн кон нтарнямн Б)зрлолдержнметолнастрочныс .о мап Раи.тс нпариРзс™щскш,нач ныспервс сямвыа; алака юстроьи (а т п иур се цд (сц с ( )иаке (ео а е у))1) РагрдымвРованне нл ФДЯР) сознпнне новых фзункннн йнвлект Сампо пю БНР включает ба ьшое «о ичсство встроенных Фуы й, э тон чно смлумшнс ° Полный слс я ешсствен „„ „ яочислен ай ес ой, «м(пмкпмй н й арифметики н рабана с рациональными числю)» ° Раэ осбратньм ф нк функш ° органиэации инклав и у Ра'л'ни» пР'Ф' ° Зунквии р бпм со списка Ф списками и лруг мн струптурами Лацнык ун цви ваада-вывод».
гла ее 15 Введение в О5Р 590 Чзстьш язмыи техн и ннтвмм сенина ды нсщсо я прслотвр шеню оцсннвани асс используется ( ° . "'Умец, Форы ли Врмсм Я "д «н ичаскик де доган»,ФУИ астм» арнфмет з. ° . ср Ое лми эив')сюшми Рвссмат оеениюются сво сне. с Оеазфункцни 1 вс шит вьп н я фунюнн паосе в слепую (11ЯС (+ 1 2) ( ° 3 ° 3 а)) (3 7) 3 4)) (11зе '(+ 1 2) ' (+ ((. 1 г) ( З З)) е Р)умснты м ваап Рованы, поэтому анн оценю „ ьзусмай по умолчанию схеме В юг«ваш 1эвс мг зона яспальз ыху, и е «зчестяе аргумент,) функц я ц я аге прелошрмиает сцен (+1 2) — эта осммслснная ф а. я свми э-в рамии . Н хата о е (Ф ве Воэможность предотвратит, оее прело рюпет ее алеияввнв поепр сданными — апанас свойство Б)БР г)м мм н обрашапсз с ними «ак с лэн Ые Б)БР тмскс преласшвляет в рвспоряжы Вдшшшснн кфушшш Ршсе Фрешию ез 1, поэвмншшую о 1, ммншшую осенить з-вырзженпс.
Она зависит ог адын паелешш ш ссбм) э-вырааение, ° бм ~ение, Эп т зрОМент аиешшается каи абычнь й ар, О ° слою с а н в мч ' ша в Рюе еоа! лшвр Оз вы рсзу зт снова о озанчвш ныйрезулшат Ватны(еры лрименеюш фушшнй ет а1 и ср осе. (ц Оса ( 2 3)) ( ° 2 3) 1 (рюсс (+ 2 3))) )Фу шя еча1 оп ен е р зу а 5 гфу р се т (1 ее ' 2 5) р ся опон аемае в- р е (' 2 5) ( ы Омс '' 2 5));строится оце н вется раженне 10 Фун п а е в1.
по суш шву, обсспепамег обычное аценинание з-вмражевин Бнш)ЛФ' Ф юм мосе и е а1 ушествеина Нйюшаешл разработва м т им) р ю Ре ( с) ч мш нц — ввш)ынй танщпнага ипшрпретшора 1.15Р, апредслвюшик мотню' лаполнипльныс еаз сети эшго языка программирования. Эта и '«'ю' ы Оп)» ) Ршр ммцювнвш (пжас)шфуешя на примере Ънфикснога шпсупрешмрц' з Р ' мм (5 ™ Р"Фцо) стжшчв экспсрпюйаисшмы в разделе 15 10 Формы для «онтрыя оленины)ия фуввюй Фуякнни упРав инверсное попер ционн д на снеге сй Все Фунюин ФЗБР н сэма но псречиашпь в о й ,з ш з анях со)шржи я а спенааеьной литературен Б(зр в алка г авс. Ба се ол бна ифоПр граммированне э Б)5Р св лите н р д ц, нм а основе ба атом а ек)ра зстроенш ц Р лм нвю овы Функций н в с нию ых н по азов гымк х функш й Навьм фун цц!в апрелю юге» с паношыа фунюин пе!цп е ш, и я «отарой ирелст смт собой со Рашснне фра ы "беуы Нпс(юпх После о редсмниз мнив Функц «е мо.
на непалы ать „«же, ак и любую яр)тую астрос ную Ф)нкдню язык . П,«дцыожим, что трсбустс опраделить фунщию вцц ница е, эвв» ешую ат одного аредта и воэваляшуш с о в «валрат. Эту фунюию в 1.15Р можно апредслюь слелуюн)цм образам (дтоиае() (' х х)) ( 9 ( ° 4 9)) ( = 17 4) в ( 4 г)) п)1 ( ддр 3) с (а» р б) ( юер ы) ( Ьер эц 1 Р О) (Р) Р 10) (Р)" Р -2) М) гпр ер :сро а е лыо т '"Ро Р а, и ар у еи "~'*Ргл Ра е ст арг „ («ус еп д йсг иеп )) Условие и дейспше шут быть произвол иымк «выражеипями, при эшм «а»акса. ра заключается вскобк Подобие Фу«ниии д 3 п саид ис пиеииаает все свои ар(умен. гы Оиа овеииваег ус. овне по передку до тек пор, дока адно иэ них не возвратит )нече аке, отличное ог ы1 В этом случае опснивается соответствующее действие, и пол)чек.