正式な文法やフォーマルなスタイルの基本的なコンパイラの理論を学びます

1.定期的な文法と形式言語の式です以下の記述を書きます:

(1)L1 = {AB N |≧0}。

  定期的な文法は次のとおりです。

  - >αBは

  B - >のCa

  C - >紀元前| ε

正規式:

  AB * A

(2)L2 = { m個の B N |≧1、M}≥1

  定期的な文法は次のとおりです。

  - >を1aA | αBは| | ε

  B - > Bbの| B | ε

正規式:

  AA * BB *

(3)L3 = {(A-B)N |≧1}

  定期的な文法は次のとおりです。

  - >αBは| ε

  B - >アブ

正規式:

  AB(AB)*

 

 2.通常の式に次の正規文法を変換します

(1)

0A→Z
A→0A | 0B
B→1A | E

   正規式:

  = 0A 0B +

   = 0A + 01A + 0

   =(0 + 01)A0

   =(0 | 01)* 0

  その

  Z = 0 (0 | 01)0

(2)

Z→のU0 | V1
U→Z1 | 1
Z0→V | 0

   正規式:

  V1 = U0 +付き

   = Z10 + 10 + Z01 + 01

   Z =(10 + 01)+ 10 + 01

   =(10 | 01)* 1001

(3)

S→を1aA
A→BA |αBは| bは
Bの→AAの

   正規式:

  A = BA + AAA + B

   A =(B + AA)+ B

   =(B | AA)* B

  B * |(AA b)は即Sは=

(4)

私はリットルを→| | A

正規式:

I = IはID +それを+

  = 1(L + D)I

  = I(L | D)*

おすすめ

転載: www.cnblogs.com/Rakers1024/p/11683943.html