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

Compiler of ABB

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

Grammar

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

Lexical Analyzer States

flowchart classDef c0001 color:#FF0000; classDef c0010 stroke-dasharray: 10 10; classDef c0011 stroke-dasharray: 10 10,color:#FF0000; classDef c0100 fill:#BB66EE; classDef c0101 fill:#BB66EE,color:#FF0000; classDef c0110 fill:#BB66EE,stroke-dasharray: 10 10; classDef c0111 fill:#BB66EE,stroke-dasharray: 10 10,color:#FF0000; classDef c1000 stroke:#333,stroke-width:4px; classDef c1001 stroke:#333,stroke-width:4px,color:#FF0000; classDef c1010 stroke:#333,stroke-width:4px,stroke-dasharray: 10 10; classDef c1011 stroke:#333,stroke-width:4px,stroke-dasharray: 10 10,color:#FF0000; classDef c1100 stroke:#333,stroke-width:4px,fill:#BB66EE; classDef c1101 stroke:#333,stroke-width:4px,fill:#BB66EE,color:#FF0000; classDef c1110 stroke:#333,stroke-width:4px,fill:#BB66EE,stroke-dasharray: 10 10; classDef c1111 stroke:#333,stroke-width:4px,fill:#BB66EE,stroke-dasharray: 10 10,color:#FF0000; DFA0_1303046169{{"DFA0 wholeStart"}} class DFA0_1303046169 c1000; DFA1_642929875[\"DFA1 {1}"/] class DFA1_642929875 c0101; DFA2_1083584447[\"DFA2 {1}"/] class DFA2_1083584447 c0101; DFA3_924445311[\"DFA3 {1}"/] class DFA3_924445311 c0101; DFA0_1303046169 -->|"+ BeginToken '+' ExtendToken '+'"|DFA1_642929875 DFA0_1303046169 -->|"a BeginToken 'a' ExtendToken 'a'"|DFA2_1083584447 DFA0_1303046169 -->|"b BeginToken 'b' ExtendToken 'b'"|DFA3_924445311

nullable

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

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' }

FOLLOW

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

LL(1) Syntax Machine

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

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]

flowchart classDef default fill:#C7EDCC,stroke:#993399,stroke-width:0px,text-align:left; classDef titlebarStyle fill:gold; titlebar>"LR(1) syntax states"] class titlebar titlebarStyle syntaxState0("syntaxState0 [-1] BCounter> : ⏳ A ; [0] A : ⏳ A '+' B ; [1] A : ⏳ 'a' ; ") syntaxState1("syntaxState1 [-1] BCounter> : A ⏳ ; [0] A : A ⏳ '+' B ; ") syntaxState2("syntaxState2 [1] A : 'a' ⏳ ; ") syntaxState3("syntaxState3 [0] A : A '+' ⏳ B ; [2] B : ⏳ 'b' ; ") syntaxState4("syntaxState4 [0] A : A '+' B ⏳ ; ") syntaxState5("syntaxState5 [2] B : 'b' ⏳ ; ") syntaxState0 -.-> |"A"| syntaxState1 syntaxState0 --> |"'a'"| syntaxState2 syntaxState1 --> |"'+'"| syntaxState3 syntaxState3 -.-> |"B"| syntaxState4 syntaxState3 --> |"'b'"| syntaxState5 syntaxState1 o--o |"'￥'"| syntaxState1 syntaxState2 x==x |"'+' 'a' 'b' '￥' R[1]= A : 'a' ;"| syntaxState2 syntaxState4 x==x |"'+' 'a' 'b' '￥' R[0]= A : A '+' B ;"| syntaxState4 syntaxState5 x==x |"'+' 'a' 'b' '￥' R[2]= B : 'b' ;"| syntaxState5

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]

flowchart classDef default fill:#C7EDCC,stroke:#993399,stroke-width:0px,text-align:left; classDef titlebarStyle fill:gold; titlebar>"LR(1) syntax states"] class titlebar titlebarStyle syntaxState0("syntaxState0 [-1] BCounter> : ⏳ A ; [0] A : ⏳ A '+' B ; [1] A : ⏳ 'a' ; ") syntaxState1("syntaxState1 [-1] BCounter> : A ⏳ ; [0] A : A ⏳ '+' B ; ") syntaxState2("syntaxState2 [1] A : 'a' ⏳ ; ") syntaxState3("syntaxState3 [0] A : A '+' ⏳ B ; [2] B : ⏳ 'b' ; ") syntaxState4("syntaxState4 [0] A : A '+' B ⏳ ; ") syntaxState5("syntaxState5 [2] B : 'b' ⏳ ; ") syntaxState0 -.-> |"A"| syntaxState1 syntaxState0 --> |"'a'"| syntaxState2 syntaxState1 --> |"'+'"| syntaxState3 syntaxState3 -.-> |"B"| syntaxState4 syntaxState3 --> |"'b'"| syntaxState5 syntaxState1 o--o |"'￥'"| syntaxState1 syntaxState2 x==x |"'+' '￥' R[1]= A : 'a' ;"| syntaxState2 syntaxState4 x==x |"'+' '￥' R[0]= A : A '+' B ;"| syntaxState4 syntaxState5 x==x |"'+' R[2]= B : 'b' ;"| syntaxState5

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]

flowchart classDef default fill:#C7EDCC,stroke:#993399,stroke-width:0px,text-align:left; classDef titlebarStyle fill:gold; titlebar>"LR(1) syntax states"] class titlebar titlebarStyle syntaxState0("syntaxState0 [-1] BCounter> : ⏳ A ; '￥' [0] A : ⏳ A '+' B ; '￥' '+' [1] A : ⏳ 'a' ; '￥' '+' ") syntaxState1("syntaxState1 [-1] BCounter> : A ⏳ ; '￥' [0] A : A ⏳ '+' B ; '￥' '+' ") syntaxState2("syntaxState2 [1] A : 'a' ⏳ ; '￥' '+' ") syntaxState3("syntaxState3 [0] A : A '+' ⏳ B ; '￥' '+' [2] B : ⏳ 'b' ; '￥' '+' ") syntaxState4("syntaxState4 [0] A : A '+' B ⏳ ; '￥' '+' ") syntaxState5("syntaxState5 [2] B : 'b' ⏳ ; '￥' '+' ") syntaxState0 -.-> |"A"| syntaxState1 syntaxState0 --> |"'a'"| syntaxState2 syntaxState1 --> |"'+'"| syntaxState3 syntaxState3 -.-> |"B"| syntaxState4 syntaxState3 --> |"'b'"| syntaxState5 syntaxState1 o--o |"'￥'"| syntaxState1 syntaxState2 x==x |"'￥' '+' R[1]= A : 'a' ;"| syntaxState2 syntaxState4 x==x |"'￥' '+' R[0]= A : A '+' B ;"| syntaxState4 syntaxState5 x==x |"'￥' '+' R[2]= B : 'b' ;"| syntaxState5

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]

flowchart classDef default fill:#C7EDCC,stroke:#993399,stroke-width:0px,text-align:left; classDef titlebarStyle fill:gold; titlebar>"LR(1) syntax states"] class titlebar titlebarStyle syntaxState0("syntaxState0 [-1] BCounter> : ⏳ A ; '￥' [0] A : ⏳ A '+' B ; '￥' '+' [1] A : ⏳ 'a' ; '￥' '+' ") syntaxState1("syntaxState1 [-1] BCounter> : A ⏳ ; '￥' [0] A : A ⏳ '+' B ; '￥' '+' ") syntaxState2("syntaxState2 [1] A : 'a' ⏳ ; '￥' '+' ") syntaxState3("syntaxState3 [0] A : A '+' ⏳ B ; '￥' '+' [2] B : ⏳ 'b' ; '￥' '+' ") syntaxState4("syntaxState4 [0] A : A '+' B ⏳ ; '￥' '+' ") syntaxState5("syntaxState5 [2] B : 'b' ⏳ ; '￥' '+' ") syntaxState0 -.-> |"A"| syntaxState1 syntaxState0 --> |"'a'"| syntaxState2 syntaxState1 --> |"'+'"| syntaxState3 syntaxState3 -.-> |"B"| syntaxState4 syntaxState3 --> |"'b'"| syntaxState5 syntaxState1 o--o |"'￥'"| syntaxState1 syntaxState2 x==x |"'￥' '+' R[1]= A : 'a' ;"| syntaxState2 syntaxState4 x==x |"'￥' '+' R[0]= A : A '+' B ;"| syntaxState4 syntaxState5 x==x |"'￥' '+' R[2]= B : 'b' ;"| syntaxState5

End