- 1. 既知の文法:
S-> A | ^ |(T)
T-> T、S | S
分析文(T、(^、a))は、すべてのフレーズ、フレーズを検索し、直接扱います。
推导:S =>(T)=>(T、S)=>(T、(T))=>(T、(T、S))=>(T、(S、S))=>(T (^、S))=>(T、(^ A))
構文木:
全てのフレーズ: (T、(^ A)); T(^ A);(^ A)^、A; ^;
直接フレーズ: ^;
ハンドル:^
- 2. 設定文脈自由文法記述言語は:
{ n個の B N | N> = 0 }
{ m個の B N | M> = N> = 0 }
もし声明
ソリューション:
{ n個の B N | N> = 0 }。
D - > ADB | AB | ε
{ m個の B N | M> = N> = 0 }。
E - > AEB | AB | | E
もし声明:
もし、< 条件>そして< 声明> |の場合、< 条件>そして< 声明>他の< 文B>