Deprecated: Function set_magic_quotes_runtime() is deprecated in /DISK2/WWW/lokiware.info/mff/wakka.php on line 35 Matfiz : AutomatyAGramatiky

Automaty a gramatiky

Přednášky

Roman Barták

Zkouška

Viz !/Zkouška LS 2008.

Odkazy

wiki – Slovníček pojmů a nějaké další info
Nějaké animace pro pochopení problémů např:
- alg. redukce KA
- alg.redukce bezkontextových gramatik
Nerodova věta a pumping lemma v animacích
Další animace
schrnuti na wikipedii, uplne dole je hezka tabulka
Bezkontextové umění :)
- To je hustý!!! Trochu jsem si v tom hrál. — Adam

Redukce automatu

Tady je k dispozici, takové malé udělátko. Třeba je někde něco lepšího, tak přihoďte link. Toto jsem delal já (JK)

http://www.ms.mff.cuni.cz/~kuncj6am/automat.php
Příklad vstupu:

q;u;w;;hlavicka MUSI byt nejdriv!!!
->;1;2;4;3;;vstup, <-> je vstupne-vystupni
;; strednik za sipkou je dulezity !
;; komentář ;-)
;; 1. je jméno stavu, nebo označení typu vrcholu. Dále následují přechody
   2;6;8;9
   3;a;4;3
   4;5;a;a
   5;8;a;3
<-;6;9;7;5;;prijmaci stav
   7;6;7;8
   8;5;a;3
<-;9;6;7;5;;dalsi prijmaci stav
  a;2;4;3