From da8a996bbe107d1176bd4b23827c90f27d8cff7d Mon Sep 17 00:00:00 2001 From: Marcin Chrzanowski Date: Tue, 20 Dec 2022 10:44:34 +0100 Subject: Modify complexity comment --- presentation/presentation.md | 3 +-- 1 file changed, 1 insertion(+), 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 -- cgit v1.2.3