Commits · ad37bebcb1bf7a87e2b37b3f8b69e4e4d4e77a75 · Martin Mareš / automaty · GitLab

Snippets Groups Projects

May 27, 2024
- 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
- Přegenerována PDF obrázků k regulárním jazykům · d554b3b2
  Martin Mareš authored Jan 13, 2024
  
  d554b3b2
- Nový obrázek ke stromu výpočtů NFA · ad73be01
  Martin Mareš authored Jan 13, 2024
  
  ad73be01
- Obrázek ke Kleeneho větě: Opravy · 9a0e239a
  Martin Mareš authored Jan 13, 2024
  
  9a0e239a
- Obrázky automatů: Koncové stavy jsou světle zelené · 095fa12b
  Martin Mareš authored Jan 13, 2024
  
  095fa12b
- Obrázky v Xournalu dekomprimovány, ať se dají diffovat · 424c6e85
  Martin Mareš authored Jan 13, 2024
  
  424c6e85
- Na titulní straně stačí e-mailová adresa jen jednou :) · 5065b580
  Martin Mareš authored Jan 13, 2024
  
  5065b580
- Titulní strana obsahuje mailovou adresu autora · 7c8ec4db
  Martin Mareš authored Jan 13, 2024
  
  7c8ec4db
- Cvičení: Délka regulárního výrazu v závislosti na #stavů automatu · a90b99dc
  Martin Mareš authored Jan 13, 2024
  
  a90b99dc
- Regulární výrazy: Priority operátorů · 71548afb
  Martin Mareš authored Jan 13, 2024
  
  71548afb
- Zjednodušení iterace regulárních jazyků · dfedec91
  Martin Mareš authored Jan 13, 2024
  
  dfedec91
- Redukce ε-NFA na NFA vyžaduje kubický čas · df89d383
  Martin Mareš authored Jan 13, 2024
  
  df89d383
- Lepší výklad ε-NFA · a985b8ce
  Martin Mareš authored Jan 13, 2024
  
  a985b8ce
- Poznámka o uzávěrových operátorech · c26fdf02
  Martin Mareš authored Jan 13, 2024
  
  c26fdf02
- Náš příklad NFA je vlastně KMP · 063c5801
  Martin Mareš authored Jan 13, 2024
  
  063c5801
- Každý DFA je NFA · 01cd0cf2
  Martin Mareš authored Jan 13, 2024
  
  01cd0cf2
- Kapitola Vyhledávání textu v Průvodci se už jmenuje jinak · 492618cc
  Martin Mareš authored Jan 13, 2024
  
  492618cc
- Cvičení na SPACE(1): Odkaz na obousměrné automaty · 5c5c4254
  Martin Mareš authored Jan 13, 2024
  
  5c5c4254
- Překlep · 00d582c6
  Martin Mareš authored Jan 13, 2024
  
  00d582c6