一键生成`Scope`文法解析器

阅读目录(Content)

1 Compiler of Scope
2 Grammar

2.1 Lexical Analyzer States
2.2 nullable
2.3 FIRST
2.4 FOLLOW
2.5 LL(1) Syntax Machine
2.6 LR(0) Syntax Machine
2.7 SLR(1) Syntax Machine
2.8 LALR(1) Syntax Machine
2.9 LR(1) Syntax Machine

3 End

回到顶部(go to top)

Compiler of `Scope`

The C# source code of the compiler Scope is generated by bitzhuwei.GrammarFormat.

回到顶部(go to top)

Grammar

// 7 VnRegulations:
Scope : '[' 'firstItem1' RangeItems ']' // [0]
      | '[^' 'firstItem2' RangeItems ']' // [1]
      | '[' 'firstItem1' ']' // [2]
      | '[^' 'firstItem2' ']' ; // [3]
RangeItems : RangeItems RangeItem // [4]
           | RangeItem ; // [5]
RangeItem : 'char' ; // [6]
// 3 VtPatterns:
'firstItem1' : %%<'['>\\u[0-9]{4}|\\t|\\n|\\r|\\-|[ -Z]|\[|\\\\|]|\\\^|[_-~]%% ; // [0]
'firstItem2' : %%<'[^'>\\u[0-9]{4}|\\t|\\n|\\r|\\-|[ -Z]|\[|\\\\|]|\^|\\\^|[_-~]%% ; // [1]
'char' : %%\\u[0-9]{4}|\\t|\\n|\\r|\\-|[ -Z]|\\\[|\\\\|\\\]|\^|\\\^|[_-~]%% ; // [2]

2.1

回到顶部(go to top)

Lexical Analyzer States

2.2

回到顶部(go to top)

nullable

[0]: nullable( Scope ) = False
[1]: nullable( '[' ) = False
[2]: nullable( 'firstItem1' ) = False
[3]: nullable( RangeItems ) = False
[4]: nullable( ']' ) = False
[5]: nullable( '[^' ) = False
[6]: nullable( 'firstItem2' ) = False
[7]: nullable( RangeItem ) = False
[8]: nullable( 'char' ) = False
[9]: nullable(  ) = True

2.3

回到顶部(go to top)

FIRST

[0]: FIRST( Scope ) = { '[' '[^' }
[1]: FIRST( RangeItems ) = { 'char' }
[2]: FIRST( RangeItem ) = { 'char' }
[3]: FIRST( '[' ) = { '[' }
[4]: FIRST( 'firstItem1' ) = { 'firstItem1' }
[5]: FIRST( ']' ) = { ']' }
[6]: FIRST( '[^' ) = { '[^' }
[7]: FIRST( 'firstItem2' ) = { 'firstItem2' }
[8]: FIRST( 'char' ) = { 'char' }
[9]: FIRST(  ) = { empty }
[10]: FIRST( '[' 'firstItem1' RangeItems ']' ) = { '[' }
[11]: FIRST( '[^' 'firstItem2' RangeItems ']' ) = { '[^' }
[12]: FIRST( '[' 'firstItem1' ']' ) = { '[' }
[13]: FIRST( '[^' 'firstItem2' ']' ) = { '[^' }
[14]: FIRST( RangeItems RangeItem ) = { 'char' }

2.4

回到顶部(go to top)

FOLLOW

[0]: FOLLOW( Scope ) = { }
[1]: FOLLOW( RangeItems ) = { ']' 'char' }
[2]: FOLLOW( RangeItem ) = { ']' 'char' }

2.5

回到顶部(go to top)

LL(1) Syntax Machine

状态	'['	'[^'	'char'
Scope	R[0] R[2]	R[1] R[3]
RangeItems			R[4] R[5]
RangeItem			R[6]

2.6

回到顶部(go to top)

LR(0) Syntax Machine

状态	'['	'firstItem1'	']'	'[^'	'firstItem2'	'char'	'￥'	Scope	RangeItems	RangeItem
0	S2			S3				G1
1							完成
2		S4
3					S5
4			S7			S9			G6	G8
5			S11			S9			G10	G8
6			S12			S9				G13
7	R[2]	R[2]	R[2]	R[2]	R[2]	R[2]	R[2]
8	R[5]	R[5]	R[5]	R[5]	R[5]	R[5]	R[5]
9	R[6]	R[6]	R[6]	R[6]	R[6]	R[6]	R[6]
10			S14			S9				G13
11	R[3]	R[3]	R[3]	R[3]	R[3]	R[3]	R[3]
12	R[0]	R[0]	R[0]	R[0]	R[0]	R[0]	R[0]
13	R[4]	R[4]	R[4]	R[4]	R[4]	R[4]	R[4]
14	R[1]	R[1]	R[1]	R[1]	R[1]	R[1]	R[1]