新建
上传
首页
助手
最?/div>
资料?/div>
工具

实验?/p>

 

实验名称

:不确定有穷状态自动机的确定化

 

实验目的

:输入:非确定有穷状态自动机

NFA 

 

 

 

 

 

 

 

 

 

 

 

输出:确定化的有穷状态自动机

DFA 

实验原理

?/p>

 

 

a.

一个确定的有限自动机(

DFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

K

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

上的映像,即

f

?/p>

P

?/p>

a

)=

Q

?/p>

?/p>

P

?/p>

Q

?/p>

K

?/p>

表示当前状态为

P

,如果输入字?/p>

a

?/p>

则转到状?/p>

Q

?/p>

状?/p>

Q

称为?/p>

?/p>

P

的后继状态;

 

?/p>

4

?/p>

 

S

?/p>

K

,是惟一的初态;

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

 

b. 

一个不确定有限自动机(

NFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

k

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

的子集的映像?/p>

 

 

?/p>

4

?/p>

 

S

K

,是一个非空的初态集?/p>

 

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

Ͼλ
新建
上传
首页
助手
最?/div>
资料?/div>
工具

实验?/p>

 

实验名称

:不确定有穷状态自动机的确定化

 

实验目的

:输入:非确定有穷状态自动机

NFA 

 

 

 

 

 

 

 

 

 

 

 

输出:确定化的有穷状态自动机

DFA 

实验原理

?/p>

 

 

a.

一个确定的有限自动机(

DFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

K

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

上的映像,即

f

?/p>

P

?/p>

a

)=

Q

?/p>

?/p>

P

?/p>

Q

?/p>

K

?/p>

表示当前状态为

P

,如果输入字?/p>

a

?/p>

则转到状?/p>

Q

?/p>

状?/p>

Q

称为?/p>

?/p>

P

的后继状态;

 

?/p>

4

?/p>

 

S

?/p>

K

,是惟一的初态;

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

 

b. 

一个不确定有限自动机(

NFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

k

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

的子集的映像?/p>

 

 

?/p>

4

?/p>

 

S

K

,是一个非空的初态集?/p>

 

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

">
新建
上传
首页
助手
最?/div>
资料?/div>
工具

实验?/p>

 

实验名称

:不确定有穷状态自动机的确定化

 

实验目的

:输入:非确定有穷状态自动机

NFA 

 

 

 

 

 

 

 

 

 

 

 

输出:确定化的有穷状态自动机

DFA 

实验原理

?/p>

 

 

a.

一个确定的有限自动机(

DFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

K

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

上的映像,即

f

?/p>

P

?/p>

a

)=

Q

?/p>

?/p>

P

?/p>

Q

?/p>

K

?/p>

表示当前状态为

P

,如果输入字?/p>

a

?/p>

则转到状?/p>

Q

?/p>

状?/p>

Q

称为?/p>

?/p>

P

的后继状态;

 

?/p>

4

?/p>

 

S

?/p>

K

,是惟一的初态;

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

 

b. 

一个不确定有限自动机(

NFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

k

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

的子集的映像?/p>

 

 

?/p>

4

?/p>

 

S

K

,是一个非空的初态集?/p>

 

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

Ͼλ">
Ͼλ
Ŀ

DFA确定?- 百度文库
新建
上传
首页
助手
最?/div>
资料?/div>
工具

实验?/p>

 

实验名称

:不确定有穷状态自动机的确定化

 

实验目的

:输入:非确定有穷状态自动机

NFA 

 

 

 

 

 

 

 

 

 

 

 

输出:确定化的有穷状态自动机

DFA 

实验原理

?/p>

 

 

a.

一个确定的有限自动机(

DFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

K

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

上的映像,即

f

?/p>

P

?/p>

a

)=

Q

?/p>

?/p>

P

?/p>

Q

?/p>

K

?/p>

表示当前状态为

P

,如果输入字?/p>

a

?/p>

则转到状?/p>

Q

?/p>

状?/p>

Q

称为?/p>

?/p>

P

的后继状态;

 

?/p>

4

?/p>

 

S

?/p>

K

,是惟一的初态;

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 

 

b. 

一个不确定有限自动机(

NFA

?/p>

M

可以定义为一个五元组?/p>

M

?/p>

?/p>

K

,∑?/p>

f

?/p>

S

?/p>

Z

?/p>

,其中:

 

 

?/p>

1

?/p>

 

k

是一个有穷非空集,集合中的每个元素称为一个状态;

 

 

?/p>

2

?/p>

 

∑是一个有穷字母表,∑中的每个元素称为一个输入符号;

 

 

?/p>

3

?/p>

 

f

是一个从

K

×∑→

K

的子集的映像?/p>

 

 

?/p>

4

?/p>

 

S

K

,是一个非空的初态集?/p>

 

 

?/p>

5

?/p>

 

Z

K

,是一个终态集?/p>

 



ļ׺.doc޸Ϊ.docĶ

  • 꼶²ġһˮ̰
  • ߴһָϰ
  • ǣ̵籣 - ͼ
  • ʦѧ-ѧʵԾ()
  • ͨͶ
  • 2018˽̰Сѧ꼶²ѧѧƻ
  • ӱʡֲ߲г鱨1
  • ˽̰ѧ塶ȱǰn̰͡
  • ϰȫ
  • 2015ҹԱвⱸѡھⷨ

վ

԰ Ͼλ
ϵͷ779662525#qq.com(#滻Ϊ@)