We use cookies to ensure you have the best browsing experience on our website. Please read our cookie policy for more information about how we use cookies.
My version. Last three tests is timeout. Think how to avoid recursion.
Thanks to sxb427 idea:
1. daBcdc ABC
2. f(daBcdc, ABC) = f(daBcd, AB) or f(daBcd, ABC)
3. Improvment - preremoved lower symbols from which are not in b
* aBcc ABC
* f(aBc, AB) or f(daBc, ABC) => f(aBc, ABC) => True
Abbreviation
You are viewing a single comment's thread. Return to all comments →
My version. Last three tests is timeout. Think how to avoid recursion. Thanks to sxb427 idea: 1. daBcdc ABC 2. f(daBcdc, ABC) = f(daBcd, AB) or f(daBcd, ABC) 3. Improvment - preremoved lower symbols from which are not in b * aBcc ABC * f(aBc, AB) or f(daBc, ABC) => f(aBc, ABC) => True