Commits · master · Martin Mareš / automaty

Apr 08, 2025
- Makerules: Fix chapters with dashes in their names · 7cf73b0a
  Martin Mareš authored 2 months ago
  
  7cf73b0a
Jul 27, 2024
- Opravy drobných překlepů · 1074fdfb
  Martin Mareš authored 10 months ago
  
  1074fdfb
Jul 17, 2024
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automaty · 470618cb
  Martin Mareš authored 11 months ago
  
  470618cb
- Algebraické souvislosti: Zdůrazníme, že kongruence je na stavech · e6455e26
  Martin Mareš authored 11 months ago
  
  e6455e26
- Kanonické automaty: Korektury · 5b174753
  Martin Mareš authored 11 months ago
  
  5b174753
Jul 01, 2024
- Překlepy · cb1b4e1b
  Martin Mareš authored 11 months ago
  
  cb1b4e1b
Jun 27, 2024
- Překlep u kanonických automatů · 62b34cf8
  Martin Mareš authored 11 months ago
  
  62b34cf8
May 31, 2024
- Zestručnění důkazu Kleeneho věty · d4023ade
  Martin Mareš authored 1 year ago
  
  d4023ade
- Překlep · c9bf4799
  Martin Mareš authored 1 year ago
  
  c9bf4799
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automaty · 66c3580d
  Martin Mareš authored 1 year ago
  
  66c3580d
May 29, 2024
- Cvičení na faktorizaci Mooreových strojů · c2a5df0e
  Martin Mareš authored 1 year ago
  
  c2a5df0e
- Automaty s výstupem a lineární redukce · 8db11440
  Martin Mareš authored 1 year ago
  
  8db11440
- TFA: Cvičení na lineárně omezené automaty · f9911484
  Martin Mareš authored 1 year ago
  
  f9911484
- (Re)definice složitosti · 2ee8b510
  Martin Mareš authored 1 year ago
  
  2ee8b510
- TODO · 914f3b2d
  Martin Mareš authored 1 year ago
  
  914f3b2d
- TFA: Typo · 0d1fb296
  Martin Mareš authored 1 year ago
  
  0d1fb296
- TFA: Bugfix · 6c375957
  Martin Mareš authored 1 year ago
  
  6c375957
- Přepsán důkaz věty o obousměrných automatech · 371cc229
  Martin Mareš authored 1 year ago
  371cc229
- Kongruence: Typo · e7a690ac
  Martin Mareš authored 1 year ago
  
  e7a690ac
May 28, 2024
- Obsah · be0a54dd
  Martin Mareš authored 1 year ago
  
  be0a54dd
- TFA: Korektury · 4ca5da36
  Martin Mareš authored 1 year ago
  
  4ca5da36
May 27, 2024
- Obousměrné automaty · 7d9f5b72
  Martin Mareš authored 1 year ago
  
  7d9f5b72
- Regulární: Cvičení na kvocienty · e124f518
  Martin Mareš authored 1 year ago
  
  e124f518
- Cvičení na kongruence · ad37bebc
  Martin Mareš authored 1 year ago
  
  ad37bebc
- Korektury "algebraických" oddílů · 61bb1bd2
  Martin Mareš authored 1 year ago
  
  61bb1bd2
May 23, 2024
- Algebra: Varování · 05ceb642
  Martin Mareš authored 1 year ago
  
  05ceb642
- Merge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automaty · 2669c833
  Martin Mareš authored 1 year ago
  
  2669c833
- TODO: Done · f3f38305
  Martin Mareš authored 1 year ago
  
  f3f38305
- Algebra dopsána a oddělena do samostatného oddílu · 3cac856b
  Martin Mareš authored 1 year ago
  
  3cac856b
- gen-images: Přidána redukce · 68b3bb90
  Martin Mareš authored 1 year ago
  
  68b3bb90
May 22, 2024
- Kanonické automaty a Myhill-Nerode · 2de82188
  Martin Mareš authored 1 year ago
  
  2de82188
- Redukce: Jiný symbol pro ekvivalenci stavů · d95ba595
  Martin Mareš authored 1 year ago
  d95ba595
- Redukce: Korektury · 5343eef8
  Martin Mareš authored 1 year ago
  
  5343eef8
May 21, 2024
- Redukce automatů (WIP) · f233ae1a
  Martin Mareš authored 1 year ago
  
  f233ae1a
- Obrázek k redukci automatů · 514d203d
  Martin Mareš authored 1 year ago
  
  514d203d
May 14, 2024
- Okruhy: Ještě jedna drobnost · 38dabbc7
  Martin Mareš authored 1 year ago
  
  38dabbc7
- Odstraněna zbytečná poznámka pod čarou · a9f819a2
  Martin Mareš authored 1 year ago
  
  a9f819a2
- Opravy kolem (polo)okruhů · 3348e589
  Martin Mareš authored 1 year ago
  
  3348e589
- Regular: Izomorfismus a další plány · f9ab7217
  Martin Mareš authored 1 year ago
  
  f9ab7217
- Regular: Monoidy a okruhy · e4d919a8
  Martin Mareš authored 1 year ago
  
  e4d919a8