Z

1
Zásobníkový automat

• Konecný automat i nedeterministický konecný
  automat umí rešit tytéž úlohy, akorát s ruznou
  efektivitou.
• Nazývají se regulární úlohy.
• Existují i úlohy neregulární, napríklad rozpoznat
  symetrickou posloupnost.

2
Zásobníkový automat

• Obsahuje navíc neomezenou pamet zásobník s
  prístupem LIFO.

3
Zásobníkový automat

• Konecná množina vnitrních stavu Q
• Konecná vstupní abeceda A
• Konecná zásobníková abeceda Z
• Množina koncových stavu K
• Pocátecní stav q0
• Prechodová funkce p z QxAxZ do QxZ

4
Zásobníkový automat

• V každém taktu se rozhoduje podle vnitrního
  stavu, cteného symbolu a symbolu na vrchu
  zásobníku.
• V každém taktu prejde do nového vnitrního stavu.
• V každém taktu muže neco uložit na zásobník (také
  nic, nebo to, co tam bylo)

5
Zásobníkový automat pro rozpoznávání posloupností
pcpT

• Ql,p,n
• A0,1,c
• Z0,1
• q0l
• Kp
• P. fce

0,0 0,1 1,0 1,1 C,0 C,1
L L,0 L,0 L,1 L,1 P,0 P,1
P P,- N,- N,- P,-
N
6
Nedeterministický zásobníkový automat pro
rozpoznávání posloupností ppT

• Ql,p,n
• A0,1
• Z0,1
• q0l
• Kp
• P. fce

0,0 0,1 1,0 1,1
L L,0 P,0 L,0 P,0 L,1 P,1 L,1 P,1
P P,- N,- N,- P,-
N
7
Domácí úkol

• Navrhnete (deterministický) zásobníkový automat
  pro abecedu 0,1, který by rozpoznával slova se
  stejným poctem nul a jednicek.
• Návrh pošlete do pátku na vanicek_at_fsv.cvut.cz