Commits · cb1b4e1b027e532e8fb86b82ff8b438ccc53e514 · Martin Mareš / automaty

Browse files

Jul 01, 2024
- Překlepy · cb1b4e1b
  Martin Mareš authored Jul 1, 2024
  
  cb1b4e1b
Jun 27, 2024
- Překlep u kanonických automatů · 62b34cf8
  Martin Mareš authored Jun 27, 2024
  
  62b34cf8
May 31, 2024
- Zestručnění důkazu Kleeneho věty · d4023ade
  Martin Mareš authored May 31, 2024
  
  d4023ade
- Překlep · c9bf4799
  Martin Mareš authored May 31, 2024
  
  c9bf4799
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automaty · 66c3580d
  Martin Mareš authored May 31, 2024
  
  66c3580d
May 29, 2024
- Cvičení na faktorizaci Mooreových strojů · c2a5df0e
  Martin Mareš authored May 29, 2024
  
  c2a5df0e
- Automaty s výstupem a lineární redukce · 8db11440
  Martin Mareš authored May 29, 2024
  
  8db11440
- TFA: Cvičení na lineárně omezené automaty · f9911484
  Martin Mareš authored May 29, 2024
  
  f9911484
- (Re)definice složitosti · 2ee8b510
  Martin Mareš authored May 29, 2024
  
  2ee8b510
- TODO · 914f3b2d
  Martin Mareš authored May 29, 2024
  
  914f3b2d
- TFA: Typo · 0d1fb296
  Martin Mareš authored May 29, 2024
  
  0d1fb296
- TFA: Bugfix · 6c375957
  Martin Mareš authored May 29, 2024
  
  6c375957
- Přepsán důkaz věty o obousměrných automatech · 371cc229
  Martin Mareš authored May 29, 2024
  371cc229
- Kongruence: Typo · e7a690ac
  Martin Mareš authored May 29, 2024
  
  e7a690ac
May 28, 2024
- Obsah · be0a54dd
  Martin Mareš authored May 28, 2024
  
  be0a54dd
- TFA: Korektury · 4ca5da36
  Martin Mareš authored May 28, 2024
  
  4ca5da36
May 27, 2024
- Obousměrné automaty · 7d9f5b72
  Martin Mareš authored May 27, 2024
  
  7d9f5b72
- Regulární: Cvičení na kvocienty · e124f518
  Martin Mareš authored May 27, 2024
  
  e124f518
- Cvičení na kongruence · ad37bebc
  Martin Mareš authored May 27, 2024
  
  ad37bebc
- Korektury "algebraických" oddílů · 61bb1bd2
  Martin Mareš authored May 27, 2024
  
  61bb1bd2
May 23, 2024
- Algebra: Varování · 05ceb642
  Martin Mareš authored May 23, 2024
  
  05ceb642
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automaty · 2669c833
  Martin Mareš authored May 23, 2024
  
  2669c833
- TODO: Done · f3f38305
  Martin Mareš authored May 23, 2024
  
  f3f38305
- Algebra dopsána a oddělena do samostatného oddílu · 3cac856b
  Martin Mareš authored May 23, 2024
  
  3cac856b
- gen-images: Přidána redukce · 68b3bb90
  Martin Mareš authored May 23, 2024
  
  68b3bb90
May 22, 2024
- Kanonické automaty a Myhill-Nerode · 2de82188
  Martin Mareš authored May 22, 2024
  
  2de82188
- Redukce: Jiný symbol pro ekvivalenci stavů · d95ba595
  Martin Mareš authored May 22, 2024
  d95ba595
- Redukce: Korektury · 5343eef8
  Martin Mareš authored May 22, 2024
  
  5343eef8
May 21, 2024
- Redukce automatů (WIP) · f233ae1a
  Martin Mareš authored May 21, 2024
  
  f233ae1a
- Obrázek k redukci automatů · 514d203d
  Martin Mareš authored May 21, 2024
  
  514d203d
May 14, 2024
- Okruhy: Ještě jedna drobnost · 38dabbc7
  Martin Mareš authored May 14, 2024
  
  38dabbc7
- Odstraněna zbytečná poznámka pod čarou · a9f819a2
  Martin Mareš authored May 14, 2024
  
  a9f819a2
- Opravy kolem (polo)okruhů · 3348e589
  Martin Mareš authored May 14, 2024
  
  3348e589
- Regular: Izomorfismus a další plány · f9ab7217
  Martin Mareš authored May 14, 2024
  
  f9ab7217
- Regular: Monoidy a okruhy · e4d919a8
  Martin Mareš authored May 14, 2024
  
  e4d919a8
- Regular: Poznámka o lineárních rovnicích pro jazyky · 82c1b6d9
  Martin Mareš authored May 14, 2024
  
  82c1b6d9
Jan 13, 2024
- Lepší definice konfigurací a výpočtu TM · 4499fa3c
  Martin Mareš authored Jan 13, 2024
  4499fa3c
- TODO: Přeznačení u Pumping lemmatu by toho rozbilo příliš · ebcaa2ae
  Martin Mareš authored Jan 13, 2024
  
  ebcaa2ae
- Výpočty NFA popisujeme lesem · 7c7169dc
  Martin Mareš authored Jan 13, 2024
  
  7c7169dc
- Regulární: Výraznější značení přijímacích stavů · e3ffa9e5
  Martin Mareš authored Jan 13, 2024
  
  e3ffa9e5