算符优先分析算法的设计与实现(含代码)
作者:互联网
算符优先分析算法的设计与实现
写在最前面:我的编译原理学的不是很好,不怎么听课,所以我写代码的思路比较简单。简单的思路也就意味着代码很笨重,介意的话请点叉叉。如果有什么指教欢迎评论区留言。
一、实验目的
- 根据算符优先分析法,对表达式进行语法分析,使其能够判断一个表达式是否正确。
- 通过算符优先分析方法的实现,加深对自下而上语法分析方法的理解。
二、 实验内容
-
输入文法。可以是如下算术表达式的文法(你可以根据需要适当改变):
E→E+T|E-T|T
T→T*F|T/F|F
F→(E)|i -
对给定表达式进行分析,输出表达式正确与否的判断。
程序输入/输出示例:
输入:1+2;
输出:正确
输入:(1+2)/3+4-(5+6/7);
输出:正确
输入:((1-2)/3+4
输出:错误
输入:1+2-3+(*4/5)
输出:错误 -
根据文法求FIRSTVT集和LASTVT集
给定一个上下文无关文法,根据算法设计一个程序,求文法中每个非终结符的FirstVT 集和LastVT 集。
找Firstvt的三条规则:
如果要找A的Firstvt, A的候选式中出现:
A->a…,即以终结符开头,a入 Firstvt
A->B…,即以非终结符开头,B的Firstvt入A的Firstvt
A->Ba…,即先以非终结符开头,紧跟终结符,则a入Firstvt
找Lastvt的三条规则:
如果要找A的Lastvt, A的候选式中出现:
A->…a,即以终结符结尾,a入Lastvt
A->…B,即以非终结符结尾,B的Lastvt入A的Lastvt
A->…aB,即先以非终结符结尾,前面是终结符,则a入Lastvt
根据上述求firstvt和lastvt的方法,我们计算一下我给的例子,得到的最终结果如下。
-
构造算符优先分析表
我先概述一下构造方法:
首先,在右边的产生式中,找每个终结符。
如果是就单一个终结符,那么忽略不看。
先找出…aB…这种形式,这代表a<firstvt(B)。
在算符优先分析表的左边一列中找到a,然后向右在对应的每个firstvt(B)的元素的位置上标上<。
再找…Ba…这种形式,这代表a>lastvt(B)。
在算符优先分析表的上面一行中找到a,然后向下在对应的每个lastvt(B)的元素的位置上标上>。
如果有…ab…或…aCb…这两种情况,则在a行b列的位置上标上=。
下面我来结合例子讲一下:
首先构造好表:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | ||||||||
- | ||||||||
* | ||||||||
/ | ||||||||
( | ||||||||
) | ||||||||
i | ||||||||
# |
然后我们先看文法的第一行:
E->E+T|E-T|T
第一个非终结符为+。
其实E+T就代表着lastvt(E)<+<firstvt(T)。
我们每次都要先看<,再看>。
+<firstvt(T),即+ < *,/,(,i。
<是从左向右,所以要在(+,*)(+,/)(+,()(+,i)这四个位置标上<。
即:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | < | < | < | < | ||||
- | ||||||||
* | ||||||||
/ | ||||||||
( | ||||||||
) | ||||||||
i | ||||||||
# |
然后再看>。
+>lastvt(E),即+ > +,-,*,/,),i。
<是从上到下,所以要在( +,+)(-,+)(*,+)(/,+)(),+)(i,+)这六个位置上标上>。
即:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | > | < | < | < | < | |||
- | > | |||||||
* | > | |||||||
/ | > | |||||||
( | ||||||||
) | > | |||||||
i | > | |||||||
# |
前两行文法:
E->E+T|E-T|T
T->T*F|T/F|F
其中的+,-,*,/都和我上面说的情况一样。
可得下表:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | > | > | < | < | < | < | ||
- | > | > | < | < | < | < | ||
* | > | > | > | > | < | < | ||
/ | > | > | > | > | < | < | ||
( | ||||||||
) | > | > | > | > | ||||
i | > | > | > | > | ||||
# |
最后,我们来看最后一个文法:
F->(E)|i
i只是一个终结符,不存在大小关系,不看它。
而(E)就是(<firstvt(E);lastvt(E)<)。
并且(E)满足…aBc…的情况,要在第(行,第)列的位置上标上=。
可得下表:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | > | > | < | < | < | > | < | |
- | > | > | < | < | < | > | < | |
* | > | > | > | > | < | > | < | |
/ | > | > | > | > | < | > | < | |
( | < | < | < | < | < | = | < | |
) | > | > | > | > | > | |||
i | > | > | > | > | > | |||
# |
最后的最后,如果要考虑#。
我们按照#E#的样子考虑。
即:#<firstvt(E);lastvt(E)<#。
可得最终表:
+ | - | * | / | ( | ) | i | # | |
---|---|---|---|---|---|---|---|---|
+ | > | > | < | < | < | > | < | > |
- | > | > | < | < | < | > | < | > |
* | > | > | > | > | < | > | < | > |
/ | > | > | > | > | < | > | < | > |
( | < | < | < | < | < | = | < | |
) | > | > | > | > | > | > | ||
i | > | > | > | > | > | > | ||
# | < | < | < | < | < | < | = |
这就是我们要求的算符优先文法了。
- 对给定的表达式,给出准确与否的分析过程,给出表达式的计算结果。
在规约的时候我们其实可以直接看文法就行了(如果文法比较简单的话),但我还是讲一下如何根据算符优先分析表来进行规约。
一句话:栈的最右边的终结符,和输入串的最左边的终结符,在表中查出对应位置为<,>还是=。<则移进,>则规约,=则先移进再规约。若表中对应位置是空格,则表示该表达式是错误的。
举个例子:#(i+i)/i+i-(i+i/i)#
步骤 | 栈 | 输入串 | 动作 |
---|---|---|---|
0 | # | (i+i)/i+i-(i+i/i)# | 预备 |
1 | #( | i+i)/i+i-(i+i/i)# | 查表,(#,()=<,移进 |
2 | #(i | +i)/i+i-(i+i/i)# | 查表,((,i)=<,移进 |
3 | #(N | +i)/i+i-(i+i/i)# | 查表,(i,+)=>,规约(N可以换成其它大写字母) |
4 | #(N+ | i)/i+i-(i+i/i)# | ((,+)=<,移进 |
5 | #(N+i | )/i+i-(i+i/i)# | (+,i)=<,移进 |
6 | #(N+N | )/i+i-(i+i/i)# | (i,))=>,规约 |
7 | #(N | )/i+i-(i+i/i)# | (+,))=>,规约 |
8 | #(N) | /i+i-(i+i/i)# | ((,))==,先移进 |
9 | #N | /i+i-(i+i/i)# | 后规约 |
10 | #N | # | 好了,偷个懒,不想写了,反正<,>,=三种情况都有了,自己举一反三吧 |
三、实验代码
//owner:junfuxiaotong
//date:2021/11/28
#include<bits/stdc++.h>
#include<cstdlib>
using namespace std;
#define N 100
#define true 1
#define false -1
char wenfa[N][N];
char VN[N],VT[N];
char firstvt[N][N],lastvt[N][N],table[N][N];
int vnvt(int n)//获取vn vt
{
int flag=true;
for(int i=0;i<n;i++)
{
if((wenfa[i][0]>='A'&&wenfa[i][0]<='Z')&&wenfa[i][1]=='-'&&wenfa[i][2]=='>')
{
VN[i]=wenfa[i][0];
}
else
{
flag=false;
break;
}
}
if(flag==false)
{
return flag;
}
else
{
int k=0;
int l=0;
for(int i=0;i<n;i++)
{
for(int j=3;wenfa[i][j]!='\0';j++)
{
if((wenfa[i][j]<'A'||wenfa[i][j]>'Z')&&wenfa[i][j]!='|')
{
for(l=0;l<k;l++)
{
if(wenfa[i][j]==VT[l])
{
break;
}
}
if(l==k)
{
VT[k]=wenfa[i][j];
k++;
}
}
}
}
return flag;
}
}
void getfirstvt(int n)
{
// int point=0;//用于指向每一个产生式的前两个符号
for(int i=0;i<n;i++)//首先是找到每个产生式的前两个符号是否是终结符,是就加入到对应的firstvt集中。
{
int flag=true;
for(int j=3;;)
{
for(int k=0;k<strlen(VT);k++)
{
if(wenfa[i][j]==VT[k])
{
int mark=true;//用于检查firstvt集中是否已经存在该终结符。
for(int l=0;l<strlen(firstvt[i]);l++)
{
if(wenfa[i][j]==firstvt[i][l])
{
mark=false;
break;
}
}
if(mark==true)//若不存在,则加入到firstvt集中
{
int length=strlen(firstvt[i]);
firstvt[i][length]=wenfa[i][j];
}
}
if(wenfa[i][j+1]==VT[k])
{
int mark=true;
for(int l=0;l<strlen(firstvt[i]);l++)
{
if(wenfa[i][j+1]==firstvt[i][l])
{
mark=false;
break;
}
}
if(mark==true)
{
int length=strlen(firstvt[i]);
firstvt[i][length]=wenfa[i][j+1];
}
}
}
while(wenfa[i][j]!='|')
{
if(wenfa[i][j]=='\0')
{
flag=false;
break;
}
j++;
}
j++;
if(flag==false)
{
break;
}
}
}
//下面的代码是循环查看哪些非终结符的firstvt集可以加入到另一些非终结符的firstvt集中,一直循环添加,直到每个非终结符的长度不再变化为止。
int *origin=new int[n];//用于记录遍历之前的数组长度,看是否有变化。
while(1)
{
int sign=true;//用于标识遍历前后firstvt是否有变化。mark,symbol。
for(int i=0;i<n;i++)
{
if(origin[i]!=strlen(firstvt[i]))
{
sign=false;//长度有变化
origin[i]=strlen(firstvt[i]);
}
}
if(sign==true)
{
break;
}
for(int i=0;i<n;i++)
{
for(int j=3;;)
{
for(int k=0;k<n;k++)
{
if(k==i)
{
continue;
}
else if(wenfa[i][j]==wenfa[k][0])
{
for(int l=0;l<strlen(firstvt[k]);l++)
{
int flag=true;//用于标识一个终结符是否已经在firstvt集中,true为不在其中的意思。
for(int m=0;m<strlen(firstvt[i]);m++)
{
if(firstvt[k][l]==firstvt[i][m])
{
flag=false;
break;
}
}
if(flag==false)
{
continue;
}
else
{
int length=strlen(firstvt[i]);
firstvt[i][length]=firstvt[k][l];
}
}
}
}
int flag=true;
while(wenfa[i][j]!='|')
{
if(wenfa[i][j]=='\0')
{
flag=false;
break;
}
j++;
}
if(flag==false)
{
break;
}
j++;
}
}
}
}
void getlastvt(int n)//获取lastvt集,此函数下标我是从abc...这么开始的,我也不知道为啥要这么干
{
for(int a=0;a<n;a++)
{
for(int b=0;;)
{
int sign=true;//用于标识是否到了一句分法的末尾
while(wenfa[a][b]!='|')
{
if(wenfa[a][b]=='\0')
{
sign=false;
break;
}
b++;
}
for(int c=0;c<strlen(VT);c++)
{
if(wenfa[a][b-1]==VT[c])
{
int flag=true;
for(int e=0;e<strlen(lastvt[a]);e++)
{
if(wenfa[a][b-1]==lastvt[a][e])
{
flag=false;
break;
}
}
if(flag==true)
{
int length=strlen(lastvt[a]);
lastvt[a][length]=VT[c];
}
}
if(wenfa[a][b-2]==VT[c])
{
int flag=true;
for(int e=0;e<strlen(lastvt[a]);e++)
{
if(wenfa[a][b-2]==lastvt[a][e])
{
flag=false;
break;
}
}
if(flag==true)
{
int length=strlen(lastvt[a]);
lastvt[a][length]=VT[c];
}
}
}
if(sign==false)
{
break;
}
b++;//这里设置一个b++是因为wenfa[a][b]=='|',这样的话前面的while循环无法进行前进下标扫描,所以在这先把下标跳一个。
}
}
//下面的代码和getfirstvt的后半段代码一模一样,只是把所有的firstvt改成lastvt就行了。
int *origin=new int[n];//用于记录遍历之前的数组长度,看是否有变化。
while(1)
{
int sign=true;//用于标识遍历前后lastvt是否有变化。mark,symbol。
for(int i=0;i<n;i++)
{
if(origin[i]!=strlen(lastvt[i]))
{
sign=false;//长度有变化
origin[i]=strlen(lastvt[i]);
}
}
if(sign==true)
{
break;
}
for(int i=0;i<n;i++)
{
for(int j=3;;)
{
for(int k=0;k<n;k++)
{
if(k==i)
{
continue;
}
else if(wenfa[i][j]==wenfa[k][0])
{
for(int l=0;l<strlen(lastvt[k]);l++)
{
int flag=true;//用于标识一个终结符是否已经在lastvt集中,true为不在其中的意思。
for(int m=0;m<strlen(lastvt[i]);m++)
{
if(lastvt[k][l]==lastvt[i][m])
{
flag=false;
break;
}
}
if(flag==false)
{
continue;
}
else
{
int length=strlen(lastvt[i]);
lastvt[i][length]=lastvt[k][l];
}
}
}
}
int flag=true;
while(wenfa[i][j]!='|')
{
if(wenfa[i][j]=='\0')
{
flag=false;
break;
}
j++;
}
if(flag==false)
{
break;
}
j++;
}
}
}
}
void gettable(int n)
{
char data[N];//用于保存每个产生式
for(int i=0;i<n;i++)//<
{
int dt=0;
// int flag=true;
for(int j=3;;)
{
if(wenfa[i][j]=='|'||wenfa[i][j]=='\0')
{
if(strlen(data)!=1)
{
for(int k=0;k<strlen(data);k++)
{
if(data[k]<'A'||data[k]>'Z')
{
if(data[k+1]!='\0'&&data[k+1]>='A'&&data[k+1]<='Z')
{
int x;
int yk;
for(int l=0;l<strlen(VT);l++)
{
if(data[k]==VT[l])
{
x=l;
break;
}
}
for(int l=0;l<strlen(VN);l++)
{
if(data[k+1]==VN[l])
{
yk=l;
break;
}
}
for(int l=0;l<strlen(firstvt[yk]);l++)
{
for(int m=0;m<strlen(VT);m++)
{
if(firstvt[yk][l]==VT[m])
{
if(table[x][m]=='\0')
{
table[x][m]='<';
break;
}
}
}
}
}
}
}
}
if(wenfa[i][j]=='\0')
{
break;
}
j++;
memset(data,'\0',sizeof(data));
dt=0;
}
else
{
data[dt]=wenfa[i][j];
j++;
dt++;
}
}
}
for(int i=0;i<n;i++)//>,和上面的<差不多其实
{
int dt=0;
// int flag=true;
for(int j=3;;)
{
if(wenfa[i][j]=='|'||wenfa[i][j]=='\0')
{
if(strlen(data)!=1)
{
for(int k=0;k<strlen(data);k++)
{
if(data[k]<'A'||data[k]>'Z')
{
if(k>=1&&data[k-1]>='A'&&data[k-1]<='Z')
{
int y;
int xk;
for(int l=0;l<strlen(VT);l++)
{
if(data[k]==VT[l])
{
y=l;
break;
}
}
for(int l=0;l<strlen(VN);l++)
{
if(data[k-1]==VN[l])
{
xk=l;
break;
}
}
for(int l=0;l<strlen(lastvt[xk]);l++)
{
for(int m=0;m<strlen(VT);m++)
{
if(lastvt[xk][l]==VT[m])
{
if(table[m][y]=='\0')
{
table[m][y]='>';
break;
}
}
}
}
}
}
}
}
if(wenfa[i][j]=='\0')
{
break;
}
j++;
memset(data,'\0',sizeof(data));
dt=0;
}
else
{
data[dt]=wenfa[i][j];
j++;
dt++;
}
}
}
for(int i=0;i<n;i++)//=
{
int dt=0;
// int flag=true;
for(int j=3;;)
{
if(wenfa[i][j]=='|'||wenfa[i][j]=='\0')
{
if(strlen(data)!=1)
{
for(int k=0;k<strlen(data);k++)
{
if(data[k]<'A'||data[k]>'Z')
{
if(data[k+1]!='\0'&&(data[k+1]<'A'||data[k+1]>'Z'))
{
int x,y;
for(int l=0;l<strlen(VT);l++)
{
if(data[k]==VT[l])
{
x=l;
}
if(data[k+1]==VT[l])
{
y=l;
}
}
if(table[x][y]=='\0')
{
table[x][y]='=';
}
}
if(data[k+2]!='\0'&&(data[k+2]<'A'||data[k+2]>'Z'))
{
int x,y;
for(int l=0;l<strlen(VT);l++)
{
if(data[k]==VT[l])
{
x=l;
}
if(data[k+2]==VT[l])
{
y=l;
}
}
if(table[x][y]=='\0')
{
table[x][y]='=';
}
}
}
}
}
if(wenfa[i][j]=='\0')
{
break;
}
j++;
memset(data,'\0',sizeof(data));
dt=0;
}
else
{
data[dt]=wenfa[i][j];
j++;
dt++;
}
}
}
int jinghao=strlen(VT);
table[jinghao][jinghao]='=';
for(int i=0;i<strlen(VT);i++)
{
for(int j=0;j<strlen(firstvt[0]);j++)
{
if(VT[i]==firstvt[0][j])
{
table[jinghao][i]='<';
break;
}
}
}
for(int i=0;i<strlen(VT);i++)
{
for(int j=0;j<strlen(lastvt[0]);j++)
{
if(VT[i]==lastvt[0][j])
{
table[i][jinghao]='>';
break;
}
}
}
}
void fenxi(char *sentence)
{
char in[N];
in[0]='#';
char out[N];
for(int i=0;i<strlen(sentence);i++)
{
out[i]=sentence[i];
}
out[strlen(sentence)]='#';
int step=0;
int lin=1;
int lout=strlen(sentence)+1;
cout<<step<<'\t';
for(int i=0;i<lin;i++)
{
cout<<in[i];
}
cout<<'\t';
for(int i=0;i<lout;i++)
{
cout<<out[i];
}
cout<<'\t'<<"预备"<<endl;
int flag=true;
while(true)
{
int i=lin-1;
while(in[i]=='N')
{
i--;
}
int j=0;
int x,y;
for(int k=0;k<strlen(VT);k++)
{
if(in[i]==VT[k])
{
x=k;
}
if(out[0]==VT[k])
{
y=k;
}
}
if((in[i]>='a'&&in[i]<='z')||(in[i]>='0'&&in[i]<='9'))
{
for(int k=0;k<strlen(VT);k++)
{
if('i'==VT[k])
{
x=k;
}
}
}
if((out[0]>='a'&&out[0]<='z')||(out[0]>='0'&&out[0]<='9'))
{
for(int k=0;k<strlen(VT);k++)
{
if('i'==VT[k])
{
y=k;
}
}
}
if(in[i]=='#')
{
x=strlen(VT);
}
if(out[0]=='#')
{
y=strlen(VT);
}
if(x==y&&y==strlen(VT))
{
break;
}
if(table[x][y]=='<')
{
in[lin]=out[0];
lin++;
lout--;
for(int l=0;l<lout;l++)
{
out[l]=out[l+1];
}
step++;
cout<<step<<'\t';
for(int l=0;l<lin;l++)
{
cout<<in[l];
}
cout<<'\t';
for(int l=0;l<lout;l++)
{
cout<<out[l];
}
cout<<'\t'<<"移进"<<endl;
}
else if(table[x][y]=='=')
{
step++;
cout<<step<<'\t';
for(int l=0;l<lin;l++)
{
cout<<in[l];
}
cout<<out[0]<<'\t';
for(int l=1;l<lout;l++)
{
cout<<out[l];
}
cout<<'\t'<<"移进"<<endl;
in[i]='N';
int lin1=lin;
for(int k=i+1;k<lin1;k++)
{
in[k]='\0';
lin--;
}
lout--;
for(int k=0;k<lout;k++)
{
out[k]=out[k+1];
}
step++;
cout<<step<<'\t';
for(int l=0;l<lin;l++)
{
cout<<in[l];
}
cout<<'\t';
for(int l=1;l<lout;l++)
{
cout<<out[l];
}
cout<<'\t'<<"规约"<<endl;
}
else if(table[x][y]=='>')
{
while(true)
{
if(in[i-1]=='N')
{
i--;
}
else
{
break;
}
}
in[i]='N';
int lin1=lin;
for(int k=i+1;k<lin1;k++)
{
in[k]='\0';
lin--;
}
step++;
cout<<step<<'\t';
for(int k=0;k<lin;k++)
{
cout<<in[k];
}
cout<<'\t';
for(int k=0;k<lout;k++)
{
cout<<out[k];
}
cout<<'\t'<<"规约"<<endl;
}
else
{
flag=false;
break;
}
}
if(flag==true)
{
cout<<"恭喜你,你的句子没有问题。"<<endl;
}
else if(flag==false)
{
cout<<"算符优先分析表中没有这俩非终结符的对应关系,匹配失败。"<<endl;
}
}
int main()
{
cout<<"请使用英文输入法输入文法,输入#代表结束。另:此程序对文法右部无检错功能。"<<endl;
int n;
while(1)
{
int i=0;
do
{
cin>>wenfa[i];
i++;
} while (wenfa[i-1][0]!='#');
n=i-1;//文法数量
// for(i=0;i<n;i++)
// {
// cout<<wenfa[i]<<endl;
// }
if(vnvt(n)==false)
{
cout<<"您所输入的文法左部可能有误,请检查后再重新输入。"<<endl;
}
else
{
break;
}
}
getfirstvt(n);
getlastvt(n);
gettable(n);
cout<<"---------------------------------------------------"<<endl<<"非终结符有:VN={";
for(int i=0;i<strlen(VN);i++)
{
cout<<VN[i];
if(i!=strlen(VN)-1)
{
cout<<',';
}
}
cout<<'}'<<endl<<"终结符有:VT={";
for(int i=0;i<strlen(VT);i++)
{
cout<<VT[i];
if(i!=strlen(VT)-1)
{
cout<<',';
}
}
cout<<'}'<<endl<<"---------------------------------------------------"<<endl;
for(int i=0;i<strlen(VN);i++)
{
cout<<"FIRSTVT("<<VN[i]<<")={";
for(int j=0;j<strlen(firstvt[i]);j++)
{
cout<<firstvt[i][j];
if(j!=strlen(firstvt[i])-1)
{
cout<<',';
}
}
cout<<'}'<<endl;
}
cout<<endl;
for(int i=0;i<strlen(VN);i++)
{
cout<<"LASTVT("<<VN[i]<<")={";
for(int j=0;j<strlen(lastvt[i]);j++)
{
cout<<lastvt[i][j];
if(j!=strlen(lastvt[i])-1)
{
cout<<',';
}
}
cout<<'}'<<endl;
}
cout<<"---------------------------------------------------"<<endl<<"算符优先分析表如下:"<<endl<<'\t';
for(int i=0;i<strlen(VT);i++)
{
cout<<VT[i]<<'\t';
}
cout<<'#'<<endl;
for(int i=0;i<strlen(VT)+1;i++)
{
if(i==strlen(VT))
{
cout<<'#'<<'\t';
}
else
{
cout<<VT[i]<<'\t';
}
for(int j=0;j<strlen(VT)+1;j++)
{
cout<<table[i][j]<<'\t';
}
cout<<endl;
}
char sentence[N];
while(true)
{
cout<<"请输入你要识别的句子,若输入#则代表没有需要识别的句子了:"<<endl;
cin>>sentence;
if(sentence[0]=='#')
{
break;
}
cout<<"步骤"<<'\t'<<"栈"<<'\t'<<"输入串"<<'\t'<<"动作"<<endl;
fenxi(sentence);
}
system("pause");
return 0;
}
运行结果如下:
输入几个例子的结果如下:说明一下,我的代码把所有数字和小写字母都看作了i。
eg1:1+2
eg2:(1+2)/3+4-(5+6/7) (其实就是我举的例子,我为了简单全部换成了i)
eg3:((1-2)/3+4 (错误的例子)
最后只要输入#结束运行就行了。
好了,拜拜,祝大家生活愉快。
标签:wenfa,算符,优先,cout,int,flag,break,算法,data 来源: https://blog.csdn.net/qq_45750767/article/details/121596718