Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 62b34cf8b185bf73d5f8ce4ad1e98a8f0810c67d
  • master default
2 results
Created with Raphaël 2.2.08Apr27Jul17127Jun31May2928272322211413Jan13Nov13Jun1217Jan31Dec302212528Nov211412Oct6Jun26Jan191710922Dec21201817141312111094328Nov262019Makerules: Fix chapters with dashes in their namesmastermasterOpravy drobných překlepůMerge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automatyAlgebraické souvislosti: Zdůrazníme, že kongruence je na stavechKanonické automaty: KorekturyPřeklepyPřeklep u kanonických automatůZestručnění důkazu Kleeneho větyPřeklepMerge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automatyCvičení na faktorizaci Mooreových strojůAutomaty s výstupem a lineární redukceTFA: Cvičení na lineárně omezené automaty(Re)definice složitostiTODOTFA: TypoTFA: BugfixPřepsán důkaz věty o obousměrných automatechKongruence: TypoObsahTFA: KorekturyObousměrné automatyRegulární: Cvičení na kvocientyCvičení na kongruenceKorektury "algebraických" oddílůAlgebra: VarováníMerge branch 'master' of gitlab.kam.mff.cuni.cz:mj/automatyTODO: DoneAlgebra dopsána a oddělena do samostatného oddílugen-images: Přidána redukceKanonické automaty a Myhill-NerodeRedukce: Jiný symbol pro ekvivalenci stavůRedukce: KorekturyRedukce automatů (WIP)Obrázek k redukci automatůOkruhy: Ještě jedna drobnostOdstraněna zbytečná poznámka pod čarouOpravy kolem (polo)okruhůRegular: Izomorfismus a další plányRegular: Monoidy a okruhy