AUTOMATAI IR FORMALIOSIOS KALBOS

 

Kurso egzamino reikalavimai:

  1. Pasirinkti vieną iš žemiau pateiktų temų ir nurodytą dieną pristatyti ją.

      Temos medžiagą sudaro:

                      (i)   knygos [1] atitinkami skyriai (pvz. (2.2.1-2.2.3) );

            (ii) paskaitų    konspekto [2] atitinkami puslapiai (pvz. [20-22] )

            (iii) temos uždaviniai.

Šią, temai reikalingą medžiagą, galite pasiimti pas mane fakultete.

2.   Paskaitų lankomumas.

  1.  Apklausos užduoties atlikimas semestro gale: kontrolinis (2013-12-19).

 

 

Literatūra:

 

  1. John E. Hopcroft, Rajeev Motwani, and Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley Publishing Company, New York, 2001(anglų kalba), Moskva 2002(rusų kalba)
  2. G. Grahne, Introduction to theoretical Computer Science, Lectures notes and slides by [1].

 

 

Temos datomis:

 

Data

Grupė

 

 

 

09-19

 

01.Determinuoti baigtiniai automatai

Determinuotų baigtinių automatų kalbos

(2.2.1-2.2.5),[20-24]

Pranešėjas:

1.      

 

 

09-26

 

02.Nedeterminuoti baigtiniai automatai

Nedeterminuotų baigtinių automatų kalbos

(2.3.1-2.3.4), [27-32]

Pranešėjas:

1.      

05. e-prekybos automatas

(2.1.1-2.1.5), [16-19]

Pranešėjas:

1.      

 

 

 

10-03

 

03.NBA ir DBA ekvivalentumas

(2.3.5-2.3.6), [33-42]

Pranešėjas:

1.      

 

10-10

 

04.Paieška tekste

(2.4.1-2.4.4)

Pranešėjas:

1.      

 

 

10-17

 

06.ε-baigtiniai automatai

(2.5.1-2.5.5), [43-52]

Pranešėjas:

1.      

 

 

 

10-24

 

07.Reguliariosios išraiškos

(3.1.1-3.1.3), [53-56]

Pranešėjas:

1.      

 

 

 

 

10-31

 

08.Nuo DBA prie reguliariosios išraiškos I

(3.2.1), [57-66]

Pranešėjas:

1.      

 

 

 

 

11-07

 

 

 09.Nuo DBA prie reguliariosios išraiškos II

(3.2.2), [67-72]

Pranešėjas:

1.

 

 

11-14

 

 10.Reguliariosios išraiškos reiškimas automatu

 (3.2.3), [73-75]

Pranešėjas:

1.      

 

11.Reguliariųjų išraiškų taikymai

(3.3.1-3.3.3)

Pranešėjas:

1.      

 

 

 

11-21

 

 12.Kalbos reguliarumo įrodymas. Pumping lema

(4.1.1-4.1.3), [90-96]

Pranešėjas:

1.

 

 

11-28

 

13.Automatų ekvivalentumas

(4.4.1-4.4.2)[118-123]

Pranešėjas:

1.      

 

 

 

12-05

 

14. DBA minimizacija

(4.4.3-4.4.4),[126-132]

Pranešėjas:

1.      

.

12-12

 

Atsiskaitymai

 

12-19

 

Kontrolinis

 

 

·          Temą pasirinkite iki 2013-09-19

·          Pasirinkę temą tai patvirtinkite pranešimu-laišku @