diff options
| author | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-12-20 10:44:34 +0100 |
|---|---|---|
| committer | Marcin Chrzanowski <mc370754@students.mimuw.edu.pl> | 2022-12-20 10:44:34 +0100 |
| commit | da8a996bbe107d1176bd4b23827c90f27d8cff7d (patch) | |
| tree | cd950d695d7dfa0597ed6ed226687a785d5c38b7 | |
| parent | 8507d7c3961d02e695a85e07d19f2cd9bbc662ba (diff) | |
Modify complexity comment
| -rw-r--r-- | presentation/presentation.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/presentation/presentation.md b/presentation/presentation.md index 3004971..38009ba 100644 --- a/presentation/presentation.md +++ b/presentation/presentation.md @@ -75,8 +75,7 @@ singletons. ## Reductions -* Reduce from MSO to tree automaton (nonelementary wrt to $\varphi$, linear wrt - to tree). +* Reduce from MSO to tree automaton (nonelementary wrt to $\varphi$). * Transform to a binary tree. ## Relabel Regular Questions on Trees |