证明一种语言是正常的

时间:2013-11-19 08:55:27

标签: regular-language finite-automata automata formal-languages

鉴于常规语言L1和L2,证明以下语言也是常规语言:

enter image description here

我知道你,*,。两种常规语言之间提供常规语言。 但是,以下常规语言是无限的,所以我真的不知道如何正确地“看”它。

很想得到一些帮助。

2 个答案:

答案 0 :(得分:1)

Superstar包含单词串联,以便

  • 奇数位置的单词取自L1
  • 偶数位置的字词取自L2

L1和L2是常规语言 然后L1L2也是常用语言,比如说L' := L1L2 现在L' = { w1w2 | w1 taken from L1 and w2 taken from L2 }和L'是常规的

S -> epsilon | L'S | L1

也是一种常规语言,其中epsilon是零长度的空字。

S will generate L'L'L'……L' and an optional L1 at the end, where L' = L1L2.

答案 1 :(得分:0)

您的语言是(L 1 L 2 )* U(L 1 L 2 )* L <子> 1