Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
Интерпретатори на желания за храни
Въведение
В тази тетрадка (на англ. "notebook") ще покажем как може да се създаде граматика за прост, специфичен език (на агнл., "Domain Specific Language" или "DSL"), който съдържа изречения, обявяващи желания за различни храни и пристрастията към тях.
Инсталирай пакета (паклета)
In[1]:=
PacletInstall["AntonAntonov/FunctionalParsers"]
Out[1]=
PacletObject
 |  |
|
Зареди пакета (паклета)
In[2]:=
Needs["AntonAntonov`FunctionalParsers`"]
Граматика
Тук е представянето в Разширена Бакус-Наур Форма (РБНФ) (англ. "EBNF") на специфичен ("домейн") език (DSL) за желания за храна:
In[3]:=
ebnfCode=" <lovefood> = [ <subject> ] , <loveverb> , <object-spec> <@ LoveFood[Flatten[#]]& ; <loveverb> = ( 'обичам' | 'обичаме' | 'обичаш' | 'желая' | 'желаем' | 'желаеш' | 'настоявам' | 'настояваме' | 'настояваш' | 'искам' | 'искаме' | 'искаш' ) <@ LoveType ; <object-spec> = ( <object-list> | <object> | <objects> | <objects-mult> ) <@ LoveObjects[Flatten[{#}]]& ; <subject> = 'аз' | 'ние' | 'ти' <@ Who ; <object> = 'суши' | 'шоколад' | 'мляко' | 'сладолед' | 'мандарина' ; <objects> = 'суши' | 'шоколади' | 'шоколада' | 'млека' | 'сладоледи' | 'сладоледа' | 'мандарини' ; <objects-mult> = 'Range[2,100]' , <objects> <@ Mult ; <object-list> = ( <object> | <objects> | <objects-mult> ) , { 'и' &> ( <object> | <objects> | <objects-mult> ) } ; ";
Тук се генерират парсери от низа с РБНФ:
In[4]:=
 | GenerateParsersFromEBNF |
 | ParseToTokens |
Тук се тества парсера -- за най-горното правило "<lovefood>" -- със списък от изречения:
pLOVEFOOD
In[5]:=
sentences="Обичам мляко","Искаме 2 сладоледа","Аз искам 2 сладоледа и 5 шоколада","Обичаш шоколад и мляко";
[pLOVEFOOD,ToLowerCase@sentences,"Layout""Vertical"]
| ParsingTestTable |
Out[5]=
1 | command: | обичам мляко |
parsed: | LoveFoodLoveType[обичам],LoveObjects[{мляко}] | |
residual: | {} | |
2 | command: | искаме 2 сладоледа |
parsed: | LoveFoodLoveType[искаме],LoveObjectsMult2,сладоледа | |
residual: | {} | |
3 | command: | аз искам 2 сладоледа и 5 шоколада |
parsed: | LoveFoodWho[аз],LoveType[искам],LoveObjectsMult2,сладоледа,Mult5,шоколада | |
residual: | {} | |
4 | command: | обичаш шоколад и мляко |
parsed: | LoveFoodLoveType[обичаш],LoveObjectsшоколад,мляко | |
residual: | {} |
Обърнете внимание на обвивките , , -- това са символи, специфицирани в края на някои от РБНФ правилата.
LoveFood
LoveType
LoveObjects
Генериране на случайни изречения
Туке се генерират случайни изречения с граматиката по-горе:
In[6]:=
SeedRandom[3];
[ebnfCode],12//Sort//ColumnForm
| GrammarRandomSentences |
 | GrammarNormalize |
Out[7]=
обичаме суши |
настоявам суши |
настояваш шоколади |
ти настояваш мандарини |
ние настоявам сладоледи |
желаеш 20 сладоледи и 40 сладоледа |
обичаме шоколада и 33 сладоледи и 100 шоколада |
обичаме 40 сладоледи |
ние настояваш 41 сладоледа |
желаем млека и мандарини и суши и мляко и 42 шоколади и млека |
аз желаем 55 сладоледа |
ние желаем 7 сладоледа |
Интерпретиране
Можем да прорграмираме интерпретатори, които показват приемането на калории за обявените хранителни пристрастия и желания. Можем да използваме функцията WolframAlpha, за да получим калориите, но тъй като функцията WolframAlpha може да бъде бавна, тя е пренаписана в Block-а.
Интерпретатор за
LoveObjects
In[8]:=
Clear[LoveObjectsCalories];LoveObjectsCalories[parsed_]:=Block[{res,wares,WolframAlpha={}&},res=(StringJoin@@Flatten[Riffle[parsed," and "]/.Mult[{x_,y_}](StringJoin@@Riffle[Flatten[{ToString[x],y}]," "])]);wares=WolframAlpha[res<>" calories","DataRules",TimeConstraint60];{{"Result",1},"ComputableData"}/.wares/.{{"Result",1},"ComputableData"}Quantity[RandomInteger[{20,1200}],"LargeCalories"]];
Интерпретатор за
LoveFood
In[9]:=
Clear[LoveFoodCalories];LoveFoodCalories[parsed_]:=Block{who,type},type=Cases[parsed,LoveType[id_]id,∞]1;who=Cases[parsed,Who[id_]id,∞];If[Length[who]>0,who=First[who],(*ELSE*)who=Which[StringEndsQ[type,"ме"],"ние",StringEndsQ[type,"ш"],"ти",StringEndsQ[type,"м"],"аз"]];Whichwho"ти",Row[{"Не. Аз съм машина."}],StringStartsQ[type,"обич"],Row"Вие наддавате с ",Sqrt[1*10.]parsed-1," на ден.",True,Row"Вие наддавате с ",parsed-1,".";
Тук тестовете за парсиране по-горе са приложени отново, но с променени дефиниции на опаковащите символи LoveFood и LoveObjects:
In[11]:=
Block{LoveFood=LoveFoodCalories,LoveObjects=LoveObjectsCalories},
[pLOVEFOOD,ToLowerCase@sentences,"Layout""Vertical"]
| ParsingTestTable |
Out[11]=
1 | command: | обичам мляко |
parsed: | Ви наддавате с 218.197 Cal | |
residual: | {} | |
2 | command: | искаме 2 сладоледа |
parsed: | Вие наддавате с 960 Cal | |
residual: | {} | |
3 | command: | аз искам 2 сладоледа и 5 шоколада |
parsed: | Вие наддавате с 1127 Cal | |
residual: | {} | |
4 | command: | обичаш шоколад и мляко |
parsed: | Не. Аз съм машина. | |
residual: | {} |
 |
|