| 8. 1. 2026 |
Simon Dieck (Delft University of Technology) – Automata learning algorithms obtained from
Myhill-Nerode-style theorems |
|
odkaz na prezentáciu
|
| 22. 1. 2026 |
Irena Jadlovská – Poznámka k riešeniu 3D diskrétnych slabo oneskorených systémov |
|
Abstrakt: Diskutujeme efektívne využitie Putzerovho algoritmu pri riešení trojrozmerných
diskrétnych slabo oneskorených (WD) systémov, ako sú definované v [1].
Konkrétne ukážeme, ako možno mocniny rozšírenej $(3m+1)×(3m+1)$ matice $\mathcal A$ vyjadriť pomocou jednoduchej rekurzie,
ktorá zahŕňa iba matice rozmeru $3\times 3$.
[1] Diblík, Josef, et al. „General
solutions of weakly delayed discrete systems in 3D.” Advances in Nonlinear Analysis 14.1 (2025): 20250121.
|
| 12. 2. 2026 |
Galina Jirásková – Hranica na "free" konvexných jazykoch |
|
Abstrakt: Prezentujeme úplné riešenie problému určenia deterministickej stavovej zložitosti
operácie hranica na triedach jazykov neobsahujúcich predpony, prípony, predpony a prípony, faktory, a podslová ("free" konvexné jazyky).
odkaz na fotku s riešením
|
| 26. 2. 2026 |
Miroslav Repický – Kombinatorické vlastnosti ideálov |
|
Abstrakt:
$\newcommand{\Iwf}{\mathcal{I}}
\newcommand{\Zwf}{\mathcal{Z}}
\newcommand{\Swf}{\mathcal{S}}
\newcommand{\cov}{\mathrm{cov}}$
Zaoberáme sa kardinálnou charakteristikou $\cov^*(\Iwf)$ pre ideál množín nulovej hustoty $\Zwf$,
sumovateľný ideál $\Iwf_{1/n}$ a pre zovšeobecnenia $\Zwf(\bar I)$ a $\Swf(\bar I)$ týchto ideálov
závislých na intervalovom rozklade $\bar I$ množiny prirodzených čísel.
Máme charakterizácie inklúzií
$\Zwf(\bar I)\subseteq\Zwf$, $\Zwf(\bar I)\supseteq\Zwf$,
$\Swf(\bar I)\subseteq\Iwf_{1/n}$, $\Swf(\bar I)\supseteq\Iwf_{1/n}$
pomocou jednoduchých vlastností rozkladu~$\bar I$
a ukazujeme, že relačné štruktúry súvisiace s kardinálnou charakteristikou $\cov^*(\Iwf)$
pre tieto ideály majú svoje ekvivalentné vyjadrenia v zmysle Tukeyovských konexií v tvare
pseudo-lokalizácií funkcií.
|
