7/24/2019 autom_lect1

1/3

2011-2012 , : michalis, MpoMp@ Venus

& 1

Turing

Turing ,

.

INPUT {, }

.. G1, G2? ( )

G1NAI

G2OXI

.

: : -

.

..

: { {1, 2, 3}, { (1, 2), (2, 1), (1, 3), (3, 1), (2, 3), (3, 2) } }

: {, }, 1, 2, 3, (, )

/ -

.

= {, }

:

1: , = {, }

2: , , , 2= x = {, } x {, }

3: , , , , , , , 3= xx = {, } x {, } x {, }

: , , ,

.

* = { } U 2U

3U U

* (Kleeneclosure).

*.

= {w * | } .

.. 1= {w * | w }

1:

INPUT{, }

w, w

w, w

:

.

http://en.wikipedia.org/wiki/Kleene_starhttp://en.wikipedia.org/wiki/Kleene_starhttp://en.wikipedia.org/wiki/Kleene_starhttp://en.wikipedia.org/wiki/Kleene_starhttp://en.wikipedia.org/wiki/Kleene_starhttp://en.wikipedia.org/wiki/Kleene_star

7/24/2019 autom_lect1

2/3

7/24/2019 autom_lect1

3/3

2011-2012 , : michalis, MpoMp@ Venus

q3 (sink). .

. .

, .

: -(Qx), .

( ) :

1= {w * | w }

2= {w * | w }

3= {w * | w }