Python语法规则中的DFA的内容是什么

这篇文章将为大家详细讲解有关Python语法规则中的DFA的内容是什么,文章内容质量较高,因此小编分享给大家做个参考,希望大家阅读完这篇文章后对相关知识有一定的了解。

我们提供的服务有:网站设计制作、做网站、微信公众号开发、网站优化、网站认证、合川ssl等。为成百上千家企事业单位解决了网站和推广的问题。提供周到的售前咨询和贴心的售后服务,是有科学管理、有技术的合川网站制作公司

Grammar.h
Graminit.c中定义了包括Python语法规则的DFA(Deterministic Finite Automaton),关于DFA请参考Alfred V. Aho等人所著的Compilers: Principles, Techniques, and Tools一书。为了定义DFA,graminit.c引用了位于grammar.h中的一些类型:arc, state, dfa, grammar。

Label定义了从状态转移到另外一个状态所经过的边所对应的符号,可以是非终结符(Non-Terminal),也可以是终结符(Terminal)。Label一定依附于一条或者多条边。Lb_type代表符号的类型,如终结符NAME,代表一个标示符,或者非终结符stmt,代表一个语句,等等。

Lb_str代表具体符号的内容。比如,label (NAME, “if”)表示当parser处于某个状态,如果遇到了’if’这个标示符,则移动另外一个状态。如果label是一个非终结符的话,情况则要复杂一些,需要跳转到该非终结符对应的另外一个DFA,请参看编译器相关书籍。

/* A label of an arc */  typedef struct {  int lb_type;  char *lb_str;  } label;

在Graminit.c中定义了包括Python语法规则的DFA中arc代表DFA中一个状态到另一个状态的弧/边。A_lbl代表arc所对应的Label,而a_arrow记录了arc的目标状态。因为arc是属于某个状态的,因此不用纪录arc的起始状态。

/* An arc from one state to another */  typedef struct {  short a_lbl; /* Label of this arc */  short a_arrow; /* State where this arc goes to */  } arc;

State代表着DFA中的状态节点。每个state记录了从该state出发的边的集合,存放在s_arc中。其他的一些成员s_lower, s_upper, s_accel, s_accept记录了state所对应的Accelerator,其作用会在后面讲述。注意Accelerator信息并没有定义在graminit.c中,而是在运行时计算出来的。

/* A state in a DFA */  typedef struct {  int s_narcs;  arc *s_arc; /* Array of arcs */  /* Optional accelerators */  int s_lower; /* Lowest label index */  int s_upper; /* Highest label index */  int *s_accel; /* Accelerator */  int s_accept; /* Nonzero for accepting state */  } state;

DFA结构中记录了起始状态d_initial和所有状态的集合d_state。d_first记录了该DFA所对应的非终结符的firstset,也就是说,当遇到firstset中的终结符的时候,便需要跳转到此DFA中。d_first在后面计算Accelerators的时候会被用到。

/* A DFA */  typedef struct {  int d_type; /* Non-terminal this represents */  char *d_name; /* For printing */  http://new.51cto.com/wuyou/int d_initial; /* Initial state */  int d_nstates;  state *d_state; /* Array of states */  bitset d_first;  } dfa;

Grammar代表了Python的整个语法,记录了所有的DFA和所有的label。G_start则是Python语法的起始symbol,一般是single_input。不过实际的起始symbol可以在创建Parser的时候指定,可以是single_input, file_input, eval_input中的一个。

关于Python语法规则中的DFA的内容是什么就分享到这里了,希望以上内容可以对大家有一定的帮助,可以学到更多知识。如果觉得文章不错,可以把它分享出去让更多的人看到。


网页题目:Python语法规则中的DFA的内容是什么
标题路径:http://bzwzjz.com/article/psespi.html

其他资讯

Copyright © 2007-2020 广东宝晨空调科技有限公司 All Rights Reserved 粤ICP备2022107769号
友情链接: 网站建设推广 成都网站建设 手机网站建设 LED网站设计方案 重庆企业网站建设 成都品牌网站设计 成都网站设计 移动手机网站制作 网站建设 成都网站建设 高端网站设计 成都企业网站建设 温江网站设计 成都网站建设 网站建设公司 成都企业网站设计 教育网站设计方案 成都网站制作公司 网站制作 成都商城网站建设 成都网站设计 品牌网站建设