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

阅读目录(Content)

• 1 Compiler of ABB
• 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

1

回到顶部(go to top)

Compiler of ABB

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

2

回到顶部(go to top)

Grammar

// 3 VnRegulations:
A : A '+' B // [0]
  | 'a' ; // [1]
B : 'b' ; // [2]
// 0 VtPatterns:

2.1

回到顶部(go to top)

Lexical Analyzer States

2.2

回到顶部(go to top)

nullable

[0]: nullable( A ) = False
[1]: nullable( '+' ) = False
[2]: nullable( B ) = False
[3]: nullable( 'a' ) = False
[4]: nullable( 'b' ) = False
[5]: nullable(  ) = True

2.3

回到顶部(go to top)

FIRST

[0]: FIRST( A ) = { 'a' }
[1]: FIRST( B ) = { 'b' }
[2]: FIRST( '+' ) = { '+' }
[3]: FIRST( 'a' ) = { 'a' }
[4]: FIRST( 'b' ) = { 'b' }
[5]: FIRST(  ) = { empty }
[6]: FIRST( A '+' B ) = { 'a' }

2.4

回到顶部(go to top)

FOLLOW

[0]: FOLLOW( A ) = { '+' }
[1]: FOLLOW( B ) = { '+' }

2.5

回到顶部(go to top)

LL(1) Syntax Machine

状态	'+'	'a'	'b'
A		R[0] R[1]
B			R[2]

2.6

回到顶部(go to top)

LR(0) Syntax Machine

状态	'+'	'a'	'b'	'￥'	A	B
0		S2			G1
1	S3			完成
2	R[1]	R[1]	R[1]	R[1]
3			S5			G4
4	R[0]	R[0]	R[0]	R[0]
5	R[2]	R[2]	R[2]	R[2]

2.7

回到顶部(go to top)

SLR(1) Syntax Machine

状态	'+'	'a'	'b'	'￥'	A	B
0		S2			G1
1	S3			完成
2	R[1]			R[1]
3			S5			G4
4	R[0]			R[0]
5	R[2]

2.8

回到顶部(go to top)

LALR(1) Syntax Machine

状态	'+'	'a'	'b'	'￥'	A	B
0		S2			G1
1	S3			完成
2	R[1]			R[1]
3			S5			G4
4	R[0]			R[0]
5	R[2]			R[2]

2.9

回到顶部(go to top)

LR(1) Syntax Machine

状态	'+'	'a'	'b'	'￥'	A	B
0		S2			G1
1	S3			完成
2	R[1]			R[1]
3			S5			G4
4	R[0]			R[0]
5	R[2]			R[2]

3

回到顶部(go to top)

End